15783<>0_9<>vincent lefevre:arnaud tisserand<>towards correctly rounded transcendentals<>arith<>jean-michel muller<>
5949<>3_2<>nulo<>an infinite highly arc-transitive digraph<>ejc<>david m. evans<>
5951<>3_4<>nulo<>finite covers with finite kernels<>apal<>david m. evans<>
5940<>6_0<>johnny w. wong:kelly a. lyons:rolf j. velthuys:gregor von bochmann:eric dubois:nicolas d. georganas:gerald w. neufeld:m. tamer ozsu:jeff brinskelle:abdelhakim hafid:norman c. hutchinson:paul iglinski:brigitte kerherve:louise lamont:dwight j. makaroff:duane szafron<>enabling technology for distributed multimedia applications<>ibmsj<>david evans<>
26560<>17_7<>gonzalo navarro<>multiple approximate string matching<>wads<>ricardo a. baeza-yates<>
26619<>17_66<>gonzalo navarro<>block addressing indices for approximate text retrieval<>cikm<>ricardo a. baeza-yates<>
26621<>17_68<>jose a. pino<>a first step to formally evaluate collaborative work<>group<>ricardo a. baeza-yates<>
23312<>18_1<>boris aronov<>the common exterior of convex polygons in the plane<>comgeo<>micha sharir<>
23329<>18_18<>boris aronov:boaz tagansky<>the union of convex polyhedra in three dimensions<>siamcomp<>micha sharir<>
23336<>18_25<>pankaj k. agarwal:boris aronov:janos pach:richard pollack<>quasi-planar graphs have a linear number of edges<>combinatorica<>micha sharir<>
23342<>18_31<>pankaj k. agarwal:emo welzl<>the discrete 2-center problem<>compgeom<>micha sharir<>
23349<>18_38<>nulo<>a near-linear algorithm for the planar 2-center problem<>dcg<>micha sharir<>
23350<>18_39<>matthew j. katz<>an expander-based approach to geometric optimization<>siamcomp<>micha sharir<>
23353<>18_42<>klara kedem:sivan toledo<>on critical orientations in the kedem-sharir motion planning algorithm<>dcg<>micha sharir<>
23355<>18_44<>boris aronov<>on translational motion planning of a convex polyhedron in 3-space<>siamcomp<>micha sharir<>
25074<>25_12<>boris aronov:micha sharir<>computing envelopes in four dimensions with applications<>siamcomp<>pankaj k. agarwal<>
25097<>25_35<>marc j. van kreveld:subhash suri<>label placement by maximum independent set in rectangles<>cccg<>pankaj k. agarwal<>
25114<>25_52<>micha sharir:emo welzl<>the discrete 2-center problem<>compgeom<>pankaj k. agarwal<>
25124<>25_62<>leonidas j. guibas:t. m. murali:jeffrey scott vitter<>cylindrical static and kinetic binary space partitions<>compgeom<>pankaj k. agarwal<>
25137<>25_75<>sariel har-peled:micha sharir:kasturi r. varadarajan<>approximating shortest paths on a convex polytope in three dimensions<>jacm<>pankaj k. agarwal<>
25154<>25_92<>boris aronov:janos pach:richard pollack:micha sharir<>quasi-planar graphs have a linear number of edges<>combinatorica<>pankaj k. agarwal<>
25160<>25_98<>boris aronov:micha sharir<>"on levels in arrangements of lines, segments, planes, and triangles."<>compgeom<>pankaj k. agarwal<>
25169<>25_107<>boris aronov:joseph o'rourke:catherine a. schevon<>star unfolding of a polytope with applications<>siamcomp<>pankaj k. agarwal<>
8491<>29_1<>heping zhang<>the rotation graphs of perfect matchings of plane bipartite graphs<>dam<>fuji zhang<>
8492<>29_2<>heping zhang<>a note on the number of perfect matchings of bipartite graphs<>dam<>fuji zhang<>
33426<>32_17<>sandro morasca:lionel c. briand:elaine j. weyuker:marvin v. zelkowitz<>"comments on ""toward a framework for software measurement validation""."<>tse<>victor r. basili<>
33431<>32_22<>carolyn b. seaman<>communication and organization in software development: an empirical study<>ibmsj<>victor r. basili<>
33466<>32_57<>carolyn b. seaman<>an empirical study of communication in code inspections<>icse<>victor r. basili<>
33478<>32_69<>yasuhiro mashiko<>using the gqm paradigm to investigate influential factors for software process improvement<>jss<>victor r. basili<>
5979<>42_6<>erick cantu-paz<>predicting speedups of ideal bounding cases of parallel genetic algorithms<>icga<>david e. goldberg<>
5993<>42_20<>yuji sakamoto<>takeover time in a noisy environment<>icga<>david e. goldberg<>
26798<>48_2<>ehud aharoni<>restricted dynamic steiner trees for scalable multicast in datagram networks<>infocom<>reuven cohen<>
18755<>57_1<>ryuzo hasegawa:yoshihiko ohta:miyuki koshimura<>non-horn magic sets to incorporate top-down inference into bottom-up theorem proving<>cade<>katsumi inoue<>
18769<>57_15<>yoshimitsu kudoh<>learning extended logic programs<>ijcai<>katsumi inoue<>
34499<>100_8<>patrick i. mackinlay:peter y. k. cheung:richard sandiford<>riley-2: a flexible platform for codesign and dynamic reconfigurable computing research<>fpl<>wayne luk<>
34516<>100_25<>nabeel shirazi:shaori guo:peter y. k. cheung<>pipeline morphing and virtual pipelines<>fpl<>wayne luk<>
34541<>100_50<>nabeel shirazi:peter y. k. cheung<>compilation tools for run-time reconfigurable designs<>fccm<>wayne luk<>
34547<>100_56<>john o'leary:geoffrey brown<>verified compilation of communicating processes into clocked circuits<>fac<>wayne luk<>
14209<>101_0<>nulo<>performance issues of scientific programming in ada 95<>sigada<>james b. white iii<>
14231<>103_0<>edward j. barbeau:stephen m. tanny<>a matrix dynamics approach to golomb's recursion<>combinatorics<>john j. chew iii<>
23397<>106_3<>michael n. huhns<>"agents on the web: ""agents are everywhere!""."<>internet<>munindar p. singh<>
23410<>106_16<>nulo<>a customizable coordination service for autonomous agents<>atal<>munindar p. singh<>
23421<>106_27<>mona singh:james barnett<>automating spoken dialogue systems<>ismis<>munindar p. singh<>
23422<>106_28<>nulo<>commitments among autonomous agents in information-rich environments<>maamaw<>munindar p. singh<>
23451<>106_57<>philip cannata:michael n. huhns:nigel jacobs:tomasz ksiezyk:kayliang ong:amit p. sheth:christine tomlinson:darrell woelk<>the carnot heterogeneous database project: implemented applications<>dpd<>munindar p. singh<>
23466<>106_72<>daniel g. bobrow:michael n. huhns:margaret king:hiroaki kitano<>the next big thing: position statements<>ijcai<>munindar p. singh<>
23487<>110_3<>bonnie berger<>an iterative method for improved protein structural motif recognition<>recomb<>mona singh<>
23490<>110_6<>bonnie berger<>an iterative method for improved protein structural motif recognition<>jcb<>mona singh<>
6608<>121_1<>ashok v. krishnamoorthy<>firehose architectures for free-space optically interconnected vlsi circuits<>jpdc<>david a. b. miller<>
6609<>121_2<>haldun m. ozaktas<>limit to the bit-rate capacity of electrical interconnects from the aspect ratio of the system architecture<>jpdc<>david a. b. miller<>
6590<>123_2<>r. peter bonasso:r. james firby:erann gat:david kortenkamp:marc g. slack<>"experiences with an architecture for intelligent, reactive agents."<>jetai<>david p. miller<>
6592<>123_4<>anne wright:randy sargent:rob cohen:teresa hunt<>attitude and position control using real-time color tracking<>aaai<>david p. miller<>
6596<>123_8<>cathryne stein:anne wright:randy sargent<>are you being served?<>aaai<>david p. miller<>
6601<>124_2<>moonseo park<>image decoding over noisy channels using minimum mean-squared estimation and a markov mesh<>icip<>david j. miller<>
6587<>127_28<>raymond mcdowell<>a logic for reasoning with higher-order abstract syntax<>lics<>dale miller<>
5729<>153_0<>zvi galil:giuseppe f. italiano:amnon nissenzweig<>sparsification - a technique for speeding up dynamic graph algorithms<>jacm<>david eppstein<>
5750<>153_21<>mike paterson:f. frances yao<>on nearest-neighbor graphs<>dcg<>david eppstein<>
5759<>153_30<>daniel s. hirschberg<>choosing subsets with maximum weighted average<>jal<>david eppstein<>
5775<>153_46<>nulo<>faster geometric k-point mst approximation<>comgeo<>david eppstein<>
5824<>153_95<>nulo<>minimum range balanced cuts via dynamic subset sums<>jal<>david eppstein<>
5827<>153_98<>nina amenta:marshall w. bern<>optimal point placement for mesh smoothing<>soda<>david eppstein<>
5856<>153_127<>david hart<>an efficient algorithm for shortest paths in vertical and horizontal segments<>wads<>david eppstein<>
5867<>153_138<>nulo<>faster construction of planar two-centers<>soda<>david eppstein<>
5905<>153_176<>nulo<>dynamic connectivity in digital images<>ipl<>david eppstein<>
17438<>157_0<>david brittain:chris a. mcmahon<>a genetic algorithm approach to planning the telecommunications access network<>icga<>j. h. sims williams<>
22313<>163_2<>chang-gun lee:joosun hahn:yang-min seo:sang lyul min:rhan ha:seongsoo hong:chang yun park:chong-sang kim<>enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling<>rtss<>minsuk lee<>
22305<>166_0<>nulo<>the connectionist construction of psychological spaces<>connection<>michael d. lee<>
40545<>173_0<>h. yan<>hopfield neural network<>tmi<>yan zhu<>
27148<>202_3<>ashwin srinivasan:stephen muggleton:michael j. e. sternberg<>carcinogenesis predictions using ilp<>ilp<>ross d. king<>
27149<>202_4<>ashwin srinivasan<>the discovery of indicator variables for qsar using inductive logic programming<>jcamd<>ross d. king<>
27157<>202_12<>ashwin srinivasan:stephen muggleton:michael j. e. sternberg<>the predictive toxicology evaluation challenge<>ijcai<>ross d. king<>
34763<>205_49<>jiong yang:richard r. muntz<>sting: a statistical information grid approach to spatial data mining<>vldb<>wei wang<>
34810<>212_4<>barry joe:ronald n. goldman<>rational quadratic parameterizations of quadrics<>ijcga<>wenping wang<>
34811<>212_5<>barry joe<>interpolation on quadric surfaces with rational quadratic spline curves<>cagd<>wenping wang<>
34816<>212_10<>yue man sun:francis y. l. chin<>interpolating polyhedral models using intrinsic shape parameters<>jvca<>wenping wang<>
17225<>220_12<>zhenyuan wang<>using neural networks to determine sugeno measures by statistics<>nn<>jia wang<>
17209<>221_9<>an-nan suen:jia-lang lin<>vlsi architecture and implementation for fs1016 celp decoder with reduced power and memory requirements<>integration<>jhing-fa wang<>
11892<>226_1<>rui bastos:michael goslin<>efficient radiosity rendering using textures and bicubic reconstruction<>si3d<>hansong zhang<>
11893<>226_2<>subodh kumar:dinesh manocha:kenneth e. hoff iii<>accelerated walkthrough of large spline models<>si3d<>hansong zhang<>
17132<>230_25<>gio wiederhold:oscar firschein:sha xin wei<>wavelet-based image indexing techniques with partial sketch retrieval capability<>adl<>james ze wang<>
17144<>230_37<>gio wiederhold:oscar firschein:sha xin wei<>content-based image indexing and searching using daubechies' wavelets<>jodl<>james ze wang<>
39122<>236_2<>mark d. wheeler:katsushi ikeuchi<>object shape and reflectance modeling from observation<>siggraph<>yoichi sato<>
11855<>240_0<>fuji zhang<>a note on the number of perfect matchings of bipartite graphs<>dam<>heping zhang<>
11865<>240_10<>fuji zhang<>the rotation graphs of perfect matchings of plane bipartite graphs<>dam<>heping zhang<>
39128<>248_2<>shin nakajima:hideki atsumi:thomas koller:guido gerig:shigeyuki yoshida:ron kikinis<>3d multi-scale line filter for segmentation and visualization of curvilinear structures in medical images<>cvrmed<>yoshinobu sato<>
30862<>269_29<>thomas haynes:neeraj arora<>satisfying user preferences while negotiating meetings<>ijmms<>sandip sen<>
30887<>269_54<>thomas haynes:neeraj arora:rajani nadella<>an automated meeting scheduling system that utilizes user preferences<>agents<>sandip sen<>
30892<>269_59<>nulo<>developing an automated distributed meeting scheduler<>expert<>sandip sen<>
30910<>270_0<>binay k. bhattacharya<>"on a simple, practical, optimal, output-sensitive randomized planar convex hull algorithm."<>jal<>sandeep sen<>
30918<>270_8<>nulo<>"lower bounds for parallel algebraic decision trees, parallel complexity of convex hulls and related problems."<>tcs<>sandeep sen<>
30945<>270_35<>alok aggarwal:dina kravets:james k. park<>parallel searching in generalized monge arrays<>algorithmica<>s. sen<>
30947<>270_37<>neelima gupta<>"optimal, output-sensitive algorithms for constructing planar hulls in parallel."<>comgeo<>sandeep sen<>
30894<>271_0<>ping xuan:oscar gonzalez:jesus fernandez:krithi ramamritham<>broadcast on demand: efficient and timely dissemination of data in mobile environments<>rtas<>subhabrata sen<>
30907<>271_13<>jayanta k. dey:james f. kurose:donald f. towsley:james d. salehi<>playback restart in interactive streaming video applications<>icmcs<>subhabrata sen<>
30958<>273_8<>neeraj arora<>resolving social dilemmas using genetic algorithms: initial results<>icga<>sandip sen<>
29164<>280_5<>claudio bettini:xiaoyang sean wang<>satisfiability of quantitative temporal constraints with multiple granularities<>cp<>sushil jajodia<>
29185<>280_26<>vijayalakshmi atluri:elisa bertino<>a theoretical formulation for degrees of isolation in databases<>infsof<>sushil jajodia<>
29193<>280_34<>yu wu:xiaoyang sean wang<>temporal database bibliography update<>dagstuhl<>sushil jajodia<>
29208<>280_49<>paul ammann:indrakshi ray<>applying formal methods to semantic-based decomposition of transactions<>tods<>sushil jajodia<>
29211<>280_52<>claudio bettini:xiaoyang sean wang<>an architecture for supporting interoperability among temporal databases<>dagstuhl<>sushil jajodia<>
29221<>280_62<>indrakshi ray:paul ammann<>implementing semantic-based decomposition of transactions<>caise<>sushil jajodia<>
29225<>280_66<>ravi mukkamala:indrajit ray<>a two-tier coarse indexing scheme for mls database systems<>dbsec<>sushil jajodia<>
29242<>280_83<>pierangela samarati:v. s. subrahmanian<>a logical language for expressing authorizations<>sp<>sushil jajodia<>
29268<>280_109<>pierangela samarati:v. s. subrahmanian:elisa bertino<>a unified framework for enforcing multiple access control policies<>sigmod<>sushil jajodia<>
29279<>280_120<>paul ammann:catherine d. mccollum:barbara t. blaustein<>surviving information warfare attacks on databases<>sp<>sushil jajodia<>
29316<>280_157<>elena ferrari:pierangela samarati:elisa bertino<>providing flexibility in information flow control for object oriented systems<>sp<>sushil jajodia<>
29317<>280_158<>ouri wolfson:yixiu huang<>an adaptive data replication algorithm<>tods<>sushil jajodia<>
29321<>280_162<>xiaoyang sean wang:claudio bettini:alexander brodsky<>logical design for temporal databases with multiple granularities<>tods<>sushil jajodia<>
29337<>280_178<>elisa bertino:pierangela samarati<>an extended authorization model for relational databases<>tkde<>sushil jajodia<>
29348<>280_189<>daniel barbara:alexander brodsky:larry kerschberg:amihai motro:edgar h. sibley:xiaoyang sean wang<>information systems research at george mason university<>sigmod<>sushil jajodia<>
29351<>280_192<>pierangela samarati:elisa bertino:alessandro ciampichetti<>information flow control in object-oriented systems<>tkde<>sushil jajodia<>
33773<>293_5<>k. selcuk candan:john grant<>a unified treatment of null values using constraints<>isci<>v. s. subrahmanian<>
18557<>307_14<>michelle q. wang baldonado:luis gravano:andreas paepcke<>metadata for digital libraries: architecture and design rationale<>dl<>kevin chen-chuan chang<>
18587<>307_44<>hector garcia-molina<>evaluating the cost of boolean query mapping<>dl<>kevin chen-chuan chang<>
18594<>307_51<>michelle q. wang baldonado:luis gravano:andreas paepcke<>the stanford digital library metadata architecture<>jodl<>kevin chen-chuan chang<>
9601<>324_0<>p. f. lam<>visualizing input and output analysis for simulation (vinoas)<>simpra<>h. w. chan<>
4890<>328_6<>x. cai:ton kloks<>time-varying shortest path problems with constraints<>networks<>c. k. wong<>
4901<>331_2<>g. y. yan:andreas alexander albrecht:g. h. f. young<>the steiner tree problem in orientation metrics<>jcss<>chak-kuen wong<>
23573<>333_13<>surajit chaudhuri<>on the equivalence of recursive and nonrecursive datalog programs<>jcss<>moshe y. vardi<>
23579<>333_19<>kousha etessami:thomas wilke<>first-order logic with two variables and unary temporal logic<>lics<>moshe y. vardi<>
23601<>333_41<>orna kupferman<>modular model checking<>compos<>moshe y. vardi<>
23602<>333_42<>serge abiteboul:victor vianu<>"fixpoint logics, relational machines, and computational complexity."<>jacm<>moshe y. vardi<>
23608<>333_48<>ronald fagin:joseph y. halpern:yoram moses<>knowledge-based programs<>dc<>moshe y. vardi<>
23613<>333_53<>orna kupferman<>weak alternating automata are not that weak<>istcs<>moshe y. vardi<>
23617<>333_57<>erich gradel:phokion g. kolaitis<>on the decision problem for two-variable first-order logic<>bsl<>moshe y. vardi<>
23628<>333_68<>david harel:orna kupferman<>on the complexity of verifying concurrent transition systems<>concur<>moshe y. vardi<>
23637<>333_77<>nulo<>verification of open systems<>fsttcs<>moshe y. vardi<>
23652<>333_92<>nulo<>alternating automata: unifying truth and validity checking for temporal logics<>cade<>moshe y. vardi<>
23691<>333_131<>orna kupferman<>model checking revisited<>cav<>moshe y. vardi<>
23709<>333_149<>neil immerman<>model checking and transitive-closure logic<>cav<>moshe y. vardi<>
31406<>334_2<>joseph s. b. mitchell:david m. mount<>query-sensitive ray shooting<>ijcga<>subhash suri<>
33273<>355_5<>daniel andresen:david watson:athanassios s. poulakidas<>dynamic processor scheduling with client resources for fast multi-resolution www image browsing<>ipps<>tao yang<>
33274<>355_6<>oscar h. ibarra:nicholas q. tran<>on the parallel complexity of loops<>tcs<>tao yang<>
33277<>355_9<>yizhou yu:oscar h. ibarra<>parallel progressive radiosity with adaptive meshing<>jpdc<>tao yang<>
33288<>355_20<>daniel andresen<>multiprocessor scheduling with client resources to improve the response time of www applications<>ics<>tao yang<>
33306<>355_38<>cong fu<>space and time efficient execution of parallel irregular computation<>ppopp<>tao yang<>
33308<>355_40<>cong fu<>run-time techniques for exploiting irregular task parallelism on distributed memory architectures<>jpdc<>tao yang<>
33314<>355_46<>athanassios s. poulakidas:ashok srinivasan:omer egecioglu:oscar h. ibarra<>a compact storage scheme for fast wavelet-based subregion retrieval<>cocoon<>tao yang<>
10124<>368_3<>nulo<>combinatorial semantics: semantics for frequent validity<>ci<>henry e. kyburg jr.<>
14642<>405_2<>nulo<>analyses of multiple evidence combination<>sigir<>jong-hak lee<>
22750<>424_3<>boudewijn asberg:gregoria blanco:prosenjit bose:jesus garcia-lopez:godfried t. toussaint:gordon t. wilfong:binhai zhu<>feasibility of design in stereolithography<>algorithmica<>mark h. overmars<>
22756<>424_9<>prosenjit bose:leonidas j. guibas:anna lubiw:diane l. souvaine:jorge urrutia<>the floodlight problem<>ijcga<>mark h. overmars<>
22772<>424_25<>jules vleugels:joost n. kok<>motion planning with complete knowledge using a colored som<>ijns<>mark h. overmars<>
22778<>424_31<>robert-paul berretty:kenneth y. goldberg:a. frank van der stappen<>on fence design and the complexity of push plans for orienting parts<>compgeom<>mark h. overmars<>
22804<>424_57<>mark de berg:marko de groot<>perfect binary space partitions<>comgeo<>mark h. overmars<>
22807<>424_60<>mark de berg:marc j. van kreveld:rene van oostrum<>simple traversal of a subdivision without extra storage<>gis<>mark h. overmars<>
22860<>424_113<>robert-paul berretty:a. frank van der stappen<>dynamic motion planning in low obstacle density environments<>wads<>mark h. overmars<>
22871<>424_124<>mark de berg:marko de groot<>new results on binary space partitions in the plane<>comgeo<>mark h. overmars<>
1104<>480_5<>monica s. lam<>maximizing parallelism and minimizing synchronization with affine transforms<>popl<>amy w. lim<>
19487<>483_7<>w. jie<>implementation of monte carlo integration for the analysis of product-form queueing networks<>pe<>keith w. ross<>
19427<>485_2<>damianos chatziantoniou<>groupwise processing of relational queries<>vldb<>kenneth a. ross<>
19437<>485_12<>hui lei<>"faster joins, self joins and multi-way joins using join indices."<>ngits<>kenneth a. ross<>
19442<>485_17<>daniel barbara:william dumouchel:christos faloutsos:peter j. haas:joseph m. hellerstein:yannis e. ioannidis:h. v. jagadish:theodore johnson:raymond t. ng:viswanath poosala:kenneth c. sevcik<>the new jersey data reduction report<>debu<>kenneth a. ross<>
19470<>485_45<>divesh srivastava<>fast computation of sparse datacubes<>vldb<>kenneth a. ross<>
24188<>489_5<>mark tabb<>multiscale image segmentation by integrated edge and region detection<>tip<>narendra ahuja<>
11308<>502_0<>xiao zhou:takao nishizeki<>an nc parallel algorithm for edge-coloring series-parallel multigraphs<>jal<>hitoshi suzuki<>
13922<>504_9<>gregory d. abowd:christopher g. atkeson:sue long:rob kooper:mike pinkerton<>cyberguide: a mobile context-aware tour guide<>winet<>jason i. hong<>
15313<>527_1<>michael p. jones<>contextual spelling correction using latent semantic analysis<>anlp<>james h. martin<>
15318<>527_6<>brad calder:dirk grunwald:michael p. jones:donald c. lindsay:michael mozer:benjamin g. zorn<>evidence-based static branch prediction using machine learning<>toplas<>james h. martin<>
33964<>529_59<>james allan:james p. callan:lisa ballesteros:donald byrd:russell c. swan:jinxi xu<>inquery does battle with trec-6<>trec<>w. bruce croft<>
4385<>540_0<>joon-seo yim:yoon-ho hwang:hoon choi:woo-seung yang:hun-seung oh:in-cheol park:chong-min kyung<>a c-based rtl design verification methodology for complex microprocessor<>dac<>chang-jae park<>
25338<>546_15<>wee teck ng<>integrating reliable memory in databases<>vldb<>peter m. chen<>
25346<>546_23<>david e. lowell<>free transactions with rio vista<>sosp<>peter m. chen<>
32680<>554_0<>hyung kim ki:yeong rak seong:kyu ho park<>ordering of simultaneous events in distributed devs simulation<>simpra<>tag gon kim<>
31<>564_3<>debanjan saha:raj s. mitra<>hardware software partitioning using genetic algorithm<>vlsid<>anupam basu<>
34<>564_6<>santonu sarkar:arun k. majumdar<>analyzing controllability of a hardware circuit for its reuse<>vlsid<>anupam basu<>
38869<>585_2<>somesh jha:marius minea:edmund m. clarke<>equivalence checking using abstract bdds<>iccd<>yuan lu<>
6225<>591_4<>huei chuang:kent e. seamons<>document ranking and the vector-space model<>software<>dik lun lee<>
6240<>591_19<>budi yuwono<>server ranking for distributed text retrieval systems on the internet<>dasfaa<>dik lun lee<>
6264<>591_43<>wang-chien lee:qinglong hu<>channel allocation methods for data dissemination in mobile computing environments<>hpdc<>dik lun lee<>
6318<>592_8<>kuo-hui tsai<>k best cuts for circular-arc graphs<>algorithmica<>d. t. lee<>
6319<>592_9<>c. d. yang:c. k. wong<>finding rectilinear paths among obstacles in a two-layer interconnection model<>ijcga<>d. t. lee<>
6322<>592_12<>hsiao-feng steven chen<>a faster one-dimensional topological compaction algorithm<>isaac<>d. t. lee<>
6291<>594_10<>k. k. ramakrishnan:w. melody moh:a. udaya shankar<>performance and correctness of the atm abr rate control scheme<>infocom<>david lee<>
6295<>594_14<>mihalis yannakakis<>an efficient algorithm for minimizing real-time transition systems<>fmsd<>david lee<>
6356<>599_0<>michael recce<>quantitative evaluation of the exploration strategies of a mobile robot<>ijrr<>david lee<>
458<>622_40<>colin mcdiarmid<>algorithmic theory of random graphs<>rsa<>alan m. frieze<>
34337<>623_11<>yiqiang q. zhao:w. john braun<>on a decomposition for infinite transition matrices<>questa<>wei li<>
34355<>624_1<>a. robert calderbank:bjorn poonen<>a 2-adic approach to the analysis of cyclic codes<>tit<>wen-ching w. li<>
2758<>669_3<>deirdre lawless:jesus bisbal:ray richardson:jane grimson:vincent wade:donie o'sullivan<>the butterfly methodology : a gateway-free approach for migrating legacy information systems<>iceccs<>bing wu<>
25764<>702_28<>ming-syan chen:hui-i hsiao<>on applying hash filters to improving the execution of multi-join queries<>vldb<>philip s. yu<>
25774<>702_38<>charu c. aggarwal<>on disk caching of web objects in proxy servers<>cikm<>philip s. yu<>
25776<>702_40<>hui-i hsiao:ming-syan chen<>parallel execution of hash joins in parallel databases<>tpds<>philip s. yu<>
25801<>702_65<>jong soo park:ming-syan chen<>using a hash-based method with transaction trimming for mining association rules<>tkde<>philip s. yu<>
25802<>702_66<>ming-syan chen:hui-i hsiao:chung-sheng li<>using rotational mirrored declustering for replica placement in a disk-array-based video server<>mms<>philip s. yu<>
25826<>702_90<>ming-syan chen<>optimal design of multiple hash tables for concurrency control<>tkde<>philip s. yu<>
25836<>702_100<>asit dan:anant jhingran<>recovery analysis of data sharing systems under deferred dirty page propagation policies<>tpds<>philip s. yu<>
25839<>702_103<>jong soo park:ming-syan chen<>mining association rules with adjustable accuracy<>cikm<>philip s. yu<>
25861<>702_125<>joel l. wolf:hadas shachnai<>disk load balancing for video-on-demand systems<>mms<>philip s. yu<>
25873<>702_137<>michele colajanni:daniel m. dias<>scheduling algorithms for distributed web servers<>icdcs<>philip s. yu<>
29666<>715_12<>sangjoon park:dongho won<>group signatures for hierarchical multigroups<>isw<>seungjoo kim<>
40005<>736_3<>hong wu<>a rendering equation for specular transfers and its integration into global illumination<>cgf<>yizhou yu<>
40010<>736_8<>oscar h. ibarra:tao yang<>parallel progressive radiosity with adaptive meshing<>jpdc<>yizhou yu<>
40028<>737_3<>t. y. chen<>optimal improvement of the lower bound performance of partition testing strategies<>iee<>y. t. yu<>
40062<>741_16<>qi wang:erik h. d'hollander<>visualizing the iteration space in pefpt<>hpcn<>yijun yu<>
31906<>748_9<>david mumford<>learning generic prior models for visual computation<>cvpr<>song chun zhu<>
31910<>748_13<>david mumford<>prior learning and gibbs reaction-diffusion<>pami<>song chun zhu<>
12295<>759_2<>ted briscoe<>automatic extraction of subcategorization from corpora<>corr<>john carroll<>
12305<>759_12<>david j. weir<>encoding frequency information in lexicalized grammars<>corr<>john carroll<>
12306<>759_13<>ted briscoe<>automatic extraction of subcategorization from corpora<>anlp<>john carroll<>
12285<>761_16<>george chin jr.:mary beth rosson<>participatory analysis: shared development of requirements from scenarios<>chi<>john m. carroll<>
12287<>761_18<>nulo<>human-computer interaction: psychology as a science of design<>ijmms<>john m. carroll<>
19062<>776_0<>young moon park:gwang-won kim:hong-shik cho<>a new algorithm for kohonen layer learning with application to power system stability analysis<>tsmc<>k. y. lee<>
21238<>832_7<>nulo<>compositional refinement of interactive systems<>jacm<>manfred broy<>
21242<>832_11<>herbert ehler:barbara paech:veronika thurner<>innovation durch kooperation im software-engineering<>gi<>manfred broy<>
21243<>832_12<>franz huber:barbara paech:bernhard rumpe:katharina spies<>software and system modeling based on a unified formal semantics<>rtse<>manfred broy<>
21244<>832_13<>nulo<>compositional refinement of interactive systems modelled by relations<>compos<>manfred broy<>
21246<>832_15<>radu grosu:cornel klein<>reconciling real-time with asynchronous message passing<>fm<>manfred broy<>
21254<>832_23<>stefan jahnichen<>korso - korrekte software durch formale methoden<>ife<>manfred broy<>
21259<>832_28<>christoph hofmann:ingolf kruger:monika schmidt<>using extended event traces to describe communication in software architectures<>apsec<>manfred broy<>
21266<>832_35<>nulo<>refinement of time<>arts<>manfred broy<>
40676<>836_1<>nulo<>the size of graphs with clique number m and without nowhere-zero 4-flows<>dm<>zhi-hong chen<>
38232<>857_0<>diane m. strong:richard y. wang<>data quality in context<>cacm<>yang w. lee<>
38235<>857_3<>rita kovac:leo pipino<>total data quality management: the case of iri<>iq<>yang w. lee<>
16336<>885_1<>lidia szczupak<>using an artificial neural network for studying the interneuronal layer of a leech neuronal circuit<>iwann<>juan miguel santos<>
6057<>896_0<>wagdy mahmoud:william a. stapleton:patrick t. gaughan<>faster fractal image compression using quadtree recomposition<>ivc<>david jeff jackson<>
14598<>914_0<>dongwook kim<>a virtual-physical on-chip cache for shared memory multiprocessors<>europar<>joonwon lee<>
14599<>914_1<>yunseok rhee<>a scalable cache coherent architecture for large-scale mesh-connected multiprocessors<>ispan<>joonwon lee<>
14603<>914_5<>manhee kim:hyogun lee<>a proportional-share scheduler for multimedia applications<>icmcs<>joonwon lee<>
12664<>919_15<>kazunori nishi:kazuo ushijima<>improving the performance of automated forward deduction system encal<>ishpc<>jingde cheng<>
12681<>925_0<>david a. bell:weiru liu<>learning belief networks from data: an information theory based approach<>cikm<>jie cheng<>
14574<>949_1<>kyoung jun lee:hyun woo kim:tae hwan kim:chang gon kim:myoung kyun yoon:eui jun hwang:hyun jeong park<>case and constraint-based apartment construction project planning system: fastrak-apt<>aaai<>jae kyu lee<>
22920<>956_35<>jaewon oh:iksoo pyo<>constructing minimal spanning/steiner trees with bounded path length<>integration<>massoud pedram<>
22923<>956_38<>shihming liu:alvin m. despain<>state assignment based on two-dimensional placement and hypercube mapping<>integration<>massoud pedram<>
22943<>956_58<>paul tafertshofer<>factored edge-valued binary decision diagrams<>fmsd<>massoud pedram<>
22956<>956_71<>qinru qiu:qing wu:chih-shun ding<>cycle-accurate macro-models for rt-level power analysis<>islped<>massoud pedram<>
22966<>956_81<>cheng-ta hsieh:gaurav mehta:fred rastgar<>profile-driven program synthesis for evaluation of system power dissipation<>dac<>massoud pedram<>
22972<>956_87<>enrico macii:fabio somenzi<>"high-level power modeling, estimation, and optimization."<>dac<>massoud pedram<>
22996<>956_111<>xunwei wu<>design of ternary ccd circuits referencing to current-mode cmos circuits<>ismvl<>massoud pedram<>
23000<>956_115<>chi-ying tsui:kai-keung chan:qing wu:chih-shun ding<>a power estimation framework for designing low power portable video applications<>dac<>massoud pedram<>
23015<>956_130<>radu marculescu:diana marculescu<>hierarchical sequence compaction for power estimation<>dac<>massoud pedram<>
23023<>956_138<>diana marculescu:radu marculescu<>sequence compaction for probabilistic analysis of finite-state machines<>dac<>massoud pedram<>
3631<>963_6<>lorna love<>"using ""accident fault trees"" in conjunction with traditional accident reports."<>interact<>chris johnson<>
3632<>963_7<>nulo<>the impact of time and place on the operation of mobile computing devices<>bcshci<>chris johnson<>
3636<>963_11<>nulo<>the epistemics of accidents<>ijmms<>c. w. johnson<>
20648<>974_9<>hernani pedroso:joao gabriel silva<>web-based metacomputing with jet<>concurrency<>luis moura silva<>
20658<>974_19<>joao gabriel silva<>checkpointing distributed shared memory<>tjs<>luis moura silva<>
30746<>975_3<>andrew v. goldberg<>beyond the flow decomposition barrier<>focs<>satish rao<>
31977<>988_5<>satish chandra:james r. larus:michael dahlin:brad richards:randolph y. wang<>experience with a language for writing coherence protocols<>dsl<>thomas e. anderson<>
32002<>988_30<>richard p. martin:amin vahdat:david e. culler<>"effects of communication latency, overhead, and bandwidth in a cluster architecture."<>isca<>thomas e. anderson<>
32004<>988_32<>jeanna m. neefe:drew s. roselli:adam m. costello:randolph y. wang<>improving the performance of log-structured file systems with adaptive methods<>sosp<>thomas e. anderson<>
19419<>992_0<>ramesh gupta:jayant r. haritsa<>more optimism about real-time distributed commit processing<>rtss<>krithi ramamritham<>
11779<>1006_4<>kwang-sik chung:kibom kim:chong-sun hwang:jin gon shon<>hybrid checkpointing protocol based on selective-sender-based message logging<>icpads<>heon-chang yu<>
23552<>1022_10<>allison woodruff<>supporting fine-grained data lineage in a database visualization environment<>icde<>michael stonebraker<>
8218<>1031_0<>luis macedo:carlos grilo:amilcar cardoso<>experimental study of a similarity metric for retrieving pieces from structured plan cases: its role in the originality of plan case solutions<>iccbr<>francisco c. pereira<>
746<>1041_0<>russell impagliazzo<>bounding the size of planar intertwines<>siamdm<>arvind gupta<>
8257<>1044_0<>mary dalrymple:john lamping:vijay a. saraswat<>"quantifiers, anaphora, and intensionality."<>jolli<>fernando c. n. pereira<>
22024<>1047_1<>dima grigoriev:friedhelm meyer auf der heide:roman smolensky<>a lower bound for randomized algebraic decision trees<>cc<>marek karpinski<>
22034<>1047_11<>alexander zelikovsky<>approximating dense cases of covering problems<>eccc<>marek karpinski<>
22036<>1047_13<>alexander zelikovsky<>new approximation algorithms for the steiner tree problems<>jco<>marek karpinski<>
22053<>1047_30<>piotr berman:moses charikar<>on-line load balancing for related machines<>wads<>marek karpinski<>
22058<>1047_35<>angus macintyre<>approximating the volume of general pfaffian bodies<>birthday<>marek karpinski<>
22059<>1047_36<>juergen wirtgen:alexander zelikovsky<>an approximation algorithm for the bandwidth problem on dense graphs<>eccc<>marek karpinski<>
22066<>1047_43<>piotr berman:lawrence l. larmore:wojciech plandowski:wojciech rytter<>on the complexity of pattern matching for highly compressed two-dimensional texts<>cpm<>marek karpinski<>
22084<>1047_61<>joachim von zur gathen:igor shparlinski<>counting curves and their projections<>cc<>marek karpinski<>
22093<>1047_70<>angus macintyre<>polynomial bounds for vc dimension of sigmoidal and general pfaffian neural networks<>jcss<>marek karpinski<>
22112<>1047_89<>nulo<>polynomial time approximation schemes for some dense instances of np-hard optimization problems<>eccc<>marek karpinski<>
9308<>1060_5<>chandrajit l. bajaj<>spline approximations of real algebraic surfaces<>jsc<>guoliang xu<>
9311<>1060_8<>chandrajit l. bajaj:fausto bernardini<>reconstructing surfaces and functions on surfaces from unorganized three-dimensional data<>algorithmica<>guoliang xu<>
37081<>1068_30<>nulo<>a note on graph reconstruction<>arscom<>xuding zhu<>
37082<>1068_31<>huishan zhou<>multiplicativity of acyclic local tournaments<>combinatorica<>xuding zhu<>
37091<>1068_40<>walter a. deuber<>the chromatic numbers of distance graphs<>dm<>xuding zhu<>
36418<>1071_5<>jason tsong-li wang:dennis shasha:bruce a. shapiro:sitaram dikshitulu:isidore rigoutsos:kaizhong zhang<>automated discovery of active motifs in three dimensional molecules<>kdd<>xiong wang<>
30413<>1077_18<>lanae j. avra:edward j. mccluskey<>an output encoding problem and a solution technique<>iccad<>subhasish mitra<>
30414<>1077_19<>lanae j. avra:edward j. mccluskey<>scan synthesis for one-hot signals<>itc<>subhasish mitra<>
22144<>1085_3<>jong soo kim<>on effective data clustering in bitemporal databases<>time<>myoung-ho kim<>
12234<>1090_11<>ajay nerurkar<>an improved worst-case to average-case connection for lattice problems<>focs<>jin-yi cai<>
12236<>1090_13<>d. sivakumar<>resolution of hartmanis' conjecture for nl-hard sparse sets<>cocoon<>jin-yi cai<>
38493<>1098_1<>peter che bor lam:wai chee shiu:w. h. chan<>on the bandwidth of convex triangulation meshes<>dm<>y. lin<>
38481<>1099_18<>hsiao-pin su<>a phase assignment method for virtual-wire-based hardware emulation<>tcad<>youn-long lin<>
38415<>1100_4<>joe geigel<>a graphical user interface design for network simulation<>jss<>yi-bing lin<>
38417<>1100_6<>nulo<>reducing location update cost in a pcs network<>ton<>yi-bing lin<>
38422<>1100_11<>wen-nung tsai<>a data request scheduling policy for pcs networks<>monet<>yi-bing lin<>
38437<>1100_26<>yuguang fang:imrich chlamtac<>call performance for a pcs network<>jsac<>yi-bing lin<>
38441<>1100_30<>yuguang fang:imrich chlamtac<>modeling pcs networks under general call holding time and cell residence time distributions<>ton<>yi-bing lin<>
38447<>1100_36<>imrich chlamtac<>effects of erlang call holding times on pcs call completion<>infocom<>yi-bing lin<>
28334<>1114_7<>nulo<>an improved algorithm for quantifier elimination over real closed fields<>focs<>saugata basu<>
28339<>1114_12<>nulo<>uniform quantifier elimination and constraint query processing<>issac<>saugata basu<>
3329<>1128_13<>euripides g. m. petrakis<>similarity searching in medical image databases<>tkde<>christos faloutsos<>
15231<>1156_4<>nulo<>simplex memory neural networks<>nn<>jinwen ma<>
15232<>1156_5<>nulo<>the stability of the generalized hopfield networks in randomly asynchronous mode<>nn<>jinwen ma<>
6404<>1157_0<>nicholas d. socci:h. sebastian seung<>the rectified gaussian distribution<>nips<>daniel d. lee<>
15272<>1162_8<>runhe huang:d. frank hsu<>a genetic algorithm for optimal 3-connected telecommunication network designs<>ispan<>jianhua ma<>
23518<>1173_0<>nulo<>video skimming and characterization through the combination of image and language understanding techniques<>cvpr<>michael a. smith<>
1556<>1193_1<>vincent van dongen<>an integrated performance analysis tool for spmd data-parallel programs<>pc<>ajit singh<>
1554<>1194_1<>raimondas lencevicius:urs holzle<>query-based debugging of object-oriented programs<>oopsla<>ambuj k. singh<>
15382<>1204_25<>ugo montanari:vladimiro sassone<>on the semantics of place/transition petri nets<>mscs<>jose meseguer<>
17885<>1227_0<>gerard j. chang:sandra mitchell hedetniemi:stephen t. hedetniemi<>k-path partitions in trees<>dam<>jing-ho yan<>
12850<>1245_0<>nigel h. goddard:greg hood:william eddy:christopher genovese:douglas c. noll:leigh nystrom<>online analysis of functional mri datasets on parallel platforms<>tjs<>jonathan cohen<>
34298<>1246_0<>elliot waingold:michael taylor:devabhaktuni srikrishna:vivek sarkar:victor lee:jang kim:matthew frank:peter finch:rajeev barua:jonathan babb:saman p. amarasinghe:anant agarwal<>baring it all to software: raw machines<>computer<>walter lee<>
34302<>1246_4<>matthew frank:victor lee:kenneth mackenzie:larry rudolph<>implications of i/o for gang scheduled workloads<>jsspp<>walter lee<>
19955<>1267_1<>khanh p. v. doan<>shapes: a novel approach for learning search heuristics in under-constrained optimization problems<>tkde<>kit po wong<>
41197<>1270_0<>nulo<>congruences for bernoulli numbers and bernoulli polynomials<>dm<>zhi-hong sun<>
19910<>1273_5<>margaret-anne d. storey:hausi a. muller<>how do program understanding tools affect how programmers understand programs?<>wcre<>kenny wong<>
19912<>1273_7<>hausi a. muller:margaret-anne d. storey<>wrapping coarse-grained objects using standard infrastructure technology<>icsm<>kenny wong<>
19915<>1273_10<>patrick j. finnigan:richard c. holt:ivan kalas:scott kerr:kostas kontogiannis:hausi a. muller:john mylopoulos:stephen g. perelgut:martin stanley<>the software bookshelf<>ibmsj<>kenny wong<>
19918<>1273_13<>margaret-anne d. storey:f. david fracchia:hausi a. muller<>on integrating visualization techniques for effective software exploration<>infovis<>kenny wong<>
19884<>1277_3<>margaret-anne d. storey:hausi a. muller<>rigi: a visualization environment for reverse engineering<>icse<>kenny wong<>
9704<>1283_0<>oscar e. agazzi:ching y. suen<>piecewise linear modulation model of handwriting<>icdar<>hao chen<>
9694<>1285_24<>yi-ming chung:marshall ramsey<>intelligent spider for internet searching<>hicss<>hsinchun chen<>
9906<>1289_1<>nimish r. shah<>triangulating topological spaces<>ijcga<>herbert edelsbrunner<>
9872<>1291_0<>pavel valtr:emo welzl<>cutting dense point sets in half<>dcg<>herbert edelsbrunner<>
29859<>1302_2<>gill barequet<>repairing cad models<>visualization<>subodh kumar<>
9416<>1336_1<>chin-chuan han:hong-yuan mark liao:lian-hua chen<>fast face detection via morphology-based pre-processing<>iciap<>gwo-jong yu<>
9920<>1339_0<>sudarshan s. chawathe<>meaningful change detection in structured data<>sigmod<>hector garcia-molina<>
3750<>1368_6<>jiankun li<>embedded coding of 3d graphic models<>icip<>c. c. jay kuo<>
3752<>1368_8<>ioannis katsavounidis<>a multiscale error diffusion technique for digital halftoning<>tip<>c. c. jay kuo<>
3754<>1368_10<>jiankun li:jin li<>progressive compression of 3d graphic models<>icmcs<>c. c. jay kuo<>
3757<>1368_13<>kai-chieh liang<>progressive image indexing and retrieval based on embedded wavelet coding<>icip<>c. c. jay kuo<>
3760<>1372_0<>tien-ying kuo<>a hybrid bmc/obmc motion compensation scheme<>icip<>c. c. jay kuo<>
1450<>1410_6<>david s. doermann:ehud rivlin<>the function of documents<>icdar<>azriel rosenfeld<>
2598<>1418_1<>robert szewczyk:andras ferencz:henry andrews<>motion and feature-based video metamorphosis<>mm<>brian c. smith<>
29596<>1432_4<>fred s. roberts<>competition numbers of graphs with a small number of triangles<>dam<>suh-ryung kim<>
23214<>1433_9<>andrew sohn:namhoon yoo:jean-luc gaudiot<>data and workload distribution in a multithreaded architecture<>jpdc<>mitsuhisa sato<>
23215<>1433_10<>yuetsu kodama:hirofumi sakane:hayato yamana:shuichi sakai:yoshinori yamaguchi<>experience with fine-grain communication in em-x multiprocessor for parallel sparse matrix computation<>ipps<>mitsuhisa sato<>
23219<>1433_14<>satoko sakata:umpei nagashima:satoshi sekiguchi:haruo hosoya<>"performance evaluation of a workstation cluster, tmc cm-5, and intel paragon/xp using a parallel homology analysis program."<>pc<>mitsuhisa sato<>
23254<>1433_49<>hidemoto nakada:satoshi sekiguchi:satoshi matsuoka:umpei nagashima:hiromitsu takagi<>ninf: a network based information library for global world-wide computing infrastructure<>hpcn<>mitsuhisa sato<>
23261<>1434_6<>nulo<>classical brouwer-heyting-kolmogorov interpretation<>alt<>masahiko sato<>
23262<>1434_7<>nulo<>intuitionistic and classical natural deduction systems with the catch and the throw rules<>tcs<>masahiko sato<>
12337<>1436_3<>nulo<>design and evaluation of a submesh allocation scheme for two-dimensional mesh-connected parallel computers<>ispan<>j. morris chang<>
16136<>1441_10<>stephen r. tate<>on dynamic algorithms for algebraic problems<>jal<>john h. reif<>
16144<>1441_18<>james a. storer<>error-resilient optimal data compression<>siamcomp<>john h. reif<>
12388<>1447_0<>cheng-shang chang:kwang-cheng chen:ming-young you<>guaranteed quality-of-service wireless access to atm networks<>jsac<>jin-fu chang<>
8720<>1461_1<>azer bestavros<>exploiting redundancy for timeliness in tcp boston<>rtas<>gitae kim<>
8721<>1461_2<>azer bestavros<>tcp boston: a fragmentation-tolerant tcp protocol for atm networks<>infocom<>gitae kim<>
13133<>1465_12<>graham e. fagg:al geist<>heterogeneous mpi application interoperation and process management under pvmpi<>pvm<>jack dongarra<>
13134<>1465_13<>thomas h. dunigan<>message-passing performance of various computers<>concurrency<>jack dongarra<>
13156<>1465_35<>henri casanova:david m. doolin<>java access to numerical libraries<>concurrency<>jack dongarra<>
13187<>1465_66<>james s. plank:youngbae kim<>fault-tolerant matrix operations for networks of workstations using diskless checkpointing<>jpdc<>jack dongarra<>
13192<>1465_71<>l. susan blackford:jaeyoung choi:andrew j. cleary:eduardo f. d'azevedo:james demmel:inderjit s. dhillon:sven hammarling:greg henry:antoine petitet:ken stanley:david w. walker:r. clinton whaley<>scalapack: a linear algebra library for message-passing computers<>ppsc<>jack dongarra<>
13208<>1465_87<>pierre-yves calland:yves robert<>tiling with limited resources<>asap<>jack dongarra<>
13235<>1465_114<>sven hammarling:david w. walker<>key concepts for parallel out-of-core lu factorization<>pc<>jack dongarra<>
13243<>1465_122<>frederic desprez:antoine petitet:cyril randriamaro:yves robert<>scheduling block-cyclic array redistribution<>parco<>jack dongarra<>
13254<>1465_133<>l. susan blackford:andrew j. cleary:antoine petitet:r. clinton whaley:james demmel:inderjit s. dhillon:h. ren:ken stanley:sven hammarling<>practical experience in the numerical dangers of heterogeneous computing<>toms<>jack dongarra<>
40566<>1471_0<>chi-wei lee<>handwritten chinese character recognition using stroke structural sequence code<>jise<>zen chen<>
40567<>1471_1<>jui-man chiu:jen-hui chuang:tsorng-lin chia<>determination of feature correspondences in stereo images using a calibration polygon<>pr<>zen chen<>
40581<>1473_3<>steven homer<>learning counting functions with queries<>tcs<>zhixiang chen<>
30234<>1485_29<>vaduvur bharghavan:rayadurgam srikant<>fair scheduling in wireless packet networks<>sigcomm<>songwu lu<>
8994<>1492_9<>r. carmona:agostino dovier<>dealing with infinite intensional sets in clp<>agp<>gianfranco rossi<>
9015<>1494_2<>julio cesar sampaio do prado leite:federico balaguer:vanesa maiorana:gladys n. kaplan:graciela d. s. hadad:alejandro oliveros<>enhancing a requirements baseline with scenarios<>re<>gustavo rossi<>
9016<>1494_3<>julio cesar sampaio do prado leite:federico balaguer:vanesa maiorana:gladys n. kaplan:graciela d. s. hadad:alejandro oliveros<>enhancing a requirements baseline with scenarios<>re<>gustavo rossi<>
12854<>1499_3<>david zhigang pan:lei he:cheng-kok koh:kei-yong khoo<>interconnect design for deep submicron ics<>iccad<>jason cong<>
12858<>1499_7<>cheng-kok koh<>interconnect layout optimization under higher-order rlc model<>iccad<>jason cong<>
12894<>1499_43<>andrew b. kahng:kwok-shing leung<>efficient heuristics for the minimum shortest path steiner arborescence problem with applications to vlsi physical design<>ispd<>jason cong<>
12900<>1499_49<>lei he:cheng-kok koh:david zhigang pan<>global interconnect sizing and spacing with consideration of coupling capacitance<>iccad<>jason cong<>
12921<>1499_70<>honching peter li:sung kyu lim:toshiyuki shibuya:dongmin xu<>large scale circuit partitioning with loose/stable net removal and signal flow based clustering<>iccad<>jason cong<>
12923<>1499_72<>patrick h. madden<>performance-driven routing with multiple sources<>tcad<>jason cong<>
12934<>1499_83<>chin-chih chang<>an efficient approach to multi-layer layer assignment with application to via minimization<>dac<>jason cong<>
12965<>1499_114<>chang wu<>fpga synthesis with retiming and pipelining for clock period minimization of sequential circuits<>dac<>jason cong<>
12970<>1499_119<>yean-yow hwang<>partially-dependent functional decomposition with applications in fpga synthesis and mapping<>fpga<>jason cong<>
12987<>1499_136<>patrick h. madden<>performance driven global routing for standard cell design<>ispd<>jason cong<>
10294<>1510_0<>benjamin g. zorn<>bit: a tool for instrumenting java bytecodes<>usits<>han bok lee<>
7619<>1520_6<>uri zwick<>all-pairs small-stretch paths<>soda<>edith cohen<>
7631<>1520_18<>nulo<>size-estimation framework with applications to transitive closure and reachability<>jcss<>edith cohen<>
7647<>1520_34<>nulo<>learning noisy perceptrons by a perceptron in polynomial time<>focs<>edith cohen<>
7650<>1520_37<>david d. lewis<>approximating matrix multiplication for pattern recognition tasks<>soda<>edith cohen<>
7663<>1520_50<>nulo<>using selective path-doubling for parallel shortest-path computations<>jal<>edith cohen<>
5030<>1522_0<>jerry l. prince<>gradient vector flow: a new external force for snakes<>cvpr<>chenyang xu<>
5037<>1522_7<>dzung l. pham:jerry l. prince:azar p. dagher<>an automated technique for statistical characterization of brain tissues in magnetic resonance imaging<>ijprai<>chenyang xu<>
5038<>1522_8<>dzung l. pham:jerry l. prince<>"finding the brain cortex using fuzzy segmentation, isosurfaces, and deformable surface models."<>ipmi<>chenyang xu<>
5024<>1523_28<>vipin chaudhary<>time-stamping algorithms for parallelization of loops at run-time<>ipps<>cheng-zhong xu<>
8179<>1532_6<>xiao-tao chen:fred j. meyer<>on the fault coverage of interconnect diagnosis<>vts<>fabrizio lombardi<>
8201<>1532_28<>fred j. meyer:xiao-tao chen:wei-kang huang<>using virtual links for reliable information retrieval across point-to-point networks<>ftcs<>fabrizio lombardi<>
8213<>1532_40<>wei liang huang:fred j. meyer<>multiple fault detection in logic resources of fpgas<>dft<>fabrizio lombardi<>
28857<>1544_1<>richard fujimoto<>an empirical evaluation of performance-memory trade-offs in time warp<>tpds<>samir ranjan das<>
18951<>1553_24<>thomas ottmann:eljas soisalon-soininen<>relaxed balance for search trees with local rebalancing<>esa<>kim s. larsen<>
18952<>1553_25<>eljas soisalon-soininen:peter widmayer<>relaxed balance through standard rotations<>wads<>kim s. larsen<>
18965<>1553_38<>joan boyar:rolf fagerberg<>"amortization results for chromatic search trees, with an application to priority queues."<>jcss<>kim s. larsen<>
18974<>1554_6<>kare j. kristoffersen:francois laroussinie:paul pettersson:wang yi<>a compositional proof of a real-time mutual exclusion protocol<>tapsoft<>kim guldstrand larsen<>
18993<>1554_25<>fredrik larsson:paul pettersson:wang yi<>efficient verification of real-time systems: compact data structure and state-space reduction<>rtss<>kim guldstrand larsen<>
19007<>1554_39<>wang yi<>time-abstracted bisimulation: implicit specifications and decidability<>iandc<>kim guldstrand larsen<>
19033<>1554_65<>paul pettersson:wang yi<>uppaal in a nutshell<>sttt<>kim guldstrand larsen<>
19131<>1556_0<>jason cong:andrew b. kahng<>efficient heuristics for the minimum shortest path steiner arborescence problem with applications to vlsi physical design<>ispd<>kwok-shing leung<>
19138<>1558_2<>yonatan levy<>global mobility management by replicated databases in personal communication networks<>jsac<>kin k. leung<>
19088<>1563_7<>man leung wong<>evolutionary program induction directed by logic grammars<>ec<>kwong-sak leung<>
19103<>1563_22<>s. k. cheung:andreas alexander albrecht:c. k. wong<>optimal placements of flexible objects: an evolutionary programming approach<>icga<>kwong-sak leung<>
19112<>1563_31<>andreas alexander albrecht:s. k. cheung:k. c. hui:c. k. wong<>optimal placements of flexible objects: part i: analytical results for the unbounded case<>tc<>kwong-sak leung<>
19116<>1563_35<>han-bing ji:yee leung<>adaptive weighted outer-product learning associative memory<>tsmc<>kwong-sak leung<>
17957<>1587_1<>jorng-tzong horng:cheng-yan kao<>a continuous genetic algorithm for global optimization<>icga<>jinn-moon yang<>
32542<>1588_16<>lusheng wang:dan gusfield<>a more efficient approximation scheme for tree alignment<>recomb<>tao jiang<>
32547<>1592_0<>daniel p. fasulo:richard m. karp:reuben settergren:edward c. thayer<>an algorithmic approach to multiple complete digest mapping<>recomb<>tao jiang<>
10761<>1600_2<>alan l. cox:sandhya dwarkadas:willy zwaenepoel<>evaluating the performance of software distributed shared memory as a target for parallelizing compilers<>ipps<>honghui lu<>
10764<>1600_5<>sandhya dwarkadas:alan l. cox:willy zwaenepoel<>quantifying the performance differences between pvm and treadmarks<>jpdc<>honghui lu<>
37400<>1615_15<>guoan bi<>3-d ifs fractals as real-time graphics model<>cg<>yan qiu chen<>
13770<>1619_28<>nulo<>designing for increased software maintainability<>icsm<>jun han<>
13775<>1619_33<>hardeep singh<>increasing concurrency in object-oriented databases for software engineering environments<>dasfaa<>jun han<>
30503<>1627_2<>sanjeev khanna:steven skiena<>efficient array partitioning<>icalp<>s. muthukrishnan<>
30519<>1627_18<>nulo<>detecting false matches in string-matching algorithms<>algorithmica<>s. muthukrishnan<>
30528<>1627_27<>richa agarwala:serafim batzoglou:vlado dancik:scott e. decatur:sridhar hannenhalli:martin farach:steven skiena<>local rules for protein folding on a triangular lattice and generalized hydrophobicity in the hp model<>jcb<>s. muthukrishnan<>
30530<>1627_29<>richa agarwala:serafim batzoglou:vlado dancik:scott e. decatur:martin farach:sridhar hannenhalli:steven skiena<>local rules for protein folding on a triangular lattice and generalized hydrophobicity in the hp model<>recomb<>s. muthukrishnan<>
30562<>1627_61<>vlado dancik:sridhar hannenhalli<>hardness of flip-cut problems from optical mapping<>jcb<>s. muthukrishnan<>
30595<>1627_94<>martin farach<>optimal parallel randomized renaming<>ipl<>s. muthukrishnan<>
30600<>1627_99<>ralf diekmann:madhu v. nayakkankuppam<>engineering diffusive load balancing algorithms using experiments<>irregular<>s. muthukrishnan<>
30669<>1628_0<>bella bose<>all-to-all broadcasting in faulty hypercubes<>tc<>seungjin park<>
30677<>1628_8<>nulo<>fault-tolerant all-to-all broadcasting in hypercubes<>pdpta<>seungjin park<>
30695<>1637_4<>nicholas j. belkin:jose perez carballo:colleen cool:shin-jeng lin:soo young rieh:pamela a. savage-knepshield:c. sikora:h. xie:james allan<>rutgers' trec-6 interactive track experience<>trec<>soyeon park<>
23752<>1638_16<>karen zita haigh<>high-level planning and low-level execution: towards a complete robotic agent<>agents<>manuela m. veloso<>
23768<>1638_32<>karen zita haigh:jonathan richard shewchuk<>exploiting domain geometry in analogical route planning<>jetai<>manuela m. veloso<>
16081<>1642_0<>alok aggarwal:dina kravets:s. sen<>parallel searching in generalized monge arrays<>algorithmica<>james k. park<>
28635<>1669_1<>pao-ann hsiung:trong-yen lee<>object-oriented technology transfer to multiprocessor system-level synthesis<>tools<>sao-jie chen<>
6750<>1690_11<>husain ibraheem<>adapting big-step semantics to small-step style: coinductive interpretations and ``higher-order'' derivations<>entcs<>david a. schmidt<>
6683<>1691_17<>mohamed e. fayad<>lessons learned building reusable oo frameworks for distributed software<>cacm<>douglas c. schmidt<>
6706<>1691_40<>nulo<>using design patterns and frameworks to develop object-oriented communication systems<>tools<>douglas c. schmidt<>
6720<>1691_54<>nulo<>using design patterns and frameworks to develop object-oriented communication systems<>tools<>douglas c. schmidt<>
11225<>1705_7<>martial hebert:katsushi ikeuchi:raj reddy<>an integral approach to free-form object modeling<>pami<>heung-yeung shum<>
16980<>1706_1<>dallan quass:anand rajaraman:jennifer widom:yehoshua sagiv<>querying semistructured heterogeneous information<>jsi<>jeffrey d. ullman<>
16987<>1706_8<>sergey brin:rajeev motwani:shalom tsur<>dynamic itemset counting and implication rules for market basket data<>sigmod<>jeffrey d. ullman<>
16988<>1706_9<>himanshu gupta:venky harinarayan:anand rajaraman<>index selection for olap<>icde<>jeffrey d. ullman<>
16990<>1706_11<>hector garcia-molina:yannis papakonstantinou:dallan quass:anand rajaraman:yehoshua sagiv:vasilis vassalos:jennifer widom<>the tsimmis approach to mediation: data models and languages<>jiis<>jeffrey d. ullman<>
33657<>1707_4<>ju-wook jang:madhusudan nigam:sartaj sahni<>constant time algorithms for computational geometry on the reconfigurable mesh<>tpds<>viktor k. prasanna<>
33710<>1707_57<>young won lim:neungsoo park<>efficient algorithms for multi-dimensional block-cyclic redistribution of arrays<>icpp<>viktor k. prasanna<>
33712<>1707_59<>ju-wook jang:heonchul park<>an optimal multiplication algorithm on reconfigurable mesh<>tpds<>viktor k. prasanna<>
33726<>1707_73<>andreas dandalis<>fast parallel implementation of dft using configurable devices<>fpl<>viktor k. prasanna<>
23843<>1717_11<>kwong-sak leung<>evolutionary program induction directed by logic grammars<>ec<>man leung wong<>
14493<>1769_2<>samuel p. midkiff:david a. padua<>concurrent static single assignment form and constant propagation for explicitly parallel programs<>lcpc<>jaejin lee<>
41068<>1783_4<>luca de alfaro<>visual verification of reactive systems<>tacas<>zohar manna<>
41080<>1783_16<>luca de alfaro:arjun kapur<>hybrid diagrams: a deductive-algorithmic approach to hybrid system verification<>stacs<>zohar manna<>
41085<>1783_21<>nikolaj bjorner:anca browne<>automatic generation of invariants and intermediate assertions<>tcs<>zohar manna<>
41127<>1783_63<>bernd finkbeiner:henny sipma<>deductive verification of modular systems<>compos<>zohar manna<>
41129<>1783_65<>michael colon:bernd finkbeiner:henny sipma:tomas e. uribe<>abstraction and modular verification of infinite-state reactive systems<>rtse<>zohar manna<>
41134<>1783_70<>nikolaj bjorner:henny sipma:tomas e. uribe<>deductive verification of real-time systems using step<>arts<>zohar manna<>
8810<>1796_4<>shang-hua teng:william p. thurston:stephen a. vavasis<>separators for sphere-packings and nearest neighbor graphs<>jacm<>gary l. miller<>
8830<>1796_24<>keith d. gremban:shang-hua teng<>moments of inertia and graph separators<>jco<>gary l. miller<>
8861<>1796_55<>dafna talmor:shang-hua teng<>optimal good-aspect-ratio coarsening for unstructured meshes<>soda<>gary l. miller<>
27687<>1821_2<>p. greve:j. hoffman<>using type enforcement to assure a configurable guard<>acsac<>r. e. smith<>
27697<>1824_6<>mario wolczko:david ungar<>from kansas to oz<>cacm<>randall b. smith<>
37502<>1829_4<>an-ting tsao:chiou-shann fuh:yi-ping hung<>ego-motion estimation using optical flow fields observed from multiple cameras<>cvpr<>yong-sheng chen<>
11839<>1845_0<>thomas c. hudson:dinesh manocha:jonathan d. cohen:ming c. lin:kenneth e. hoff iii<>accelerated occlusion culling using shadow frusta<>compgeom<>hansong zhang<>
37452<>1854_6<>richard n. ferri:raghavan n. pratiwadi:lynn m. rivera:mohammed shakir:john j. snyder:d. w. thomas:glenn s. fowler:balachander krishnamurthy:kiem-phong vo<>software reuse metrics for an industrial project<>metrics<>yih-farn chen<>
37463<>1855_7<>jinn-moon yang:jorng-tzong horng:cheng-yan kao<>applying family competition to evolution strategies for constrained optimization<>eps<>ying-ping chen<>
38944<>1870_6<>howard j. karloff<>on construction of -wise independent random variables<>combinatorica<>yishay mansour<>
38967<>1870_29<>shai ben-david:eyal kushilevitz<>online learning versus offline learning<>ml<>yishay mansour<>
38971<>1870_33<>nader h. bshouty:baruch schieber:prasoon tiwari<>a tight bound for approximating the square root<>ipl<>yishay mansour<>
38977<>1870_39<>mariano schain<>learning with maximum-entropy distributions<>colt<>yishay mansour<>
38990<>1870_52<>eyal kushilevitz<>randomness in private computations<>siamdm<>yishay mansour<>
39030<>1870_92<>yoav freund<>learning under persistent drift<>eurocolt<>yishay mansour<>
39032<>1870_94<>yehuda afek:baruch awerbuch:eli gafni:adi rosen:nir shavit<>slide-the key to polynomial end-to-end communication<>jal<>yishay mansour<>
39059<>1870_121<>michael j. kearns:andrew y. ng<>an information-theoretic analysis of hard and soft assignment methods for clustering<>uai<>yishay mansour<>
39063<>1870_125<>michael j. kearns:andrew y. ng:dana ron<>an experimental and theoretical comparison of model selection methods<>ml<>yishay mansour<>
2931<>1896_1<>steve benford:dave snowdon:gail reynard:rob ingram<>"the populated web: browsing, searching and inhabiting the www using collaborative virtual environments."<>interact<>chris brown<>
32418<>1898_1<>kazuhisa makino:kojin yano<>positive and horn decomposability of partially defined boolean functions<>dam<>toshihide ibaraki<>
32419<>1898_2<>hiroshi nagamochi:kazuhiro nishimura<>computing all small cuts in an undirected network<>siamdm<>toshihide ibaraki<>
32421<>1898_4<>endre boros:peter l. hammer:alexander kogan<>logical analysis of numerical data<>mp<>toshihide ibaraki<>
32437<>1898_20<>endre boros:kazuhisa makino<>monotone extensions of boolean data sets<>alt<>toshihide ibaraki<>
32469<>1898_52<>thomas eiter:kazuhisa makino<>two-face horn extensions<>isaac<>toshihide ibaraki<>
32490<>1898_73<>xiaotie deng:hiroshi nagamochi<>combinatorial optimization games<>soda<>toshihide ibaraki<>
3541<>1907_13<>richard t. snodgrass:michael h. bohlen:andreas steiner<>transitioning temporal support in tsql2 to sql3<>dagstuhl<>christian s. jensen<>
3555<>1907_27<>james clifford:curtis e. dyreson:tomas isakowitz:richard t. snodgrass<>on the semantics of ``now'' in databases<>tods<>christian s. jensen<>
3601<>1907_73<>john bair:michael h. bohlen:richard t. snodgrass<>notions of upward compatibility of temporal query languages<>wi<>christian s. jensen<>
16408<>1934_11<>jitendra malik<>normalized cuts and image segmentation<>cvpr<>jianbo shi<>
3716<>1938_0<>franco orsucci:kimberly walter:alessandro giuliani:joseph p. zbilut<>orthographic structuring of human speech and texts: linguistic application of recurrence quantification analysis<>corr<>charles l. webber jr.<>
9465<>1943_0<>goos kant<>triangulating planar graphs while minimizing the maximum degree<>iandc<>hans l. bodlaender<>
9468<>1943_3<>babette de fluiter<>parallel algorithms for treewidth two<>wg<>hans l. bodlaender<>
9473<>1943_8<>koichi yamazaki:babette de fluiter:dimitrios m. thilikos<>isomorphism for graphs of bounded distance width<>ciac<>hans l. bodlaender<>
9475<>1943_10<>dimitrios m. thilikos<>treewidth for graphs with small chordality<>dam<>hans l. bodlaender<>
9478<>1943_13<>dimitrios m. thilikos<>constructive linear time algorithms for branchwidth<>icalp<>hans l. bodlaender<>
9480<>1943_15<>joost engelfriet<>domino treewidth<>jal<>hans l. bodlaender<>
9494<>1943_29<>jan van leeuwen:richard b. tan:dimitrios m. thilikos<>on interval routing schemes and treewidth<>iandc<>hans l. bodlaender<>
9496<>1943_31<>dimitrios m. thilikos:koichi yamazaki<>it is hard to know when greedy is good for finding independent sets<>ipl<>hans l. bodlaender<>
26321<>1945_10<>per-ake larson<>a fuzzy query optimization approach for multidatabase systems<>ijufks<>qiang zhu<>
34956<>1946_1<>xiaolin wu:jiang wen<>conditional entropy coding of vq indexes for image compression<>dcc<>wing hung wong<>
34875<>1954_0<>joseph robert horgan:aditya p. mathur:alberto pasquini<>test set size minimization and fault detection effectiveness: a case study in a space application<>compsac<>w. eric wong<>
34902<>1954_27<>j. a. morgan:george j. knafl<>predicting fault detection effectiveness<>metrics<>w. eric wong<>
34907<>1954_32<>mei-hwa chen:michael r. lyu<>incorporating code coverage in the reliability estimation for fault-tolerant software<>srds<>w. eric wong<>
31355<>1959_16<>edson caceres:frank k. h. a. dehne:afonso ferreira:paola flocchini:ingo rieping:alessandro roncato:nicola santoro<>efficient parallel graph algorithms for coarse grained multicomputers and bsp<>icalp<>siang w. song<>
31368<>1959_29<>mounir hamdi<>embedding hierarchical hypercube networks into the hypercube<>tpds<>siang w. song<>
9198<>1961_19<>david a. maluf<>abstraction of representation for interoperation<>ismis<>gio wiederhold<>
9200<>1961_21<>james ze wang:oscar firschein<>system for screening objectionable images using daubechies' wavelets and color histograms<>idms<>gio wiederhold<>
12002<>1964_15<>nulo<>multiplicativity of acyclic digraphs<>dm<>huishan zhou<>
12004<>1964_17<>xuding zhu<>multiplicativity of acyclic local tournaments<>combinatorica<>huishan zhou<>
11976<>1967_39<>d. f. wong<>an exact gate decomposition algorithm for low-power technology mapping<>iccad<>hai zhou<>
11979<>1967_42<>d. f. wong<>crosstalk-constrained maze routing based on lagrangian relaxation<>iccd<>hai zhou<>
8041<>1979_0<>igor s. pandzic:tolga k. capin:nadia magnenat-thalmann:daniel thalmann<>a flexible architecture for virtual humans in networked collaborative virtual environments<>cgf<>elwin lee<>
4668<>1995_14<>chin lung lu<>a linear-time algorithm for the weighted feedback vertex problem on interval graphs<>ipl<>chuan yi tang<>
4669<>1995_15<>william c. k. yen<>an optimal algorithm for solving the searchlight guarding problem on weighted interval graphs<>isci<>c. y. tang<>
27891<>1997_1<>nenad medvidovic<>a framework for classifying and comparing architecture description languages<>esec<>richard n. taylor<>
27894<>1997_4<>nenad medvidovic:peyman oreizy<>reuse of off-the-shelf components in c2-style architectures<>icse<>richard n. taylor<>
27916<>1997_26<>nenad medvidovic:peyman oreizy<>reuse of off-the-shelf components in c2-style architectures<>ssr<>richard n. taylor<>
27922<>1997_32<>arthur s. hitomi:gregory alan bolcer<>endeavors: a process system infrastructure<>icse<>richard n. taylor<>
4427<>2008_17<>lloyd g. williams<>performance engineering evaluation of object oriented systems with spe-ed<>cmg<>connie u. smith<>
4429<>2008_19<>lloyd g. williams<>a basic performance model interchange format<>cmg<>connie u. smith<>
9599<>2015_0<>bruno t. messmer<>recent advances in graph matching<>ijprai<>horst bunke<>
29494<>2020_25<>richard szeliski<>shape ambiguities in structure from motion<>pami<>sing bing kang<>
29503<>2020_34<>richard s. weiss<>characterization of errors in compositing panoramic images<>cvpr<>sing bing kang<>
29507<>2020_38<>richard szeliski:heung-yeung shum<>a parallel feature tracker for extended image sequences<>cviu<>sing bing kang<>
29508<>2020_39<>andrew edie johnson<>registration and integration of textured 3-d data<>3dim<>sing bing kang<>
27990<>2029_2<>thomas r. schneider<>underlying technical issues in electricity deregulation<>hicss<>robert j. thomas<>
27998<>2029_10<>eric sakk:ray zimmerman<>power system bidding tournaments for a deregulated environment<>hicss<>robert j. thomas<>
27947<>2031_2<>neil robertson:daniel p. sanders:paul d. seymour<>the four-colour theorem<>jct<>robin thomas<>
27960<>2031_15<>xingxing yu<>five-connected toroidal graphs are hamiltonian<>jct<>robin thomas<>
27983<>2031_38<>neil robertson:paul d. seymour<>tutte's edge-colouring conjecture<>jct<>robin thomas<>
39894<>2040_35<>chengzheng sun:yanchun zhang:xiaohua jia<>a generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems<>group<>yun yang<>
39831<>2041_8<>jan o. pedersen<>a comparative study on feature selection in text categorization<>icml<>yiming yang<>
39839<>2041_16<>jaime g. carbonell:robert e. frederking:ralf d. brown:yibing geng:danny lee<>translingual information retrieval: a comparative evaluation<>ijcai<>yiming yang<>
24455<>2083_11<>indradeep ghosh:anand raghunathan<>hierarchical test generation and design for testability of aspps and asips<>dac<>niraj k. jha<>
24467<>2083_23<>indradeep ghosh:sujit dey<>a low-overhead design for testability and test generation technique for core-based systems<>itc<>niraj k. jha<>
24470<>2083_26<>shalini yajnik<>analysis and randomized design of algorithm-based fault tolerant multiprocessor systems under an extended model<>tpds<>niraj k. jha<>
24475<>2083_31<>shalini yajnik<>graceful degradation in algorithm-based fault tolerant multiprocessor systems<>tpds<>niraj k. jha<>
24496<>2083_52<>anand raghunathan:sujit dey:kazutoshi wakabayashi<>power management techniques for control-flow intensive designs<>dac<>niraj k. jha<>
24505<>2083_61<>steven m. nowick:fu-chiung cheng<>synthesis of asynchronous circuits for stuck-at and robust path delay fault testability<>tcad<>niraj k. jha<>
24520<>2083_76<>ganesh lakshminarayana:kamal s. khouri<>wavesched: a novel scheduling technique for control-flow intensive behavioral descriptions<>iccad<>niraj k. jha<>
24561<>2083_117<>robert p. dick<>mogac: a multiobjective genetic algorithm for the co-synthesis of hardware-software embedded systems<>iccad<>niraj k. jha<>
24564<>2083_120<>bharat p. dave<>cofta: hardware-software co-synthesis of heterogeneous distributed embedded system architectures for low overhead fault tolerance<>ftcs<>niraj k. jha<>
24574<>2083_130<>indradeep ghosh:anand raghunathan<>design for hierarchical testability of rtl circuits obtained by behavioral synthesis<>tcad<>niraj k. jha<>
24590<>2083_146<>bharat p. dave:ganesh lakshminarayana<>cosyn: hardware-software co-synthesis of embedded systems<>dac<>niraj k. jha<>
14409<>2093_0<>kwang-choon kim<>multicriteria fuzzy control using evolutionary programming<>isci<>jong-hwan kim<>
14411<>2093_2<>hyun myung<>evolutionary programming techniques for constrained optimization problems<>tec<>jong-hwan kim<>
14425<>2100_0<>yongmin kim:chris basoglu:t. c. winter<>programmable ultrasound imaging using multimedia technologies: a next-generation ultrasound machine<>titb<>j. h. kim<>
41562<>2107_6<>peter che bor lam<>the vertex-face total chromatic number of halin graphs<>networks<>zhongfu zhang<>
40977<>2129_16<>mathai joseph<>formalizing real-time scheduling as program refinement<>arts<>zhiming liu<>
41582<>2140_1<>nulo<>parameter estimation techniques: a tutorial with application to conic fitting<>ivc<>zhengyou zhang<>
40929<>2152_3<>lucian finta<>complexity of task graph scheduling with fixed communication capacity<>ijfcs<>zhen liu<>
40935<>2152_9<>jean-claude bermond:michel syska<>mean eccentricities of de bruijn networks<>networks<>zhen liu<>
40938<>2152_12<>eric sanlaville<>stochastic scheduling with variable profile and precedence constraints<>siamcomp<>zhen liu<>
14298<>2164_0<>christopher w. humphres:christophe g. lambert:william t. rankin:abdulnour y. toukmaji<>ewald and multipole methods for periodic n-body problems<>ppsc<>john a. board jr.<>
14302<>2168_1<>wael m. elseaidy:rance cleaveland<>modeling and verifying active structural control systems<>scp<>john w. baugh jr.<>
31241<>2180_10<>angelo oddi<>stochastic procedures for generating feasible schedules<>aaai<>stephen f. smith<>
31262<>2180_31<>david w. hildum:norman m. sadeh:thomas j. laliberty:john mca'nulty:dag kjenstad<>blackboard agents for mixed-initiative management of integrated process-planning/production-scheduling solutions across the supply chain<>aaai<>stephen f. smith<>
41265<>2183_4<>george j. klir<>choquet integrals and natural extensions of lower probabilities<>ijar<>zhenyuan wang<>
41268<>2183_7<>jia wang<>using neural networks to determine sugeno measures by statistics<>nn<>zhenyuan wang<>
41269<>2183_8<>george j. klir<>pfb-integrals and pfa-integrals with respect to monotone set functions<>ijufks<>zhenyuan wang<>
40125<>2193_5<>norman y. foo<>towards generalized rule-based updates<>ijcai<>yan zhang<>
40133<>2193_13<>norman y. foo<>deriving invariants and constraints from action theories<>fuin<>yan zhang<>
40138<>2193_18<>norman y. foo:pavlos peppas<>inductive properties of states<>ausai<>yan zhang<>
40140<>2193_20<>norman y. foo<>answer sets for prioritized logic programs<>slp<>yan zhang<>
40189<>2200_1<>qing hu:xiaojun shen<>rearrangeable graphs<>cocoon<>yixin zhang<>
4289<>2226_5<>deba prasad mandal<>selection of alpha for alpha-hull in r<>pr<>c. a. murthy<>
4291<>2226_7<>nirmalya chowdhury<>minimal spanning tree based clustering technique: relationship with bayes classifier<>pr<>c. a. murthy<>
26806<>2237_0<>stan y. liao<>using a programming language for digital system design<>dt<>rajesh k. gupta<>
26838<>2239_2<>jayant r. haritsa:krithi ramamritham<>more optimism about real-time distributed commit processing<>rtss<>ramesh gupta<>
6983<>2267_5<>david terman<>image segmentation based on oscillatory correlation<>neco<>deliang l. wang<>
6989<>2267_11<>guy j. brown<>modelling the perceptual segregation of double vowels with a network of neural oscillators<>nn<>deliang l. wang<>
29879<>2273_1<>rong-huei hou:tzung-pei hong:shian-shyong tseng<>a new probabilistic induction method<>jar<>sy-yen kuo<>
27769<>2308_28<>giuseppe liotta:franco p. preparata<>robust proximity queries: an illustration of degree-driven algorithm design<>compgeom<>roberto tamassia<>
27784<>2308_43<>giuseppe liotta:ioannis g. tollis:paola vocca<>area requirement of gabriel drawings<>ciac<>roberto tamassia<>
27795<>2308_54<>robert f. cohen<>combine and conquer<>algorithmica<>roberto tamassia<>
27811<>2308_70<>gill barequet:stina s. bridgeman:christian a. duncan:michael t. goodrich<>classical computational geometry in geomnet<>compgeom<>roberto tamassia<>
27822<>2308_81<>emo welzl:giuseppe di battista:ashim garg:giuseppe liotta:emanuele tassinari:francesco vargiu<>an experimental comparison of four graph drawing algorithms<>comgeo<>roberto tamassia<>
27840<>2308_99<>goos kant:giuseppe liotta:ioannis g. tollis<>area requirement of visibility representations of trees<>ipl<>roberto tamassia<>
27853<>2308_112<>stina s. bridgeman:jody fanto:ashim garg:luca vismara<>interactivegiotto: an algorithm for interactive orthogonal graph drawing<>gd<>roberto tamassia<>
32026<>2317_11<>nulo<>deterministic algorithms for 2-d convex programming and 3-d online linear programming<>soda<>timothy m. chan<>
32035<>2317_20<>nulo<>approximate nearest neighbor queries revisited<>compgeom<>timothy m. chan<>
21358<>2326_0<>hui-i hsiao:philip s. yu<>on applying hash filters to improving the execution of multi-join queries<>vldb<>ming-syan chen<>
21389<>2326_31<>hui-i hsiao:philip s. yu<>parallel execution of hash joins in parallel databases<>tpds<>ming-syan chen<>
21409<>2326_51<>jong soo park:philip s. yu<>using a hash-based method with transaction trimming for mining association rules<>tkde<>ming-syan chen<>
21422<>2326_64<>jong soo park:philip s. yu<>mining association rules with adjustable accuracy<>cikm<>ming-syan chen<>
21425<>2326_67<>philip s. yu<>optimal design of multiple hash tables for concurrency control<>tkde<>ming-syan chen<>
26845<>2328_0<>daniel e. whitney:david zeltzer<>prototyping and design for assembly analysis using multimodal virtual environments<>cad<>rakesh gupta<>
23816<>2355_13<>nulo<>anytime belief revision<>ijcai<>mary-anne williams<>
23821<>2356_0<>nulo<>about this issue<>annals<>michael r. williams<>
23825<>2356_4<>nulo<>about this issue<>annals<>michael r. williams<>
23827<>2356_6<>nulo<>about this issue<>annals<>michael r. williams<>
23830<>2356_9<>nulo<>about this issue<>annals<>michael r. williams<>
17546<>2361_9<>eduardo b. fernandez:yingquiu luo<>embedding of binomial trees in hypercubes with link faults<>icpp<>jie wu<>
17562<>2361_25<>nulo<>reliable unicasting in faulty hypercubes using safety levels<>tc<>jie wu<>
17617<>2361_80<>nulo<>extended fibonacci cubes<>tpds<>jie wu<>
17639<>2361_102<>ke huang<>the balanced hypercube: a cube-based system for fault-tolerant applications<>tc<>jie wu<>
17680<>2361_143<>ke huang<>fault-tolerant resource placement in balanced hypercubes<>isci<>jie wu<>
1707<>2381_29<>nulo<>"improved approximations for edge-disjoint paths, unsplittable flow, and related routing problems."<>focs<>aravind srinivasan<>
1712<>2381_34<>noga alon<>improved parallel approximation of a class of integer programming problems<>algorithmica<>aravind srinivasan<>
1713<>2381_35<>peter auer:philip m. long<>approximating hyper-rectangles: learning and pseudo-random sets<>stoc<>aravind srinivasan<>
1717<>2381_39<>leslie ann goldberg:mike paterson:elizabeth sweedyk<>better approximation guarantees for job-shop scheduling<>soda<>aravind srinivasan<>
1738<>2381_60<>chung-piaw teo<>"a constant-factor approximation algorithm for packet routing, and balancing local vs. global criteria."<>stoc<>aravind srinivasan<>
1739<>2381_61<>alessandro panconesi<>randomized distributed edge coloring via an extension of the chernoff-hoeffding bounds<>siamcomp<>aravind srinivasan<>
1742<>2381_64<>p. s. giridharan<>mechanism design for intellectual property rights protection<>icis<>aravind srinivasan<>
1748<>2381_70<>nulo<>improving the discrepancy bound for sparse matrices: better approximations for sparse lattice approximation problems<>soda<>aravind srinivasan<>
1750<>2382_0<>athanassios s. poulakidas:omer egecioglu:oscar h. ibarra:tao yang<>a compact storage scheme for fast wavelet-based subregion retrieval<>cocoon<>ashok srinivasan<>
1763<>2383_1<>ross d. king:stephen muggleton:michael j. e. sternberg<>carcinogenesis predictions using ilp<>ilp<>ashwin srinivasan<>
1767<>2383_5<>ross d. king:stephen muggleton:michael j. e. sternberg<>the predictive toxicology evaluation challenge<>ijcai<>ashwin srinivasan<>
16057<>2396_1<>ming-syan chen:philip s. yu<>using a hash-based method with transaction trimming for mining association rules<>tkde<>jong soo park<>
16059<>2396_3<>philip s. yu:ming-syan chen<>mining association rules with adjustable accuracy<>cikm<>jong soo park<>
12829<>2399_9<>thomas c. hudson:ming c. lin:stefan gottschalk:dinesh manocha<>v-collide: accelerated collision detection for vrml<>vrml<>jonathan d. cohen<>
12831<>2399_11<>thomas c. hudson:dinesh manocha:ming c. lin:kenneth e. hoff iii:hansong zhang<>accelerated occlusion culling using shadow frusta<>compgeom<>jonathan d. cohen<>
12834<>2399_14<>dinesh manocha:marc olano<>simplifying polygonal models using successive mappings<>visualization<>jonathan d. cohen<>
39718<>2415_11<>edward c. uberbacher<>automated gene identification in large-scale genomic sequences<>jcb<>ying xu<>
27324<>2427_2<>tamas varady:jordan cox<>reverse engineering of geometric models - an introduction<>cad<>ralph r. martin<>
37661<>2433_10<>nulo<>categorical properties of logical frameworks<>mscs<>yuxi fu<>
21505<>2456_0<>liang-gee chen:ruei-xi chen<>error resilience for block loss with overlapped motion compensation<>icip<>mei-juan chen<>
13819<>2478_6<>hung-kuei ku<>systematic design of fault-tolerant multiprocessors with shared buses<>tc<>john p. hayes<>
13821<>2478_8<>hakan yalcin<>event propagation conditions in circuit delay computation<>todaes<>john p. hayes<>
12524<>2503_4<>richard m. keller:shawn wolfe:joshua l. rabinowitz:nathalie mathe<>a bookmarking service for organizing and sharing urls<>cn<>james r. chen<>
12419<>2522_19<>chi-chang chen<>optimal parallel routing in star networks<>tc<>jianer chen<>
12430<>2522_30<>chi-chang chen<>nearly optimal one-to-many parallel routing in star networks<>tpds<>jianer chen<>
12434<>2522_34<>liming cai<>on the amount of nondeterminism and the power of verifying<>siamcomp<>jianer chen<>
12449<>2522_49<>chi-chang chen<>nearly optimal one-to-many parallel routing in star networks<>ipps<>jianer chen<>
12455<>2522_55<>saroja p. kanchi:arkady kanevsky<>a note on approximating graph genus<>ipl<>jianer chen<>
12461<>2522_61<>liming cai:rodney g. downey:michael r. fellows<>advice classes of parameterized tractability<>apal<>jianer chen<>
12467<>2522_67<>nulo<>algorithmic graph embeddings<>tcs<>jianer chen<>
12491<>2522_91<>liming cai:johan hastad<>circuit bottom fan-in and computational power<>coco<>jianer chen<>
39425<>2537_8<>nulo<>np-hard sets are superterse unless np is small<>ipl<>yongge wang<>
39427<>2537_10<>peter hertling<>invariance properties of random sequences<>jucs<>yongge wang<>
39428<>2537_11<>nulo<>"randomness, stochasticity and approximations."<>random<>yongge wang<>
5325<>2544_15<>marjorie darrah:yi-ping liu<>cycles of all lengths in arc-3-cyclic semicomplete digraphs<>dm<>cun-quan zhang<>
39476<>2551_0<>alex waibel<>decoding algorithm in statistical machine translation<>acl<>ye-yi wang<>
26737<>2570_0<>mei-juan chen:liang-gee chen<>error resilience for block loss with overlapped motion compensation<>icip<>ruei-xi chen<>
26727<>2575_0<>hung-yi chang<>embedding cycles in ieh graphs<>ipl<>rong-jaye chen<>
33346<>2580_11<>owen kaser<>"a note on ""on the conversion of indirect to direct recursion""."<>toplas<>ting yu<>
26961<>2588_3<>m. siegler:michael j. witbrock:sean slattery:kristie seymore:alexander g. hauptmann<>experiments in spoken document retrieval at cmu<>trec<>r. e. jones<>
191<>2601_0<>montek singh:santanu chaudhury<>matching structural shape descriptions using genetic algorithms<>pr<>amitabha chatterjee<>
188<>2603_3<>pramodchandran n. variyam<>test generation for comprehensive testing of linear analog circuits using transient response sampling<>iccad<>abhijit chatterjee<>
190<>2603_5<>ramakrishna voorakaranam:sudip chakrabarti:junwei hou:alfred v. gomes:sasikumar cherubal:william h. kao<>hierarchical specification-driven analog fault modeling for efficient fault simulation and diagnosis<>itc<>abhijit chatterjee<>
37922<>2625_2<>yanpei liu<>maximum genus and maximum nonseparating independent set of a 3-regular graph<>dm<>yuangqiu huang<>
8146<>2633_0<>hector j. levesque:raymond reiter:yves lesperance:richard b. scherl<>golog: a logic programming language for dynamic domains<>jlp<>fangzhen lin<>
8147<>2634_0<>chuan-jun su:lan ye:colleen m. finney:vincent g. duffy<>industrial training using virtual reality<>hci<>fuhua lin<>
36791<>2659_0<>thomas wiegand:bernd girod<>motion-compensating long-term memory prediction<>icip<>x. zhang<>
1283<>2662_4<>thad starner:steve mann:bradley j. rhodes:jeffrey levine:jennifer healey:dana kirsch:rosalind w. picard<>augmented reality through wearable computing<>presence<>alex pentland<>
1285<>2662_6<>christopher richard wren:ali azarbayejani:trevor darrell<>pfinder: real-time tracking of the human body<>pami<>alex pentland<>
9384<>2675_8<>daniel rueckert:peter burger:s. m. forbat:raad mohiaddin<>automatic tracking of the aorta in cardiovascular mr images using deformable models<>tmi<>guang-zhong yang<>
9396<>2675_20<>david m. hansell<>ct image enhancement with wavelet analysis for the detection of small airways disease<>tmi<>guang-zhong yang<>
9404<>2675_28<>francois chabat:peter burger:david m. hansell<>a corner orientation detector<>bmvc<>guang-zhong yang<>
11615<>2676_1<>talmage james reid<>a longest cycle version of tutte's wheels theorem<>jct<>haidong wu<>
30979<>2683_11<>simon thomas<>the cofinality spectrum of the infinite symmetric group<>jsyml<>saharon shelah<>
30986<>2683_18<>renling jin<>can a small forcing create kurepa trees<>apal<>saharon shelah<>
31059<>2683_91<>andrzej roslanowski<>simple forcing notions and forcing axioms<>jsyml<>saharon shelah<>
23858<>2684_1<>michael fisher<>on the formal specification and verification of multi-agent systems<>ijcis<>michael wooldridge<>
23899<>2684_42<>mark d'inverno:michael luck<>cooperation structures<>ijcai<>michael wooldridge<>
23909<>2684_52<>mark d'inverno:david kinny:michael luck<>a formal specification of dmars<>atal<>michael wooldridge<>
23937<>2684_80<>nulo<>agent-based software engineering<>iee<>michael wooldridge<>
23960<>2684_103<>michael fisher<>distributed problem-solving as concurrent theorem proving<>maamaw<>michael wooldridge<>
36797<>2697_3<>yong yan:canming jin<>adaptively scheduling parallel loops in distributed shared-memory systems<>tpds<>xiaodong zhang<>
36807<>2697_13<>xing du<>coordinating parallel processes on networks of workstations<>jpdc<>xiaodong zhang<>
3071<>2708_6<>g. p. jin:k. m. koh<>triangle-free graphs with large degree<>cpc<>c. c. chen<>
3044<>2709_21<>nulo<>tracking latent domain structures: an integration of pathfinder and latent semantic analysis<>ais<>chaomei chen<>
3052<>2709_29<>mary czerwinski<>spatial ability and visual navigation: an empirical study<>nrhm<>chaomei chen<>
8897<>2734_13<>lech polkowski:andrzej skowron<>rough set approximations of languages<>fuin<>gheorghe paun<>
8949<>2734_65<>gabriel thierrin<>morphisms and primitivity<>eatcs<>gheorghe paun<>
8982<>2734_98<>nulo<>controlled h systems and chomsky hierarchy<>fuin<>gheorghe paun<>
8983<>2734_99<>sorina dumitrescu:arto salomaa<>pattern languages versus parallel communicating grammar systems<>ijfcs<>gheorghe paun<>
7209<>2747_23<>nulo<>an algorithm for finding a maximum clique in a graph<>orl<>david r. wood<>
7164<>2750_11<>alvin r. lebeck<>active memory: a new abstraction for memory system simulation<>tomacs<>david a. wood<>
7175<>2750_22<>babak falsafi<>modeling cost/performance of a parallel computer simulator<>tomacs<>david a. wood<>
39752<>2769_2<>cao an wang:francis y. l. chin<>a new subgraph of minimum weight triangulations<>jco<>yin-feng xu<>
31140<>2773_34<>david cohn<>how to dynamically merge markov decision processes<>nips<>satinder p. singh<>
10532<>2784_0<>h. b. gatland:a. w. green<>fuzzy variable structure control<>tsmc<>h. x. li<>
3112<>2792_2<>chin-chen chang:gerard j. chang<>proper interval graphs and the guard problem<>dm<>chiuyuan chen<>
3121<>2815_0<>jianer chen<>nearly optimal one-to-many parallel routing in star networks<>tpds<>chi-chang chen<>
3123<>2815_2<>jianer chen<>optimal parallel routing in star networks<>tc<>chi-chang chen<>
3124<>2815_3<>jianer chen<>nearly optimal one-to-many parallel routing in star networks<>ipps<>chi-chang chen<>
32383<>2818_0<>chi main luong<>using case-based reasoning in interpreting unsupervised inductive learning results<>ijcai<>tu bao ho<>
3139<>2826_0<>g. g. lee<>on digital mammogram segmentation and microcalcification detection using multiresolution wavelet analysis<>cvgip<>c. h. chen<>
33643<>2832_0<>eui-hong han:george karypis:bamshad mobasher<>clustering based on association rule hypergraphs<>dmkd<>vipin kumar<>
34040<>2837_4<>nulo<>on the number of zero sum subsequences<>dm<>weidong gao<>
34044<>2837_8<>nulo<>addition theorems and group rings<>jct<>weidong gao<>
34045<>2837_9<>nulo<>an addition theorem for finite cyclic groups<>dm<>weidong gao<>
28062<>2842_0<>fazel famili:wei-min shen:evangelos simoudis<>data preprocessing and intelligent data analysis<>ida<>richard weber<>
6165<>2853_4<>b. s. krongold:kannan ramchandran<>frequency-shift-invariant orthonormal wavelet packet representations<>icip<>douglas l. jones<>
21845<>2854_7<>nulo<>features as resources in r-lfg<>corr<>mark johnson<>
21846<>2854_8<>nulo<>type-driven semantic interpretation and feature dependencies in r-lfg<>corr<>mark johnson<>
21861<>2854_23<>nulo<>proof nets and the complexity of processing center-embedded constructions<>corr<>mark johnson<>
4941<>2857_3<>nulo<>artificial neural networks for molecular sequence analysis<>candc<>cathy h. wu<>
4955<>2857_17<>hsi-lien chen:sheng-chih chen<>counter-propagation neural networks for molecular sequence classification: supervised lvq and dynamic node allocation<>apin<>cathy h. wu<>
4978<>2867_5<>ed dawson<>construction of correlation immune boolean functions<>icics<>chuan-kun wu<>
38073<>2869_1<>ester jinee choi<>an efficient method for version control of a tree data structure<>spe<>yong rae kwon<>
38081<>2869_9<>hyoung seok hong:sung deok cha<>on the concurrent behaviour of scr specifications<>compsac<>yong rae kwon<>
38082<>2869_10<>gwang sik yoon:sung deok cha:chan hyung yoo<>detecting common mode failures in n-version software using weakest precondition analysis<>apsec<>yong rae kwon<>
28053<>2871_4<>edward g. coffman jr.:david s. johnson:peter w. shor<>"bin packing with discrete item sizes, part ii: tight bounds on first fit."<>rsa<>richard r. weber<>
36678<>2895_0<>xiaoge wang<>datis: a data transfer interface for spmd programs of scientific computing<>ppsc<>xiang yu<>
36652<>2900_13<>robin thomas<>five-connected toroidal graphs are hamiltonian<>jct<>xingxing yu<>
26232<>2902_17<>hong wang:tong sun<>minimizing area cost of on-chip cache memories by caching address tags<>tc<>qing yang<>
26162<>2903_64<>kirsti racine<>maintaining unstructured case base<>iccbr<>qiang yang<>
26198<>2903_100<>eugene fink<>automatically selecting and using primary effects in planning: theory and experiments<>ai<>qiang yang<>
26254<>2909_2<>son dao:clement t. yu:naphtali rishe<>a parallel scheme using the divide-and-conquer method<>dpd<>qi yang<>
26251<>2911_0<>rainer e. burkard:eranda cela:gerhard j. woeginger<>hamiltonian cycles in circulant digraphs with two stripes<>dm<>qi fan yang<>
10506<>2937_0<>hajo broersma:jianping li:feng tian:henk jan veldman<>cycles through subsets with large degree sums<>dm<>hao li<>
967<>2948_9<>rajeev shorey:kiran m. rege<>instability and performance limits of distributed simulators of feedforward queueing networks<>tomacs<>anurag kumar<>
8127<>2968_2<>rynson w. h. lau:mark green<>interactive rendering of deforming nurbs surfaces<>cgf<>frederick w. b. li<>
32920<>2983_2<>martin l. brady:kenneth k. jung:h. t. nguyen<>two-phase perspective ray casting for interactive volume navigation<>visualization<>thinh p. q. nguyen<>
29995<>3008_0<>hyeong-ah choi<>link-disjoint embedding of complete binary trees in meshes<>networks<>sang kyu lee<>
29997<>3008_2<>a. duksu oh:hongsik choi:hyeong-ah choi<>optimal transmission schedules in twdm optical passive star networks<>dam<>sang kyu lee<>
39213<>3033_0<>nulo<>stochastic iterative algorithms for signal set design for gaussian channels and optimality of the l2 signal set<>tit<>yi sun<>
19522<>3044_3<>robin kravets:kenneth l. calvert:p. krishnan<>adaptive variation of reliability<>hpn<>karsten schwan<>
19552<>3044_33<>marcel-catalin rosu:richard fujimoto<>supporting parallel applications on clusters of workstations: the intelligent network interface approach<>hpdc<>karsten schwan<>
19561<>3044_42<>richard west:ivan tacic:mustaque ahamad<>exploiting temporal and spatial constraints on distributed shared objects<>icdcs<>karsten schwan<>
19579<>3044_60<>greg eisenhauer:weiming gu:eileen kraemer:john t. stasko<>online displays of parallel programs: problems and solutions<>pdpta<>karsten schwan<>
19587<>3044_68<>jeffrey s. vetter<>high performance computational steering of physical simulations<>ipps<>karsten schwan<>
19607<>3044_88<>beth a. schroeder:sudhir aggarwal<>software approach to hazard detection using on-line analysis of safety constraints<>srds<>karsten schwan<>
13515<>3046_9<>adam j. grove<>probability update: conditioning vs. cross-entropy<>uai<>joseph y. halpern<>
13525<>3046_19<>urszula chajewska<>defining explanation in probabilistic systems<>uai<>joseph y. halpern<>
13592<>3047_66<>nulo<>a theory of knowledge and ignorance for many agents<>logcom<>joseph y. halpern<>
13629<>3047_103<>ronald fagin:yoram moses:moshe y. vardi<>knowledge-based programs<>dc<>joseph y. halpern<>
13635<>3047_109<>nulo<>"a critical reexamination of default logic, autoepistemic logic, and only knowing."<>ci<>joseph y. halpern<>
13645<>3047_119<>nulo<>using multi-agent systems to represent uncertainty (invited talk)<>scai<>joseph y. halpern<>
13719<>3047_193<>nulo<>defining relative likelihood in partially-ordered preferential structures<>corr<>joseph y. halpern<>
13736<>3047_210<>nir friedman<>"modeling belief in dynamic systems, part i: foundations."<>ai<>joseph y. halpern<>
29929<>3048_0<>george wolberg:sung yong shin<>scattered data interpolation with multilevel b-splines<>tvcg<>seungyong lee<>
29958<>3049_3<>m. c. kong:hugo s. h. sun<>on magic strength of graph<>arscom<>sin-min lee<>
14941<>3059_2<>sanjoy paul:krishan k. sabnani:supratik bhattacharyya<>reliable multicast transport protocol (rmtp)<>jsac<>john c.-h. lin<>
29392<>3060_15<>patrick m. sansom<>formally based profiling for higher-order functional languages<>toplas<>simon l. peyton jones<>
29406<>3060_29<>thomas nordin:dino oliva<>c-: a portable assembly language<>ifl<>simon l. peyton jones<>
25547<>3079_0<>soon ang:sandra slaughter<>turning over versus turning away of information systems professionals<>icis<>patrick c. b. lee<>
29046<>3082_0<>fikri karaesmen<>duality relations for queues with arrival and service control<>cor<>surendra m. gupta<>
34084<>3115_1<>nulo<>probabilistic learning in bayesian and stochastic neural networks<>aaai<>william h. hsu<>
1807<>3119_2<>noam nisan<>lower bounds on arithmetic circuits via partial derivatives<>cc<>avi wigderson<>
34051<>3121_1<>jih-kwon peir<>fast cache access with full-map block directory<>iccd<>windsor w. hsu<>
5960<>3126_2<>koon-pong wong:chi-ming wu:wan-chi siu<>a technique for extracting physiological parameters and the required input function simultaneously from pet image measurements: theory and simulation study<>titb<>david dagan feng<>
8030<>3137_1<>john e. mitchell<>computational experience of an interior-point algorithm in a parallel branch-and-cut framework<>ppsc<>eva k. lee<>
36253<>3142_0<>david m. nicol<>the dark side of risk (what your mother never told you about time warp)<>pads<>x. liu<>
6812<>3166_2<>marcus brazil:j. h. rubinstein:j. f. weng:nicholas c. wormald<>minimal steiner trees for rectangular arrays of lattice points<>jct<>d. a. thomas<>
6815<>3166_5<>marcus brazil:j. h. rubinstein:j. f. weng:nicholas c. wormald<>full minimal steiner trees on lattice sets<>jct<>d. a. thomas<>
3864<>3170_0<>fillmore freeman:warren j. hehre:henry n. po<>"ab initio molecular orbital calculations of 3, 4-dihydro-1, 2-dioxin, 3, 6-dihydro-1, 2-dioxin, 4h-1, 3-dioxin (1, 3-diox-4-ene), and 2, 3-dihydro-1, 4-dioxin (1, 4-dioxene)."<>jcc<>choonsun lee<>
3872<>3174_0<>paul fitzpatrick:bob warfield<>teletraffic performance of mobile radio networks with hierarchical cells and overflow<>jsac<>cheng siong lee<>
3877<>3177_1<>derek j. devries<>initial results on the performance and cost of vector microprocessors<>micro<>corinna g. lee<>
5411<>3189_35<>sekhar darbha<>a task duplication based scalable scheduling algorithm for distributed memory systems<>jpdc<>dharma p. agrawal<>
5439<>3189_63<>hyunmin park<>efficient deadlock-free wormhole routing and virtual-channel reduction in shuffle-based networks<>jpdc<>dharma p. agrawal<>
4345<>3195_26<>mihalis yannakakis<>on the complexity of database queries<>pods<>christos h. papadimitriou<>
4354<>3195_35<>nulo<>np-completeness: a retrospective<>icalp<>christos h. papadimitriou<>
3839<>3208_0<>ing-ray chen:tsong-min chen<>performance characterization of forwarding strategies in personal communication networks<>compsac<>chiang lee<>
3841<>3208_2<>chi-sheng shih:yaw-huei chen<>a graph-theoretic model for optimizing large join queries<>dasfaa<>chiang lee<>
3848<>3208_9<>chia-jung chen<>query optimization in multidatabase systems considering schema conflicts<>tkde<>chiang lee<>
3856<>3208_17<>yaw-huei chen:arthur j. t. chang<>object signatures for supporting efficient navigation in object-oriented databases<>dexaw<>chiang lee<>
39110<>3230_5<>c. h. c. little:k. l. teo:h. wang<>chromatic equivalence classes of certain generalized polygon trees<>dm<>yee-hock peng<>
36248<>3279_0<>danny h. k. tsang:liming liu:brahim bensaou<>tight upper bounds for cell loss probabilities in atm multiplexers and required bandwidth estimation<>icccn<>xiaoming liu<>
14810<>3292_2<>hajo broersma:hao li:feng tian:henk jan veldman<>cycles through subsets with large degree sums<>dm<>jianping li<>
36200<>3299_1<>nulo<>lower bounds of length of longest cycles in graphs involving neighborhood unions<>dm<>xin liu<>
8642<>3322_0<>sun-yuan hsieh:chin-wen ho<>parallel decomposition of generalized series-parallel graphs<>pdpta<>gen-huey chen<>
27009<>3351_0<>john heinlein:kourosh gharachorloo:mendel rosenblum:anoop gupta<>coherent block data transfer in the flash multiprocessor<>ipps<>robert p. bosch jr.<>
35702<>3366_6<>w. su<>triple loop networks with minimal transmission delay<>ijfcs<>x. jia<>
35713<>3371_6<>nulo<>a pragmatic approach to formalizing object-oriented modeling and development<>compsac<>xiaoping jia<>
38280<>3393_2<>wanming chu<>parallel-array implementations of a non-restoring square root algorithm<>iccd<>yamin li<>
38281<>3393_3<>wanming chu<>implementation of single precision floating point square root on fpgas<>fccm<>yamin li<>
16240<>3396_8<>barry g. t. lowden<>data analysis for query processing<>ida<>jerome robinson<>
1139<>3411_0<>krzysztof diks<>globally optimal diagnosis in systems with random faults<>tc<>andrzej pelc<>
1152<>3411_13<>petrisor panaite<>universally fault-tolerant broadcasting in trees<>icpads<>andrzej pelc<>
1204<>3411_65<>krzysztof diks:andrzej lingas<>an optimal algorithm for broadcasting multiple messages in trees<>sirocco<>andrzej pelc<>
1207<>3411_68<>bogdan s. chlebus:krzysztof diks<>transition-optimal token distribution<>fuin<>andrzej pelc<>
1230<>3411_91<>leszek gasieniec<>broadcasting with a bounded fraction of faulty nodes<>jpdc<>andrzej pelc<>
1233<>3411_94<>piotr berman:krzysztof diks<>reliable broadcasting in logarithmic time with byzantine link failures<>jal<>andrzej pelc<>
1251<>3411_112<>evangelos kranakis:danny krizanc<>hop-congestion trade-offs for high-speed networks<>ijfcs<>andrzej pelc<>
9779<>3415_1<>nulo<>multimedia information systems<>hicss<>hong-mei chen<>
27267<>3419_0<>nulo<>approximation algorithms<>ispan<>richard c. t. lee<>
9754<>3421_1<>offer kella:gideon weiss<>fluid approximations for a processor-sharing queue<>questa<>hong chen<>
16670<>3428_3<>marc j. van kreveld<>linear-time reconstruction of delaunay triangulations with applications<>esa<>jack snoeyink<>
27417<>3432_0<>yuping yang<>association rules over interval data<>sigmod<>renee j. miller<>
1994<>3437_1<>yong zhou:arie e. kaufman<>multiresolution tetrahedral framework for visualizing regular volume data<>visualization<>baoquan chen<>
27396<>3440_3<>nulo<>a heuristic approach to the multiple diagnoses problem<>aime<>randolph a. miller<>
61<>3448_14<>pietro pala<>visual image retrieval by elastic matching of user sketches<>pami<>alberto del bimbo<>
71<>3448_24<>carlo colombo<>interacting through eyes<>ras<>alberto del bimbo<>
92<>3448_45<>mauro mugnaini:pietro pala:f. turco:l. verzucoli<>image retrieval by color regions<>iciap<>alberto del bimbo<>
152<>3448_105<>jacopo m. corridoni:mauro mugnaini:pietro pala:f. turco<>pyramidal retrieval by color perceptive regions<>vl<>alberto del bimbo<>
16704<>3449_18<>x. cheng:ron dolin:m. neary:sunil prabhakar:kothuri venkata ravi kanth:daniel wu:divyakant agrawal:amr el abbadi:michael freeston:ambuj k. singh:terence r. smith<>scalable access within the context of digital libraries<>jodl<>jianwen su<>
16716<>3449_30<>stephane grumbach<>queries with arithmetical constraints<>tcs<>jianwen su<>
16724<>3449_38<>stephane grumbach<>finitely representable databases<>jcss<>jianwen su<>
16734<>3449_48<>nulo<>dynamic constraints and object migration<>tcs<>jianwen su<>
16741<>3449_55<>x. cheng:ron dolin:m. neary:sunil prabhakar:kothuri venkata ravi kanth:daniel wu:divyakant agrawal:amr el abbadi:michael freeston:ambuj k. singh:terence r. smith<>scalable access within the context of digital libraries<>adl<>jianwen su<>
16745<>3449_59<>guozhu dong<>deterministic foies are strictly weaker<>amai<>jianwen su<>
16751<>3450_0<>daniel manchala<>building trust for distributed commerce transactions<>icdcs<>jiawen su<>
27389<>3469_5<>antonis c. kakas<>a simple declarative language for describing narratives with actions<>jlp<>rob miller<>
1031<>3475_0<>andreas girgensohn<>seamless integration of interactive forms into the web<>cn<>alison lee<>
1026<>3493_0<>chris maeda:gail c. murphy:gregor kiczales<>open implementation analysis and design<>ssr<>arthur lee<>
1006<>3495_3<>andreas girgensohn<>"developing collaborative applications using the world wide web ""shell""."<>chi<>alison lee<>
1007<>3495_4<>kevin schlueter:andreas girgensohn<>sensing activity in video images<>chi<>alison lee<>
1011<>3495_8<>andreas girgensohn:kevin schlueter<>nynex portholes: initial user reactions and redesign implications<>group<>alison lee<>
26696<>3504_2<>richard beigel<>commutative queries<>istcs<>richard chang<>
26702<>3504_8<>william i. gasarch:carsten lund<>on bounded queries and approximation<>siamcomp<>richard chang<>
35486<>3514_0<>steven j. gortler:michael f. cohen<>polyhedral geometry and the two-plane parameterization<>rt<>xianfeng gu<>
18037<>3526_6<>xianchang wang:li-yan yuan<>on confluence property of active databases with meta-rules<>rules<>jia-huai you<>
18041<>3526_10<>li-yan yuan:randy goebel<>an abductive semantics for disjunctive logic programs and its proof procedure<>fsttcs<>jia-huai you<>
18057<>3526_26<>xianchang wang:li-yan yuan<>disjunctive logic programming as constrained inferences<>iclp<>jia-huai you<>
10677<>3535_0<>jinghua wang<>decay rate for perturbations of stationary discrete shocks for convex scalar conservation laws<>moc<>hailiang liu<>
10691<>3538_0<>ke wang<>schema discovery for semistructured data<>kdd<>huiqing liu<>
12212<>3567_2<>nulo<>the ribonuclease p database<>nar<>james w. brown<>
9060<>3575_9<>andrzej ehrenfeucht:tero harju<>2-structures - a framework for decomposition and transformation of graphs<>gg<>grzegorz rozenberg<>
22400<>3590_0<>paul m. b. vitanyi<>reversibility and adiabatic computation: trading time and space for energy<>corr<>ming li<>
22404<>3590_4<>paul m. b. vitanyi<>average-case analysis via incompressibility<>fct<>ming li<>
22410<>3590_10<>john d. kececioglu:john tromp<>inferring a dna sequence from erroneous copies<>tcs<>ming li<>
22412<>3590_12<>paul m. b. vitanyi<>on prediction by data compression<>ecml<>ming li<>
29128<>3597_7<>shu-chin su chen:mike yu:yen-yao yao:b. paul lin<>vdbms: a solution to integrating heterogeneous data sources<>jise<>san-yih hwang<>
33760<>3608_10<>david guijarro:victor lavin<>learning monotone term decision lists<>eurocolt<>vijay raghavan<>
33747<>3610_4<>venkat n. gudivada:william i. grosky:rajesh kasanagottu<>information retrieval on the world wide web<>internet<>vijay v. raghavan<>
16608<>3617_3<>william a. arbaugh:david j. farber<>a secure and reliable bootstrap architecture<>sp<>jonathan m. smith<>
16591<>3619_0<>nulo<>on synchronisation in fault-tolerant data and compute intensive programs over a network of workstations<>europar<>jim smith<>
16597<>3619_6<>santosh k. shrivastava<>fault-tolerant parallel applications using queues and actions<>icpp<>j. a. smith<>
37178<>3654_0<>alex s. fukunaga:andrew b. kahng<>cooperative mobile robotics: antecedents and directions<>arobots<>y. uny cao<>
16510<>3656_1<>shih-fu chang:mandis beigi:ana b. benitez<>visual information retrieval from large distributed online repositories<>cacm<>john r. smith<>
16511<>3656_2<>shih-fu chang<>joint adaptive space and frequency basis selection<>icip<>john r. smith<>
16513<>3656_4<>shih-fu chang:horace j. meng<>exploring image functionalities in www applications- development of image/video search and editing engines<>icip<>john r. smith<>
16523<>3656_14<>shih-fu chang<>visually searching the web for content<>ieeemm<>john r. smith<>
16545<>3656_36<>alfred v. aho:shih-fu chang:kathleen mckeown:dragomir r. radev:kazi a. zaman<>columbia digital news system an environment for briefing and search over multimedia information<>adl<>john r. smith<>
16550<>3656_41<>shih-fu chang<>image and video search engine for the world wide web<>spieSR<>john r. smith<>
16566<>3662_0<>terence c. fogarty<>operator and parameter adaptation in genetic algorithms<>soco<>jim smith<>
32147<>3670_2<>fun ting chan:jeng kei mak:shir ming shen<>on some properties of the optimally refined proportional sampling strategy<>cj<>tsong yueh chen<>
32152<>3670_7<>p. l. poon<>construction of classification trees via the classification-hierarchy table<>infsof<>t. y. chen<>
32153<>3670_8<>f. t. chan:t. h. tse<>on the effectiveness of test case allocation schemes in partition testing<>infsof<>t. y. chen<>
32154<>3670_9<>man fai lau<>two test data selection strategies towards testing of boolean specifications<>compsac<>tsong yueh chen<>
25949<>3686_1<>motonori doi:kosuke sato:kunihiro chihara<>lock-control system using face identification<>avbpa<>qian chen<>
34134<>3708_1<>dulte j. de barros:emilio c. g. wille<>a new approach to the information set decoding algorithm<>comcom<>walter godoy jr.<>
33209<>3712_6<>yachyang sun:chak-kuen wong:c. l. liu<>routing for symmetric fpgas and fpics<>tcad<>ting-chi wang<>
8435<>3716_11<>pao-ann hsiung<>parametric analysis of computer systems<>amast<>farn wang<>
8449<>3718_2<>nulo<>a temporal logic for real-time partial ordering with named transactions<>tcs<>farn wang<>
36760<>3726_1<>mita d. desai<>wavelet based automatic thresholding for image segmentation<>icip<>xiao-ping zhang<>
36770<>3726_11<>zhong-yu chen:mita d. desai<>feedforward neural networks with multilevel hidden neurons for remotely sensed image classification<>icip<>xiao-ping zhang<>
33223<>3759_9<>phillip c.-y. sheu<>an object-oriented approach to visual database<>ictai<>taehyung wang<>
8387<>3771_2<>gianfranco bilardi<>"processor-time tradeoffs under bounded-speed message propagation: part i, upper bounds."<>mst<>franco p. preparata<>
8262<>3772_1<>giuseppe liotta:roberto tamassia<>robust proximity queries: an illustration of degree-driven algorithm design<>compgeom<>franco p. preparata<>
8269<>3772_8<>francis avnaim:jean-daniel boissonnat:olivier devillers:mariette yvinec<>evaluating signs of determinants using single-precision arithmetic<>algorithmica<>franco p. preparata<>
8372<>3772_111<>andrea pietracaprina<>practical constructive schemes for deterministic shared-memory access<>mst<>franco p. preparata<>
2898<>3780_4<>peter ohm:heinz muhlenbein<>evolutionary induction of sparse neural trees<>ec<>byoung-tak zhang<>
32559<>3781_4<>shin'ichi satoh<>name-it: association of face and name in video<>cvpr<>takeo kanade<>
32592<>3781_37<>conrad j. poelman<>a paraperspective factorization method for shape and motion recovery<>pami<>takeo kanade<>
39902<>3796_2<>xiaohui lin:minghua zhu:zhengguo yu:chengxue zhang<>on distinct distance sets in a graph<>dm<>yuansheng yang<>
16934<>3812_9<>joel troster:joe palma<>"tool support for software measurement, analysis and improvement."<>jss<>jeff tian<>
16938<>3812_13<>joe palma<>test workload measurement and reliability analysis for large commercial software systems<>ansoft<>jeff tian<>
39920<>3815_0<>renee j. miller<>association rules over interval data<>sigmod<>yuping yang<>
39933<>3823_1<>nikolas p. galatsanos<>removal of compression artifacts using projections onto convex sets and line process modeling<>tip<>yongyi yang<>
14320<>3827_2<>mary f. fernandez:daniela florescu:alon y. levy:dan suciu<>strudel: a web-site management system<>sigmod<>jaewoo kang<>
13274<>3833_6<>jan treur<>a compositional reasoning system for executing nonmonotonic theories of reasoning<>ecsqaru<>joeri engelfriet<>
1425<>3834_0<>lawrence cavedon:liz sonenberg:gil tidhar<>teamwork via team plans in intelligent autonomous agent systems<>wwca<>anand s. rao<>
27555<>3877_4<>nulo<>interactive information visualization<>sebd<>raghu ramakrishnan<>
18825<>3881_0<>jong-hwan kim<>multicriteria fuzzy control using evolutionary programming<>isci<>kwang-choon kim<>
6134<>3888_3<>thomas v. thompson ii:elaine cohen<>direct haptic rendering of sculptured models<>si3d<>david e. johnson<>
6086<>3890_23<>cliff young:david r. karger:michael d. smith<>near-optimal intraprocedural branch alignment<>pldi<>david s. johnson<>
6088<>3890_25<>edward g. coffman jr.:peter w. shor:richard r. weber<>"bin packing with discrete item sizes, part ii: tight bounds on first fit."<>rsa<>david s. johnson<>
38182<>3893_4<>kyoung jong park:yun bae kim<>single run optimization using the reverse-simulation method<>wsc<>young hae lee<>
38155<>3894_20<>kyungshik lim:young-hwan lim<>virtual cell in mobile computer communications<>comcom<>yann-hang lee<>
38204<>3903_17<>chang-sup park:myoung-ho kim<>a replica control method for improving availability for read-only transactions<>ideas<>yoon-joon lee<>
38205<>3903_18<>tae-young kwak:myoung-ho kim<>a per-object based hybrid concurrency control<>dexaw<>yoon-joon lee<>
16858<>3905_3<>mark k. gardner:jane w.-s. liu<>"bounding completion times of jobs with arbitrary release times, variable execution times and resource sharing."<>tse<>jun sun<>
22577<>3929_6<>sarang c. joshi:ulf grenander<>on the geometry and shape of brain sub-manifolds<>ijprai<>michael i. miller<>
22588<>3929_17<>gary e. christensen:sarang c. joshi<>volumetric transformation of brain anatomy<>tmi<>michael i. miller<>
19236<>3930_12<>vikrant kobla:david s. doermann:christos faloutsos<>compressed-domain video indexing techniques using dct and motion vector information in mpeg video<>spieSR<>king-ip lin<>
19271<>3944_30<>shun-shii lin<>a pinwheel scheduler for three distinct numbers with a tight schedulability bound<>algorithmica<>kwei-jay lin<>
32704<>3951_2<>mark berman<>nonparametric estimation and simulation of two-dimensional gaussian image textures<>cvgip<>thomas c. m. lee<>
32709<>3951_7<>nulo<>segmenting images corrupted by correlated noise<>icip<>t. c. m. lee<>
32716<>3954_1<>stephane bressan<>information brokering on the world wide web<>webnet<>thomas lee<>
32700<>3958_3<>bert-uwe koehler:reinhold orglmeister<>improving the performance of infomax using statistical signal processing techniques<>icann<>te-won lee<>
35774<>3970_31<>nulo<>hexagonal systems with forcing single edges<>dam<>xueliang li<>
35781<>3970_38<>nulo<>a lower bound for the connectivity of directed euler tour transformation graphs<>dm<>xueliang li<>
32400<>3971_6<>stuart j. russell<>object identification in a bayesian context<>ijcai<>timothy huang<>
2384<>3975_4<>chee yong chan<>efficient scheduling of page access in index-based join processing<>tkde<>beng chin ooi<>
2389<>3975_9<>kian-lee tan:tat-seng chua<>on video-on-demand ssrvers with hierarchical storage<>dasfaa<>beng chin ooi<>
2485<>3975_105<>chee yong chan:cheng hian goh<>indexing oodb instances based on access proximity<>icde<>beng chin ooi<>
2488<>3975_108<>tat-seng chua:kian-lee tan<>fast signature-based color-spatial image retrieval<>icmcs<>beng chin ooi<>
38004<>3988_0<>vikram chalana<>a methodology for evaluation of boundary detection algorithms on medical images<>tmi<>yongmin kim<>
38007<>3988_3<>j. h. kim:chris basoglu:t. c. winter<>programmable ultrasound imaging using multimedia technologies: a next-generation ultrasound machine<>titb<>yongmin kim<>
14272<>3995_9<>nulo<>universal access to the net: requirements and social impact<>chi<>jeff johnson<>
33113<>4000_12<>nulo<>depth-bounded discrepancy search<>ijcai<>toby walsh<>
33134<>4000_33<>ian p. gent:ewan macintyre:patrick prosser<>the constrainedness of arc consistency<>cp<>toby walsh<>
33166<>4000_65<>ian p. gent:ewan macintyre:patrick prosser<>the scaling of search cost<>aaai<>toby walsh<>
33173<>4000_72<>fausto giunchiglia:adolfo villafiorita<>theories of abstraction<>aicom<>toby walsh<>
33186<>4000_85<>alan bundy:fausto giunchiglia:adolfo villafiorita<>abstract proof checking: an example motivated by an incompleteness theorem<>jar<>toby walsh<>
33100<>4001_7<>nulo<>worst-case analysis of read's chromatic polynomial algorithm<>arscom<>timothy r. walsh<>
28838<>4004_2<>pyeong s. mah<>multidatabase transaction management scheme supporting multiple subtransactions of a global transaction at a site<>isci<>soon myoung chung<>
34590<>4007_3<>james waletzky<>fuzzy clustering with partial supervision<>tsmc<>witold pedrycz<>
23991<>4017_1<>alejandro p. buchmann<>research issues in data warehousing<>btw<>ming-chuan wu<>
40316<>4023_4<>valerie l. worthington:richard e. ferdig<>tiger: educational research in the age of the internet<>webnet<>yong zhao<>
40319<>4025_2<>daniel p. sanders<>on simultaneous edge-face colorings of plane graphs<>combinatorica<>yue zhao<>
19649<>4033_4<>margo i. seltzer<>file system aging - increasing the relevance of file system benchmarks<>sigmetrics<>keith a. smith<>
19633<>4037_19<>marimuthu palaniswami<>static and dynamic channel assignment using neural networks<>jsac<>kate a. smith<>
30763<>4042_0<>irith pomeranz<>on the compaction of test sets produced by genetic optimization<>ats<>sudhakar m. reddy<>
7860<>4057_0<>richard myers<>genetic algorithms for ambiguous labelling problems<>emmcvpr<>edwin r. hancock<>
7862<>4057_2<>andrew d. j. cross:richard c. wilson<>inexact graph matching using genetic search<>pr<>edwin r. hancock<>
40350<>4059_4<>wei li:w. john braun<>on a decomposition for infinite transition matrices<>questa<>yiqiang q. zhao<>
5520<>4069_6<>sanjoy k. baruah:aloysius k. mok<>jitter concerns in periodic task systems<>rtss<>deji chen<>
5522<>4069_8<>aloysius k. mok<>design of a real-time sql engine in the distributed environment<>artdb<>deji chen<>
5523<>4069_9<>aloysius k. mok<>a multiframe model for real-time tasks<>tse<>deji chen<>
33596<>4070_7<>raju v. j. chintalapati:anindya datta<>an adaptive location management algorithm for mobile computing<>lcn<>vijay kumar<>
33601<>4070_12<>albert burger:mary lou hines<>performance of multiversion and distributed two-phase locking concurrency control mechanisms in distributed databases<>isci<>vijay kumar<>
33607<>4070_18<>anindya datta:igor r. viguier:sang hyuk son<>a study of priority cognizance in conflict resolution for firm real-time database systems<>rtdb<>vijay kumar<>
33802<>4079_7<>zhi-guo liu<>"parameter augmentation for basic hypergeometric series, ii."<>jct<>william y. c. chen<>
33637<>4082_1<>kirk schloegel:george karypis<>repartitioning of adaptive meshes: experiments with multilevel diffusion<>europar<>vipin kumar<>
33638<>4082_2<>kirk schloegel:george karypis<>multilevel diffusion schemes for repartitioning of adaptive meshes<>jpdc<>vipin kumar<>
23275<>4085_8<>martin erwig<>partition and conquer<>cosit<>markus schneider<>
23301<>4085_34<>martin erwig<>vague regions<>ssd<>markus schneider<>
33840<>4088_2<>marcos kawazoe aguilera:sam toueg<>heartbeat: a timeout-free failure detector for quiescent reliable communication<>wdag<>wei chen<>
21666<>4104_5<>gautam das<>on the complexity of optimization problems for 3-dimensional convex polyhedra and decision trees<>comgeo<>michael t. goodrich<>
21672<>4104_11<>christian a. duncan:edgar a. ramos<>efficient approximation and optimization algorithms for computational metrology<>soda<>michael t. goodrich<>
21701<>4104_40<>mark w. orletsky:kumar ramaiyer<>methods for achieving fast query times in point location data structures<>soda<>michael t. goodrich<>
21703<>4104_42<>gill barequet:amy j. briggs:matthew dickerson<>offset-polygon annulus placement problems<>wads<>michael t. goodrich<>
21711<>4104_50<>gill barequet:amy j. briggs:matthew dickerson:cristian dima<>animating the polygon-offset distance function<>compgeom<>michael t. goodrich<>
21717<>4104_56<>mujtaba r. ghouse<>fast randomized parallel methods for planar convex hull construction<>comgeo<>michael t. goodrich<>
21719<>4104_58<>leonidas j. guibas:john hershberger:paul j. tanenbaum<>snap rounding line segments efficiently in two and three dimensions<>compgeom<>michael t. goodrich<>
21731<>4104_70<>edgar a. ramos<>bounded-independence derandomization of geometric partitioning with applications to parallel fixed-dimensional linear programming<>dcg<>michael t. goodrich<>
21743<>4104_82<>l. paul chew:daniel p. huttenlocher:klara kedem:jon m. kleinberg:dina kravets<>geometric pattern matching under euclidean motion<>comgeo<>michael t. goodrich<>
27077<>4105_66<>daniel p. fasulo:tao jiang:reuben settergren:edward c. thayer<>an algorithmic approach to multiple complete digest mapping<>recomb<>richard m. karp<>
27107<>4105_96<>oren zamir:oren etzioni:omid madani<>fast and intuitive clustering of web documents<>kdd<>richard m. karp<>
27116<>4105_105<>johannes blomer:emo welzl<>the rank of sparse random matrices over finite fields<>rsa<>richard m. karp<>
35515<>4110_7<>weili yao:william perrizo<>an improved algorithm for concurrency control in distributed database systems<>isci<>xudong he<>
35504<>4112_13<>nulo<>grid embedding of 4-connected plane graphs<>dcg<>xin he<>
33582<>4122_32<>nilanjan sarkar:xiaoping yun<>control of contact interactions with acatastatic nonholonomic constraints<>ijrr<>vijay kumar<>
34974<>4141_0<>ding-zhu du:biao gao<>a special case for subset interconnection designs<>dam<>weili wu<>
3219<>4198_14<>d. f. wong<>a matrix synthesis approach to thermal placement<>ispd<>chris c. n. chu<>
3227<>4198_22<>d. f. wong<>a new approach to simultaneous buffer insertion and wire sizing<>iccad<>chris c. n. chu<>
3228<>4198_23<>d. f. wong<>closed form solution to simultaneous buffer insertion/sizing and wire sizing<>ispd<>chris c. n. chu<>
33996<>4204_11<>hongjun lu:cheng hian goh:stuart e. madnick:david wai-lok cheung<>discovering and reconciling semantic conflicts: a data mining perspective<>ds<>weiguo fan<>
36685<>4211_5<>rajiv gupta:rami g. melhem<>demand-driven data flow analysis for communication optimization<>ppl<>xin yuan<>
36686<>4211_6<>rajiv gupta:rami g. melhem<>does time-division multiplexing close the gap between memory and optical communication speeds?<>pcrcw<>xin yuan<>
36698<>4211_18<>rajiv gupta:rami g. melhem<>an array data flow analysis based communication optimizer<>lcpc<>xin yuan<>
27619<>4222_1<>hans jurgen ohlbach<>functional translation and second-order frame properties of modal logics<>logcom<>renate a. schmidt<>
27649<>4222_31<>ullrich hustadt<>on evaluating decision procedures for modal logic<>ijcai<>renate a. schmidt<>
16654<>4230_3<>eric rotenberg:quinn jacobson:yiannakis sazeides<>trace processors<>micro<>james e. smith<>
30332<>4241_22<>noriya kobayashi<>delay abstraction in combinational logic circuits<>tcad<>sharad malik<>
30345<>4241_35<>margaret martonosi:yau-tsun steven li<>static timing analysis of embedded software<>dac<>sharad malik<>
30346<>4241_36<>yau-tsun steven li<>performance analysis of embedded software using implicit path enumeration<>tcad<>sharad malik<>
38768<>4245_3<>kenneth a. berman<>generalized bicycles<>dam<>yanpei liu<>
38799<>4251_1<>guantao chen<>hamiltonian graphs with large neighborhood unions<>arscom<>yiping liu<>
38800<>4251_2<>marjorie darrah:cun-quan zhang<>cycles of all lengths in arc-3-cyclic semicomplete digraphs<>dm<>yi-ping liu<>
16612<>4270_2<>d. scott alexander:marianne shaw:scott nettles<>active bridging<>sigcomm<>jonathan m. smith<>
22666<>4280_29<>omer reingold<>number-theoretic constructions of efficient pseudo-random functions<>focs<>moni naor<>
22685<>4280_48<>mihir bellare:russell impagliazzo<>does parallel repetition lower the error in computationally sound protocols?<>focs<>moni naor<>
22707<>4280_70<>ran canetti:cynthia dwork:rafail ostrovsky<>deniable encryption<>crypto<>moni naor<>
20837<>4301_7<>yiu-ming cheung:wai-man leung<>adaptive rival penalized competitive learning and combined linear predictor model for financial forecast and investment<>ijns<>lei xu<>
20862<>4301_32<>nulo<>"bayesian ying-yang machine, clustering and number of clusters."<>prl<>lei xu<>
244<>4302_44<>chutimet srinilta:divyesh jadav<>design and evaluation of data storage and retrieval strategies in a distributed memory continuous media server<>ipps<>alok n. choudhary<>
253<>4302_53<>mahmut t. kandemir:j. ramanujam:meenakshi a. kandaswamy<>"a unified compiler algorithm for optimizing locality, parallelism and communication in out-of-core computations."<>iopads<>alok n. choudhary<>
257<>4302_57<>mahmut t. kandemir:j. ramanujam<>a compiler algorithm for optimizing locality in loop nests<>ics<>alok n. choudhary<>
268<>4302_68<>divyesh jadav:chutimet srinilta<>batching and dynamic allocation techniques for increasing the stream capacity of an on-demand media server<>pc<>alok n. choudhary<>
269<>4302_69<>sarita v. adve:doug burger:rudolf eigenmann:alasdair rawsthorne:michael d. smith:catherine h. gebotys:mahmut t. kandemir:david j. lilja:jesse zhixi fang:pen-chung yew<>changing interaction of compiler and architecture<>computer<>alok n. choudhary<>
276<>4302_76<>sachin more:ian t. foster:ming q. xu<>mtio - a multi-threaded parallel i/o system<>ipps<>alok n. choudhary<>
333<>4302_133<>shailender chaudhry<>time dependent priority scheduling for guaranteed qos systems<>icccn<>alok n. choudhary<>
339<>4302_139<>chutimet srinilta:divyesh jadav<>techniques for increasing the stream capacity of a multimedia server<>ride<>alok n. choudhary<>
341<>4302_141<>mahmut t. kandemir:rajesh bordawekar<>i/o optimizations for compiling out-of core programs on distributed-memory machines<>ppsc<>alok n. choudhary<>
20445<>4309_1<>garry froehlich:h. james hoover:paul g. sorenson<>hooking into object-oriented application frameworks<>icse<>ling liu<>
20466<>4309_22<>roberto zicari:walter l. hursch:karl j. lieberherr<>the role of polymorphic reuse mechanisms in schema evolution in an object-oriented database<>tkde<>ling liu<>
20499<>4309_55<>yooshin lee:calton pu<>towards interoperable heterogeneous information systems: an experiment using the diom approach<>sac<>ling liu<>
20509<>4309_65<>ling-ling yan:m. tamer ozsu<>mediator join indices<>ride<>ling liu<>
20519<>4309_75<>calton pu<>a dynamic query scheduling framework for distributed and evolving information systems<>icdcs<>ling liu<>
20529<>4309_85<>calton pu<>dynamic query processing in diom<>debu<>ling liu<>
25671<>4313_0<>nulo<>optimally scheduling  customer arrival times for a single-server system<>cor<>p. patrick wang<>
20567<>4314_0<>xiaoming liu:danny h. k. tsang:brahim bensaou<>tight upper bounds for cell loss probabilities in atm multiplexers and required bandwidth estimation<>icccn<>liming liu<>
16283<>4333_12<>john j. leggett:john l. schnase<>ags: introducing agents as services provided by digital libraries<>dl<>j. alfredo sanchez<>
38594<>4350_22<>nulo<>principled strength reduction<>alc<>yanhong a. liu<>
20101<>4366_3<>jason tsong-li wang:dennis shasha:george jyh-shian chang:liam relihan:girish patel<>structural matching and discovery in document databases<>sigmod<>kaizhong zhang<>
38738<>4374_13<>xin yao<>fast evolution strategies<>eps<>yong liu<>
9238<>4388_1<>sandor p. fekete<>angle-restricted tours in the plane<>comgeo<>gerhard j. woeginger<>
9239<>4388_2<>qi fan yang:rainer e. burkard:eranda cela<>hamiltonian cycles in circulant digraphs with two stripes<>dm<>gerhard j. woeginger<>
9246<>4388_9<>luitpold babel<>pseudo-hamiltonian graphs<>wg<>gerhard j. woeginger<>
40371<>4396_1<>yunming wang:chun tao:yang yang<>crd: a new data mining method in deductive databases<>deductive<>yonggang zhao<>
27185<>4417_1<>michael bender:achim ebert:hans-christian rodrian<>a hybrid web-based toolkit for human modeling<>dagstuhl<>ralf klein<>
20199<>4435_1<>mei-juan chen:ruei-xi chen<>error resilience for block loss with overlapped motion compensation<>icip<>liang-gee chen<>
20233<>4459_0<>i-chen wu<>detection of summative global predicates<>icpads<>loon-been chen<>
20237<>4459_4<>i-chen wu<>on the complexity of the minimum and maximum global snapshot problems<>compsac<>loon-been chen<>
14694<>4464_0<>bjarn eiderback<>groups of connected objects<>lmo<>jiarong li<>
16450<>4485_0<>hernani pedroso:luis moura silva<>web-based metacomputing with jet<>concurrency<>joao gabriel silva<>
16478<>4485_28<>luis moura silva<>checkpointing distributed shared memory<>tjs<>joao gabriel silva<>
16448<>4486_1<>ana c. leao:jose silva matos:jose carlos alves<>implementation of mixed current/voltage testing using the ieee p1149.4 infrastructure<>itc<>jose machado da silva<>
28908<>4494_18<>arobinda gupta:sriram v. pemmaraju<>a self-stabilizing algorithm for the maximum flow problem<>dc<>sukumar ghosh<>
7600<>4496_12<>chee-keng yap<>a wavelet approach to foveating images<>compgeom<>ee-chien chang<>
7561<>4498_23<>hector garcia-molina<>bubbleup: low latency fast-scan for media servers<>mm<>edward y. chang<>
7568<>4498_30<>hector garcia-molina<>reducing initial latency in media servers<>ieeemm<>edward y. chang<>
996<>4510_0<>anamitra makur<>iterative error diffusion halftoning using a zero phase error filter<>icip<>akhil kumar<>
21981<>4513_0<>lori a. freitag:paul e. plassmann<>a parallel algorithm for mesh smoothing<>ppsc<>mark jones<>
21960<>4518_2<>nulo<>first-class polymorphism with type inference<>popl<>mark p. jones<>
21972<>4520_1<>joe nandhakumar<>too close for comfort? distance and engagement in interpretive information systems research<>isj<>matthew jones<>
21976<>4520_5<>joe nandhakumar<>designing in the dark: the changing user-developer relationship in information systems development<>icis<>matthew jones<>
21912<>4521_6<>yin leng theng:cecile rigny:harold w. thimbleby<>hyperat: hci and web authoring<>bcshci<>matthew jones<>
21934<>4522_0<>william j. bolosky:richard draves:robert p. fitzgerald:christopher w. fraser:todd b. knoblock:richard f. rashid<>operating system directions for the next millennium<>hotos<>michael b. jones<>
21935<>4522_1<>daniela rosu:marcel-catalin rosu<>"cpu reservations and time constraints: efficient, predictable scheduling of independent activities."<>sosp<>michael b. jones<>
10397<>4533_0<>mei lu:feng tian:bing wei<>hamiltonicity of 2-connected claw-center independent graphs<>dm<>hao li<>
12538<>4562_2<>sukhamay kundu<>a new method of circumscribing beliefs: the propositional case<>fuin<>jianhua chen<>
12544<>4562_8<>nulo<>embedding prioritized circumscription in logic programs<>ismis<>jianhua chen<>
27309<>4563_0<>lian-chang zhao<>a new method for proving chromatic uniqueness of graphs<>dm<>ru-ying liu<>
27310<>4563_1<>nianzu li:xue-wen bao<>chromatic uniqueness of the complements of certain forests<>dm<>ru-ying liu<>
27312<>4563_3<>nulo<>adjoint polynomials and chromatically unique graphs<>dm<>ru-ying liu<>
10979<>4566_2<>claudio esperanca<>a differential code for shape representation in image database applications<>icip<>hanan samet<>
11032<>4566_55<>gisli r. hjaltason:yoram j. sussmann<>speeding up bulk-loading of quadtrees<>gis<>hanan samet<>
11091<>4566_114<>claudio esperanca<>orthogonal polygons as bounding structures in filter-refine query processing strategies<>ssd<>hanan samet<>
11114<>4566_137<>walid g. aref<>efficient window block retrieval in quadtree-based spatial databases<>geoinformatica<>hanan samet<>
7269<>4585_11<>nulo<>stochastic inversion transduction grammars and bilingual parsing of parallel corpora<>coling<>dekai wu<>
35322<>4624_0<>nulo<>a tool for layered analysing and understanding of distributed programs<>comcom<>wanlei zhou<>
35315<>4629_0<>li wang<>an architecture for building reliable distributed object-based systems<>tools<>wanlei zhou<>
5046<>4630_3<>tzi-cker chiueh:taosong he:hanspeter pfister:arie e. kaufman<>integrated volume compression and visualization<>visualization<>chuan-kai yang<>
11317<>4654_5<>takeo igarashi:satoshi matsuoka:sachiko kawachiya<>interactive beautification: a technique for rapid geometric design<>uist<>hidehiko tanaka<>
11320<>4654_8<>takuya araki<>static granularity optimization of a committed-choice language fleng<>europar<>hidehiko tanaka<>
11327<>4654_15<>takeo igarashi:sachiko kawachiya:satoshi matsuoka<>in search for an ideal computer-assisted drawing system<>interact<>hidehiko tanaka<>
11335<>4654_23<>tomoyuki uchida<>an automatic document coloring and browsing system<>hci<>hidehiko tanaka<>
31312<>4661_0<>gul agha:ian a. mason:carolyn l. talcott<>a foundation for actor computation<>jfp<>scott f. smith<>
7089<>4663_16<>david b. leake:andrew kinley<>case-based similarity assessment: estimating adaptability from experience<>aaai<>david c. wilson<>
7090<>4663_17<>david b. leake:andrew kinley<>a case study of case-based cbr<>iccbr<>david c. wilson<>
7092<>4663_19<>david b. leake:andrew kinley<>learning to integrate multiple knowledge sources for case-based reasoning<>ijcai<>david c. wilson<>
7107<>4667_2<>tony r. martinez<>improved heterogeneous distance functions<>jair<>d. randall wilson<>
7108<>4667_3<>tony r. martinez<>instance pruning techniques<>icml<>d. randall wilson<>
7109<>4667_4<>tony r. martinez<>improved heterogeneous distance functions<>corr<>d. randall wilson<>
36368<>4671_21<>weifa liang<>finding the k most vital edges in the minimum spanning tree problem<>pc<>xiaojun shen<>
36371<>4671_24<>qing hu:yixin zhang<>rearrangeable graphs<>cocoon<>xiaojun shen<>
2565<>4681_17<>stuart a. grant<>modelling exceptionally hard constraint satisfaction problems<>cp<>barbara m. smith<>
11291<>4706_0<>m. c. kong:sin-min lee<>on magic strength of graph<>arscom<>hugo s. h. sun<>
17477<>4714_10<>kelly a. lyons:david evans:rolf j. velthuys:gregor von bochmann:eric dubois:nicolas d. georganas:gerald w. neufeld:m. tamer ozsu:jeff brinskelle:abdelhakim hafid:norman c. hutchinson:paul iglinski:brigitte kerherve:louise lamont:dwight j. makaroff:duane szafron<>enabling technology for distributed multimedia applications<>ibmsj<>johnny w. wong<>
27583<>4718_0<>nulo<>correlates of attention in a model of dynamic visual recognition<>nips<>rajesh p. n. rao<>
27597<>4718_14<>nulo<>dynamic appearance-based recognition<>cvpr<>rajesh p. n. rao<>
27604<>4718_21<>dana h. ballard<>dynamic model of visual recognition predicts neural response properties in the visual cortex<>neco<>rajesh p. n. rao<>
25214<>4720_27<>boudewijn asberg:gregoria blanco:jesus garcia-lopez:mark h. overmars:godfried t. toussaint:gordon t. wilfong:binhai zhu<>feasibility of design in stereolithography<>algorithmica<>prosenjit bose<>
25238<>4720_51<>michael mcallister:jack snoeyink<>optimal algorithms to embed trees in a point set<>jgaa<>prosenjit bose<>
25247<>4720_60<>mark de berg:david bremner:suneeta ramaswami:gordon t. wilfong<>computing constrained minimum-width annuli of point sets<>wads<>prosenjit bose<>
25251<>4720_64<>thomas c. shermer:godfried t. toussaint:binhai zhu<>guarding polyhedral terrains<>comgeo<>prosenjit bose<>
25269<>4720_82<>leonidas j. guibas:anna lubiw:mark h. overmars:diane l. souvaine:jorge urrutia<>the floodlight problem<>ijcga<>prosenjit bose<>
25281<>4720_94<>godfried t. toussaint<>characterizing and efficiently computing quadrangulations of planar point sets<>cagd<>prosenjit bose<>
17445<>4760_3<>michael e. kuhl:halim damerdji<>estimating and simulating poisson processes with trends or asymmetric cyclic effects<>wsc<>james r. wilson<>
17456<>4760_14<>nulo<>"conduct, misconduct, and cargo cult science."<>wsc<>james r. wilson<>
2189<>4765_1<>wynne hsu:shu chen<>using general impressions to analyze discovered classification rules<>kdd<>bing liu<>
2199<>4765_11<>liang-ping ku:wynne hsu<>discovering interesting holes in data<>ijcai<>bing liu<>
30129<>4782_0<>erik d. goodman:william f. punch iii<>investigating parallel genetic algorithms on job shop scheduling problems<>eps<>shyh-chang lin<>
30128<>4783_0<>kwei-jay lin<>a pinwheel scheduler for three distinct numbers with a tight schedulability bound<>algorithmica<>shun-shii lin<>
6881<>4784_40<>john kelsey:bruce schneier:chris hall<>secure applications of low-entropy keys<>isw<>david wagner<>
6887<>4784_46<>john kelsey:bruce schneier<>protocol interactions and the chosen protocol attack<>spw<>david wagner<>
6938<>4786_40<>heike ripphausen-lipa:karsten weihe<>the vertex-disjoint menger problem in planar graphs<>siamcomp<>dorothea wagner<>
11233<>4796_4<>erich strohmaier:jack dongarra:hans werner meuer<>industrial application areas of high-performance computing<>hpcn<>horst d. simon<>
11248<>4798_1<>rael e. valdes-perez:derek h. sleeman<>scientific discovery and simplicity of method<>ai<>herbert a. simon<>
11276<>4802_0<>takeshi okada<>collaborative discovery in a scientific domain<>cogsci<>herbert a. simon<>
11278<>4802_2<>hermina j. m. tabachneck-schijf:anthony m. leonardo<>camera: a computational model of multiple representations<>cogsci<>herbert a. simon<>
18320<>4816_0<>edward a. stohr<>a technology adaptation model for business process automation<>hicss<>j. leon zhao<>
28351<>4830_1<>paul w. p. j. grefen:gabriel sanchez<>wide: a distributed architecture for workflow management<>ride<>stefano ceri<>
20304<>4842_2<>julien basch:john hershberger<>data structures for mobile data<>soda<>leonidas j. guibas<>
20273<>4844_2<>pankaj k. agarwal:t. m. murali:jeffrey scott vitter<>cylindrical static and kinetic binary space partitions<>compgeom<>leonidas j. guibas<>
20286<>4844_15<>rajeev motwani:prabhakar raghavan<>the robot localization problem<>siamcomp<>leonidas j. guibas<>
10275<>4867_2<>stefan berchtold:christian bohm:bernhard braunmuller:daniel a. keim<>fast parallel similarity search in multimedia databases<>sigmod<>hans-peter kriegel<>
10157<>4875_4<>remy prost<>rounding transform based approach for lossless subband coding<>icip<>ho-youl jung<>
22006<>4885_1<>nulo<>tree contractions and evolutionary trees<>ciac<>ming-yang kao<>
34226<>4889_6<>salvatore j. stolfo:andreas l. prodromidis:shelley tselepis:dave w. fan:philip k. chan<>jam: java agents for meta-learning over distributed databases<>kdd<>wenke lee<>
34231<>4889_11<>naser s. barghouti:john mocenigo<>a graph package in java<>gd<>wenke lee<>
34270<>4890_6<>michael r. frater:mark r. pickering:john f. arnold<>robustness of multiplexing protocols for audio-visual services over wireless networks<>icip<>wee sun lee<>
34275<>4890_11<>robert e. schapire:yoav freund:peter barlett<>boosting the margin: a new explanation for the effectiveness of voting methods<>icml<>wee sun lee<>
34285<>4890_21<>mostefa golea:peter l. bartlett:llew mason<>generalization in decision trees and dnf: does size matter?<>nips<>wee sun lee<>
34207<>4893_21<>qinglong hu:dik lun lee<>channel allocation methods for data dissemination in mobile computing environments<>hpdc<>wang-chien lee<>
22538<>4895_0<>thomas c. hudson:dinesh manocha:jonathan d. cohen:kenneth e. hoff iii:hansong zhang<>accelerated occlusion culling using shadow frusta<>compgeom<>ming c. lin<>
22536<>4897_0<>jacek malec:simin nadjm-tehrani<>on semantics of reactive rule-based systems<>asian<>man lin<>
22534<>4898_4<>deng-jyi chen<>the computational complexity of the reliability problem on distributed systems<>ipl<>min-sheng lin<>
183<>4908_0<>nulo<>electronic commerce<>lcn<>agnes hui chan<>
31681<>4923_1<>erik brynjolfsson<>the intangible benefits and costs of investments: evidence from financial markets<>icis<>shinkyu yang<>
11151<>4942_0<>nulo<>improved parallel algorithms for finding the most vital edge of a graph with respect to minimum spanning tree<>pdpta<>hong shen<>
11159<>4942_8<>nulo<>optimal parallel multiselection on erew pram<>pc<>hong shen<>
11162<>4942_11<>nulo<>improved parallel algorithms for finding the most vital edge of a graph with respect to minimum spanning tree<>pdpta<>hong shen<>
11168<>4942_17<>weifa liang<>efficient enumeration of all minimal separators in a graph<>tcs<>hong shen<>
11175<>4942_24<>keqin li:yi pan:gilbert h. young:si-qing zheng<>performance analysis for dynamic tree embedding in k-partite networks by random walk<>ispan<>hong shen<>
18721<>4971_0<>nulo<>efficient huffman decoding<>ipl<>kuo-ling chung<>
33031<>4985_9<>yoshitaka kameya<>prism: a language for symbolic-statistical modeling<>ijcai<>taisuke sato<>
22570<>4991_0<>ramon lapez de mantaras:josep amat:francesc esteva:carles sierra<>generation of unknown environment maps by cooperative low-cost robots<>agents<>m. lopez<>
28374<>4996_0<>horace ho-shing ip<>hypertext-assisted video indexing and content-based retrieval<>ht<>siu-lok chan<>
17953<>5003_4<>chi-ming chen<>a dynamic k-winners-take-all neural network<>tsmc<>jar-ferr yang<>
17922<>5006_5<>laura m. haas:donald kossmann:edward l. wimmers<>optimizing queries across diverse data sources<>vldb<>jun yang<>
13845<>5026_10<>peter j. haas:helen j. wang<>online aggregation<>sigmod<>joseph m. hellerstein<>
13846<>5026_11<>nulo<>towards a crystal ball for data retrieval<>ngits<>joseph m. hellerstein<>
13850<>5026_15<>nulo<>online processing redux<>debu<>joseph m. hellerstein<>
13866<>5026_31<>daniel barbara:william dumouchel:christos faloutsos:peter j. haas:yannis e. ioannidis:h. v. jagadish:theodore johnson:raymond t. ng:viswanath poosala:kenneth a. ross:kenneth c. sevcik<>the new jersey data reduction report<>debu<>joseph m. hellerstein<>
13886<>5026_51<>marcel kornacker:c. mohan<>concurrency and recovery in generalized search trees<>sigmod<>joseph m. hellerstein<>
13888<>5026_53<>andrea c. arpaci-dusseau:remzi h. arpaci-dusseau:david e. culler:david a. patterson<>high-performance sorting on networks of workstations<>sigmod<>joseph m. hellerstein<>
18640<>5035_1<>lan wang:huisheng chi<>methods of combining multiple classifiers with different features and their applications to text-independent speaker identification<>ijprai<>ke chen<>
18647<>5035_8<>xiang yu:huisheng chi<>combining linear discriminant functions with neural networks for supervised learning<>nca<>ke chen<>
24965<>5073_35<>athanassios s. poulakidas:ashok srinivasan:omer egecioglu:tao yang<>a compact storage scheme for fast wavelet-based subregion retrieval<>cocoon<>oscar h. ibarra<>
24991<>5073_61<>nicholas q. tran:tao yang<>on the parallel complexity of loops<>tcs<>oscar h. ibarra<>
24997<>5073_67<>jianwen su<>on the containment and equivalence of database queries with linear constraints<>pods<>oscar h. ibarra<>
25015<>5073_85<>yizhou yu:tao yang<>parallel progressive radiosity with adaptive meshing<>jpdc<>oscar h. ibarra<>
25024<>5073_94<>pedro c. diniz:martin c. rinard<>on the complexity of commutativity analysis<>ijfcs<>oscar h. ibarra<>
24197<>5078_5<>nabil kahale<>a spectral technique for coloring random 3-colorable graphs<>siamcomp<>noga alon<>
24210<>5078_18<>nulo<>on the edge-expansion of graphs<>cpc<>noga alon<>
24213<>5078_21<>gregory gutin<>properly colored hamilton cycles in edge-colored complete graphs<>rsa<>noga alon<>
24223<>5078_31<>michael tarsi<>a note on graph colorings and graph polynomials<>jct<>noga alon<>
24231<>5078_39<>yair caro:raphael yuster<>covering the edges of a graph by a prescribed tree with minimum overlap<>jct<>noga alon<>
24232<>5078_40<>miklos ruszinko<>short certificates for tournaments<>combinatorics<>noga alon<>
24243<>5078_51<>raphael yuster:uri zwick<>finding and counting given length cycles<>algorithmica<>noga alon<>
24245<>5078_53<>jeong han kim<>"on the degree, size, and chromatic index of a uniform hypergraph."<>jct<>noga alon<>
24264<>5078_72<>michael krivelevich<>the concentration of the chromatic number of random graphs<>combinatorica<>noga alon<>
24269<>5078_77<>zsolt tuza:margit voigt<>choosability and fractional chromatic numbers<>dm<>noga alon<>
32190<>5081_0<>vineet gupta:radha jagadeesan<>robust timed automata<>hybrid<>thomas a. henzinger<>
32191<>5081_1<>rajeev alur<>real-time system = discrete system + clock variables<>sttt<>thomas a. henzinger<>
32203<>5081_13<>pei-hsin ho:howard wong-toi<>hytech: a model checker for hybrid systems<>cav<>thomas a. henzinger<>
32208<>5081_18<>rajeev alur:costas courcoubetis<>computing accumulated delays in real-time systems<>fmsd<>thomas a. henzinger<>
32209<>5081_19<>pei-hsin ho:howard wong-toi<>hytech: a model checker for hybrid systems<>sttt<>thomas a. henzinger<>
32213<>5081_23<>rajeev alur:orna kupferman<>alternating-time temporal logic<>compos<>thomas a. henzinger<>
32236<>5081_46<>rajeev alur:orna kupferman<>alternating-time temporal logic<>focs<>thomas a. henzinger<>
32247<>5081_57<>peter w. kopke<>discrete-time control for rectangular hybrid automata<>icalp<>thomas a. henzinger<>
32274<>5081_84<>rajeev alur<>modularity for timed and hybrid systems<>concur<>thomas a. henzinger<>
32279<>5081_89<>rajeev alur:robert k. brayton:shaz qadeer:sriram k. rajamani<>partial-order reduction in symbolic state space exploration<>cav<>thomas a. henzinger<>
32303<>5081_113<>orna kupferman<>from quantity to quality<>hybrid<>thomas a. henzinger<>
32307<>5081_117<>orna kupferman:sriram k. rajamani<>fair simulation<>concur<>thomas a. henzinger<>
35190<>5082_12<>chengzhi li:amitava raha<>stability in atm networks<>infocom<>wei zhao<>
35197<>5082_19<>biao chen:sanjay kamat<>"fault-tolerant, real-time communication in fddi-based networks."<>computer<>wei zhao<>
35209<>5082_31<>biao chen:anirudha sahoo:amitava raha<>connection-oriented communications for real-time applications in fddi-atm-fddi heterogeneous networks<>icdcs<>wei zhao<>
35223<>5082_45<>chengzhi li:riccardo bettati<>static priority scheduling for atm networks<>rtss<>wei zhao<>
2970<>5093_12<>francis k. h. quek:lie cai:seongwoon kim:annie kuntzmann-combelles<>research on collaboration net<>ftdcs<>carl k. chang<>
2976<>5093_18<>yi-te tseng:ugo buy<>compiling process algebraic specifications into timed automata<>compsac<>carl k. chang<>
9432<>5105_8<>chang huang:william c. rounds<>a modal logic for reasoning about belief<>hicss<>guo-qiang zhang<>
9443<>5105_19<>william c. rounds<>resolution in the smyth powerdomain<>entcs<>guo-qiang zhang<>
9444<>5105_20<>william c. rounds<>complexity of power default reasoning<>lics<>guo-qiang zhang<>
9445<>5105_21<>ilaria castellani<>parallel product of event structures<>tcs<>guo-qiang zhang<>
9446<>5105_22<>william c. rounds<>power defaults<>lpnmr<>guo-qiang zhang<>
9452<>5105_28<>william c. rounds<>defaults in domain theory<>tcs<>guo-qiang zhang<>
9453<>5105_29<>e. rodney canfield<>the end of pumping?<>tcs<>guo-qiang zhang<>
41151<>5109_7<>erik stoy<>inter-domain movement of functionality as a repartitioning strategy for hardware/software co-design<>jsa<>zebo peng<>
15760<>5147_0<>stephan m. kerpedjiev:giuseppe carenini:steven f. roth<>integrating planning and task-based design for multimedia presentation<>iui<>johanna d. moore<>
15761<>5147_1<>barbara di eugenio:massimo paolucci<>learning features that predict cue usage<>acl<>johanna d. moore<>
15762<>5147_2<>barbara di eugenio:massimo paolucci<>learning features that predict cue usage<>corr<>johanna d. moore<>
22322<>5148_1<>francesco m. donini:daniele nardi:werner nutt<>the complexity of concept languages<>iandc<>maurizio lenzerini<>
22325<>5148_4<>giuseppe de giacomo<>a uniform framework for concept definitions in description logics<>corr<>maurizio lenzerini<>
22334<>5148_13<>marco cadoli:luigi palopoli<>datalog and description logics: expressive power<>dbpl<>maurizio lenzerini<>
22337<>5148_16<>marco cadoli:luigi palopoli<>datalog and description logics: expressive power<>agp<>maurizio lenzerini<>
22347<>5148_26<>diego calvanese:giuseppe de giacomo<>representing and reasoning on sgml documents<>ismis<>maurizio lenzerini<>
22366<>5148_45<>giuseppe de giacomo<>a uniform framework for concept definitions in description logics<>jair<>maurizio lenzerini<>
22380<>5148_59<>diego calvanese:giuseppe de giacomo<>conjunctive query containment in description logics with n-ary relations<>dlog<>maurizio lenzerini<>
23103<>5149_1<>silvia chiusano:fulvio corno:paolo prinetto:maurizio rebaudengo<>guaranteeing testability in re-encoding for low power<>ats<>matteo sonza reorda<>
23107<>5149_5<>alfredo benso:paolo prinetto:maurizio rebaudengo:jaan raik:raimund ubar<>exploiting high-level descriptions for circuits fault tolerance assessments<>dft<>matteo sonza reorda<>
23110<>5149_8<>f. bianchi:fulvio corno:maurizio rebaudengo:roberto ansaloni<>boolean function manipulation on a parallel system using bdds<>hpcn<>matteo sonza reorda<>
23131<>5149_29<>fulvio corno:paolo prinetto:maurizio rebaudengo:giovanni squillero<>a genetic algorithm for the computation of initialization sequences for synchronous sequential circuits<>ats<>matteo sonza reorda<>
23136<>5149_34<>fulvio corno:paolo prinetto:maurizio rebaudengo:massimo violante<>exploiting logic simulation to improve simulation-based sequential atpg<>ats<>matteo sonza reorda<>
23137<>5149_35<>fulvio corno:paolo prinetto:maurizio rebaudengo:giovanni squillero<>a new approach for initialization sequences computation for synchronous sequential circuits<>iccd<>matteo sonza reorda<>
23175<>5149_73<>mario baldi:fulvio corno:maurizio rebaudengo:paolo prinetto:giovanni squillero<>simulation-based verification of network protocols performance<>charme<>matteo sonza reorda<>
23177<>5149_75<>s. chuisano:fulvio corno:paolo prinetto:maurizio rebaudengo<>exploiting symbolic techniques within genetic algorithms for power optimization<>ictai<>matteo sonza reorda<>
23178<>5149_76<>fulvio corno:paolo prinetto<>testability analysis and atpg on behavioral rt-level vhdl<>itc<>matteo sonza reorda<>
21627<>5163_24<>laurent amsaleg:philippe bonnet:anthony tomasic:tolga urhan<>improving responsiveness for wide-area data access<>debu<>michael j. franklin<>
21641<>5163_38<>swarup acharya:stanley b. zdonik<>balancing push and pull for data broadcast<>sigmod<>michael j. franklin<>
6459<>5207_7<>nulo<>using syntactic dependency as local context to resolve word sense ambiguity<>acl<>dekang lin<>
6511<>5268_3<>roger k. yeh<>on distance two labellings of graphs<>arscom<>daphne der-fen liu<>
28754<>5286_0<>nulo<>an efficient message authentication scheme for link state routing<>acsac<>s. cheung<>
28720<>5288_10<>dimitra giannakopoulou:jeff kramer<>verification of liveness properties using compositional reachability analysis<>esec<>shing-chi cheung<>
28725<>5288_15<>alan c. y. wong:samuel t. chanson:holger fuchs<>a framework for distributed object-oriented testing<>forte<>shing-chi cheung<>
40690<>5293_7<>david eppstein:giuseppe f. italiano:amnon nissenzweig<>sparsification - a technique for speeding up dynamic graph algorithms<>jacm<>zvi galil<>
10350<>5321_0<>manhee kim:joonwon lee<>a proportional-share scheduler for multimedia applications<>icmcs<>hyogun lee<>
15710<>5326_40<>claudio t. silva<>the lazy sweep ray casting algorithm for rendering irregular grids<>tvcg<>joseph s. b. mitchell<>
15736<>5326_66<>sanjiv kapoor:s. n. maheshwari<>an efficient algorithm for euclidean shortest paths among polygonal obstacles in the plane<>dcg<>joseph s. b. mitchell<>
15746<>5326_76<>david m. mount:subhash suri<>query-sensitive ray shooting<>ijcga<>joseph s. b. mitchell<>
15614<>5327_29<>ole agesen:stephen n. freund<>adding type parameterization to the java language<>oopsla<>john c. mitchell<>
15626<>5327_41<>stephen n. freund<>a type system for object initialization in the java bytecode language<>entcs<>john c. mitchell<>
2541<>5328_45<>harsha p. kumar:catherine plaisant<>browsing hierarchical data with multi-level dynamic queries and pruning<>ijmms<>ben shneiderman<>
20996<>5351_7<>julien basch:leonidas j. guibas<>proximity problems on moving points<>compgeom<>li zhang<>
20997<>5351_8<>julien basch:leonidas j. guibas:craig silverstein<>a practical evaluation of kinetic data structures<>compgeom<>li zhang<>
21000<>5351_11<>harish devarajan:julien basch:piotr indyk<>probabilistic analysis for combinatorial functions of moving points<>compgeom<>li zhang<>
26397<>5357_2<>robert k. brayton:thomas a. henzinger:shaz qadeer:sriram k. rajamani<>partial-order reduction in symbolic state space exploration<>cav<>rajeev alur<>
26496<>5357_101<>thomas a. henzinger<>modularity for timed and hybrid systems<>concur<>rajeev alur<>
26497<>5357_102<>hagit attiya:gadi taubenfeld<>time-adaptive algorithms for synchronization<>siamcomp<>rajeev alur<>
26498<>5357_103<>costas courcoubetis:thomas a. henzinger<>computing accumulated delays in real-time systems<>fmsd<>rajeev alur<>
26499<>5357_104<>thomas a. henzinger:orna kupferman<>alternating-time temporal logic<>compos<>rajeev alur<>
26508<>5357_113<>thomas a. henzinger:orna kupferman<>alternating-time temporal logic<>focs<>rajeev alur<>
24680<>5359_58<>alexander a. shvartsman<>robust emulation of shared memory using dynamic quorum-acknowledged broadcasts<>ftcs<>nancy a. lynch<>
24776<>5359_154<>roberto de prisco:butler w. lampson<>revisiting the paxos algorithm<>wdag<>nancy a. lynch<>
24784<>5359_162<>alan fekete:alexander a. shvartsman<>specifying and using a partitionable group communication service<>podc<>nancy a. lynch<>
14144<>5376_4<>lee markosian:michael a. kowalski:daniel goldstein:samuel j. trychin:lubomir d. bourdev<>real-time nonphotorealistic rendering<>siggraph<>john f. hughes<>
14159<>5376_19<>michael salisbury:michael t. wong:david salesin<>orientable textures for image-based pen-and-ink illustration<>siggraph<>john f. hughes<>
14170<>5376_30<>daniel n. wood:adam finkelstein:craig e. thayer:david salesin<>multiperspective panoramas for cel animation<>siggraph<>john f. hughes<>
14179<>5378_2<>heebyung yoon:abhijit chatterjee<>optimal design of checksum-based checkers for fault detection in linear analog circuits<>vlsid<>joseph l. a. hughes<>
15882<>5401_5<>nulo<>patterns for finding objects within designs<>tools<>j. noble<>
15891<>5401_14<>john potter<>change detection for aggregate objects with aliasing<>aswec<>james noble<>
15901<>5401_24<>john potter<>applying design patterns<>tools<>james noble<>
26542<>5424_20<>michael roe<>the gchq protocol and its problems<>eurocrypt<>ross j. anderson<>
26543<>5424_21<>markus g. kuhn<>low cost attacks on tamper resistant devices<>spw<>ross j. anderson<>
8468<>5433_0<>nam w. kim<>advances in quantification and characterization of telomerase activity by the telomeric repeat amplification protocol (trap)<>nar<>fred wu<>
34665<>5450_7<>ramin mojdehbakhsh:sanjai rayadurgam<>experience in capturing requirements for safety-critical medical devices in an industrial environment<>hase<>wei-tek tsai<>
34671<>5450_13<>nulo<>trends in software technology<>compsac<>wei-tek tsai<>
34678<>5450_20<>nulo<>application of data-centered approach to year 2000 problem<>compsac<>wei-tek tsai<>
15408<>5453_4<>sergio montagna:roberto paglino:a. puglisi<>analysis of an atm multiplexer with prioritized service<>atmn<>john f. meyer<>
15393<>5454_2<>steffen gelder:timna e. schneider:hans hagen<>invis - interactive visualization of medical data sets<>dagstuhl<>jorg meyer<>
15444<>5456_18<>patrick doherty<>preferential action semantics (preliminary report)<>modelage<>john-jules ch. meyer<>
15462<>5456_36<>koen v. hindriks:frank s. de boer:wiebe van der hoek<>formal semantics for an abstract agent programming language<>atal<>john-jules ch. meyer<>
15482<>5456_56<>pierre-yves schobbens<>formal models of agents: an introduction<>modelage<>john-jules ch. meyer<>
15483<>5456_57<>bernd van linder:wiebe van der hoek<>seeing is believing<>jolli<>john-jules ch. meyer<>
15501<>5456_75<>bernd van linder:wiebe van der hoek<>the dynamics of default reasoning<>dke<>john-jules ch. meyer<>
15526<>5462_0<>nulo<>from the editor<>compsec<>john meyer<>
7481<>5470_21<>elena ferrari:pierangela samarati:sushil jajodia<>providing flexibility in information flow control for object oriented systems<>sp<>elisa bertino<>
7483<>5470_23<>alberto belussi:barbara catania<>manipulating spatial data in constraint databases<>ssd<>elisa bertino<>
7494<>5470_34<>barbara catania:boris shidlovsky<>towards optimal two-dimensional indexing for constraint databases<>ipl<>elisa bertino<>
7510<>5470_50<>danilo montesi:maurizio martelli<>transactions and updates in deductive databases<>tkde<>elisa bertino<>
7512<>5470_52<>claudio bettini:elena ferrari:pierangela samarati<>decentralized administration for a temporal access control model<>is<>elisa bertino<>
7516<>5470_56<>elena ferrari:giovanna guerrini<>t_chimera: a temporal object-oriented data model<>tapos<>elisa bertino<>
7522<>5470_62<>pierangela samarati:alessandro ciampichetti:sushil jajodia<>information flow control in object-oriented systems<>tkde<>elisa bertino<>
7113<>5502_0<>amir a. amini:fred l. bookstein<>biomedical image analysis<>cviu<>david c. wilson<>
21790<>5522_9<>peter eades:robert f. cohen<>online animated graph drawing for web navigation<>gd<>mao lin huang<>
37753<>5529_3<>nulo<>spanning local tournaments in locally semicomplete digraphs<>dam<>yubao guo<>
37757<>5529_7<>lutz volkmann<>bypaths in tournaments<>dam<>yubao guo<>
37759<>5529_9<>jorgen bang-jensen:gregory gutin:lutz volkmann<>a classification of locally semicomplete digraphs<>dm<>yubao guo<>
18685<>5533_0<>kwang ryel ryu:junha hwang:hyung rim choi<>a genetic algorithm hybrid for hierarchical reactive scheduling<>icga<>kyu kab cho<>
1525<>5538_0<>nulo<>"framework, design patterns and pattern language for object concurrency."<>pdpta<>antonio rito silva<>
1533<>5538_8<>nulo<>a quality design solution for object synchronization<>europar<>antonio rito silva<>
28966<>5556_17<>yu-chee tseng:ting-hsien lin:dhabaleswar k. panda<>bandwidth-optimal complete exchange on wormhole-routed 2d/3d torus networks: a diagonal-propagation approach<>tpds<>sandeep k. s. gupta<>
29025<>5557_17<>william c. regli:dana s. nau<>towards multiprocessor feature recognition<>cad<>satyandra k. gupta<>
28980<>5558_7<>chen-huan chiang<>bist tpg for faults in system backplanes<>iccad<>sandeep k. gupta<>
8562<>5565_0<>richard h. schelp:warren e. shreve<>a new game chromatic number<>ejc<>guantao chen<>
8573<>5565_11<>yiping liu<>hamiltonian graphs with large neighborhood unions<>arscom<>guantao chen<>
8589<>5565_27<>richard h. schelp:warren e. shreve<>a special k-coloring for a connected k-chromatic graph<>dm<>guantao chen<>
8560<>5566_3<>nulo<>subtyping calculus of construction (extended abstract)<>mfcs<>gang chen<>
8590<>5568_0<>jian-guo liu<>convergence of difference schemes with high resolution for conservation laws<>moc<>gui-qiang chen<>
31798<>5584_0<>zhaohui luo<>implementing a model checker for lego<>fm<>shenwei yu<>
19839<>5585_0<>huiqing liu<>schema discovery for semistructured data<>kdd<>ke wang<>
18376<>5636_3<>guo-zhao wang<>bounds on the moving control points of hybrid curves<>cvgip<>jian-min zheng<>
36981<>5638_2<>abul kashem:takao nishizeki<>generalized vertex-rankings of partial k-trees<>cocoon<>xiao zhou<>
36984<>5638_5<>hitoshi suzuki:takao nishizeki<>an nc parallel algorithm for edge-coloring series-parallel multigraphs<>jal<>xiao zhou<>
36960<>5640_47<>david j. abel:david truffet<>data partitioning for parallel spatial join processing<>ssd<>xiaofang zhou<>
36971<>5640_58<>yanchun zhang:jitian xiao<>a declustering algorithm for minimizing spatial join cost<>cocoon<>xiaofang zhou<>
8658<>5648_1<>bryan carpenter:yuh-jye chang:xiaoming li<>java as a language for scientific parallel programming<>lcpc<>geoffrey fox<>
8661<>5648_4<>kivanc dincer<>design issues in building web-based programming environments<>hpdc<>geoffrey fox<>
8665<>5648_8<>dimple bhatia:vanco burzevski:maja camuseva:wojtek furmanski:girish premchandran<>webflow - a visual programming paradigm for web/java based coarse grain distributed computing<>concurrency<>geoffrey fox<>
8679<>5648_22<>wojtek furmanski<>parallel and distributed computing using pervasive web and object technologies<>parco<>geoffrey fox<>
8683<>5648_26<>lukasz beca:gang cheng:tomasz jurga:konrad olszewski:marek podgorny:krzysztof walczak<>web technologies for collaborative visualization and simulation<>ppsc<>geoffrey fox<>
8693<>5648_36<>xiaoming li:zheng qiang:wu zhigang<>a prototype of fortran-to-java converter<>concurrency<>geoffrey fox<>
8698<>5648_41<>guansong zhang:bryan carpenter:xiaoming li:xinying li:yuhong wen<>pcrc-based hpf compilation<>lcpc<>geoffrey fox<>
27539<>5666_0<>jorome barraquand:lydia e. kavraki:jean-claude latombe:tsai-yen li:prabhakar raghavan<>a random sampling scheme for path planning<>ijrr<>rajeev motwani<>
27423<>5672_1<>leonidas j. guibas:prabhakar raghavan<>the robot localization problem<>siamcomp<>rajeev motwani<>
27430<>5672_8<>moses charikar:prabhakar raghavan:craig silverstein<>constrained tsp and low-power computing<>wads<>rajeev motwani<>
27434<>5672_12<>david r. karger:g. d. s. ramkumar<>on approximating the longest path in a graph<>algorithmica<>rajeev motwani<>
27442<>5672_20<>leonidas j. guibas:jean-claude latombe:steven m. lavalle:david lin<>visibility-based pursuit-evasion in a polygonal environment<>wads<>rajeev motwani<>
27477<>5672_55<>chandra chekuri:b. natarajan:clifford stein<>approximation techniques for average completion time scheduling<>soda<>rajeev motwani<>
27478<>5672_56<>jon m. kleinberg:prabhakar raghavan:suresh venkatasubramanian<>storage management for evolving databases<>focs<>rajeev motwani<>
27483<>5672_61<>moses charikar:chandra chekuri:tomas feder<>incremental clustering and dynamic information retrieval<>stoc<>rajeev motwani<>
27501<>5672_79<>piotr indyk:prabhakar raghavan:santosh vempala<>locality-preserving hashing in multidimensional spaces<>stoc<>rajeev motwani<>
27511<>5672_89<>sergey brin:jeffrey d. ullman:shalom tsur<>dynamic itemset counting and implication rules for market basket data<>sigmod<>rajeev motwani<>
27521<>5672_99<>sergey brin:craig silverstein<>beyond market baskets: generalizing association rules to correlations<>sigmod<>rajeev motwani<>
27522<>5672_100<>alok aggarwal:don coppersmith:sanjeev khanna:baruch schieber<>the angular-metric traveling salesman problem<>soda<>rajeev motwani<>
19042<>5681_1<>hyun woo kim:jae kyu lee:tae hwan kim:chang gon kim:myoung kyun yoon:eui jun hwang:hyun jeong park<>case and constraint-based apartment construction project planning system: fastrak-apt<>aaai<>kyoung jun lee<>
17256<>5701_1<>ching-song wei:qianhong liu:peter a. ng<>knowledge discovering for document classification using tree matching in texpros<>isci<>jason tsong-li wang<>
17301<>5701_46<>dennis shasha:george jyh-shian chang:liam relihan:kaizhong zhang:girish patel<>structural matching and discovery in document databases<>sigmod<>jason tsong-li wang<>
17303<>5701_48<>xiong wang:dennis shasha:bruce a. shapiro:sitaram dikshitulu:isidore rigoutsos:kaizhong zhang<>automated discovery of active motifs in three dimensional molecules<>kdd<>jason tsong-li wang<>
17335<>5704_0<>maylor k. h. leung:siu cheung hui<>cursive word reference line detection<>pr<>jiren wang<>
17316<>5707_9<>kien a. hua<>a bandwidth management technique for hierarchical storage in large-scale multimedia servers<>icmcs<>james zijun wang<>
17319<>5707_12<>kien a. hua:simon sheu<>earthworm: a network memory management technique for large-scale distributed multimedia applications<>infocom<>james zijun wang<>
16110<>5713_0<>nulo<>equivalence of variational inequality problems to unconstrained minimization<>mp<>ji-ming peng<>
37189<>5714_1<>wan-chi siu<>variable temporal-length 3-d discrete cosine transform coding<>tip<>yui-lam chan<>
35914<>5721_0<>jason knipe:howard cheng<>image compression and encryption using tree structures<>prl<>xiaobo li<>
28497<>5724_9<>avanindra chaudhuri<>robust detection of skew in document images<>tip<>subhasis chaudhuri<>
28503<>5724_15<>c. b. bargale:pushpak bhattacharyya<>development of an audio-visual database system for human identification<>avbpa<>subhasis chaudhuri<>
28514<>5724_26<>s. sarkar<>detection of rib shadows in digital chest radiographs<>iciap<>subhasis chaudhuri<>
28519<>5724_31<>eckehard g. steinbach:bernd girod<>data-driven multi-frame 3d motion estimation<>icip<>subhasis chaudhuri<>
28521<>5724_33<>a. n. rajagopalan<>optimal selection of camera parameters for recovery of depth from defocused images<>cvpr<>subhasis chaudhuri<>
35925<>5725_4<>antonio cau:ben c. moszkowski:nick coleman:hussein zedan<>proving the correctness of the interlock mechanism in processor design<>charme<>xiaoshan li<>
28526<>5727_0<>devdatt p. dubhashi<>probabilistic recurrence relations revisited<>tcs<>shiva chaudhuri<>
33257<>5734_2<>jurgen avenhaus:carlos loraa-saenz:aart middeldorp<>logicality of conditional rewrite systems<>tapsoft<>toshiyuki yamada<>
10384<>5766_8<>jonathan goldstine:detlef wotschke<>measuring nondeterminism in pushdown automata<>stacs<>hing leung<>
24026<>5768_4<>jun wang<>quasi-abelian cayley graphs and parsons graphs<>ejc<>ming yao xu<>
26904<>5769_57<>rohit goyal:shivkumar kalyanaraman:sonia fahmy:bobby vandalore:sastri kota<>tcp selective acknowledgments and ubr drop policies to improve atm-ubr performance over terrestrial and satellite networks<>icccn<>raj jain<>
26908<>5769_61<>shivkumar kalyanaraman:ram viswanathan<>the osu scheme for congestion avoidance in atm networks: lessons learnt and extensions<>pe<>raj jain<>
26919<>5769_72<>bobby vandalore:shivkumar kalyanaraman:rohit goyal:sonia fahmy:seong-cheol kim<>performance of bursty world wide web (www) sources over abr<>webnet<>raj jain<>
26846<>5771_0<>amarnath gupta<>visual information retrieval<>cacm<>ramesh jain<>
20796<>5782_0<>chin-tau a. lea<>modeling mobility in power control<>icc<>li-chun wang<>
20780<>5804_4<>tao jiang:dan gusfield<>a more efficient approximation scheme for tree alignment<>recomb<>lusheng wang<>
36469<>5815_1<>claudio bettini:sushil jajodia<>satisfiability of quantitative temporal constraints with multiple granularities<>cp<>xiaoyang sean wang<>
40384<>5867_5<>keon young yi<>biped locomotion by reduced ankle power<>arobots<>yuan f. zheng<>
40398<>5871_10<>nulo<>the speed cipher<>fc<>yuliang zheng<>
40410<>5871_22<>xian-mo zhang<>cryptographically resilient functions<>tit<>yuliang zheng<>
40413<>5871_25<>jussipekka leiwo<>a method to implement a denial of service protection base<>acisp<>yuliang zheng<>
40428<>5871_40<>jussipekka leiwo<>a framework for the management of information security<>isw<>yuliang zheng<>
40449<>5875_0<>nulo<>guest editorial<>arobots<>yuan f. zheng<>
7839<>5877_36<>lucio c. tinoco:n. dwight barnette<>online evaluation in www-based courseware<>sigcse<>edward a. fox<>
7855<>5877_52<>ghaleb abdulla:marc abrams<>shared user behavior on the world wide web<>webnet<>edward a. fox<>
4775<>5894_6<>peter j. keleher<>enhancing software dsm for compiler-parallelized applications<>ipps<>chau-wen tseng<>
4801<>5894_32<>nulo<>performance of the prototype fortran d compiler<>spe<>chau-wen tseng<>
28186<>5905_8<>svetlozar nestorov:rajeev motwani<>infering structure in semistructured data<>sigmod<>serge abiteboul<>
28151<>5907_0<>sophie cluet:tova milo<>correspondence and translation for heterogeneous data<>icdt<>serge abiteboul<>
32998<>5913_69<>victor r. lesser<>coalitions among computationally bounded agents<>ai<>tuomas sandholm<>
20006<>5917_10<>philip s. yu:calton pu<>divergence control algorithms for epsilon serializability<>tkde<>kun-lung wu<>
20031<>5917_35<>ming-syan chen:philip s. yu<>indexed sequential data broadcasting in wireless mobile computing<>icdcs<>kun-lung wu<>
20877<>5929_2<>fritz albregtsen:torfinn taxt<>fast computation of three-dimensional geometric moments using a discrete divergence theorem and a generalization to higher dimensions<>cvgip<>luren yang<>
17406<>5933_5<>shih-yu huang<>a cascading mrvq-dct scheme for the compression of sequence images<>tip<>jia-shung wang<>
17393<>5936_0<>ming yao xu<>quasi-abelian cayley graphs and parsons graphs<>ejc<>jun wang<>
30639<>5945_9<>derek g. corneil:lorna stewart<>asteroidal triple-free graphs<>siamdm<>stephan olariu<>
17430<>5955_0<>ian marquis:tai nguyen<>a web-based course in english as a second language: a case study<>webnet<>jean wang<>
4460<>5959_1<>zhiyi huang:abdul sattar<>selective recomputation for handling side-effects in parallel logic programs<>plilp<>chengzheng sun<>
4462<>5959_3<>xiaohua jia:yun yang:yanchun zhang<>reduce: a prototypical cooperative editing system<>hci<>chengzheng sun<>
21311<>5963_2<>chung-chang hsu<>on minimum intersection of two minimum dominating sets of interval graphs<>dam<>maw-shang chang<>
21312<>5963_3<>nulo<>weighted domination of cocomparability graphs<>dam<>maw-shang chang<>
21308<>5965_2<>jianzhuang liu:w. k. cham<>on-line chinese character recognition by incorporating human knowledge<>ijufks<>michael m. y. chang<>
4509<>5968_1<>nulo<>parallel solution of sparse linear least squares problems on distributed-memory multiprocessors<>pc<>chunguang sun<>
4505<>5970_13<>deyi si<>skew and slant correction for document images using gradient direction<>icdar<>changming sun<>
4465<>5972_0<>zhiyi huang:wan-ju lei:abdul sattar<>heuristic diff acquiring in lazy release consistency model<>asian<>chengzheng sun<>
4479<>5972_14<>yanchun zhang:xiaohua jia:yun yang<>a generic operation transformation scheme for consistency maintenance in real-time cooperative editing systems<>group<>chengzheng sun<>
19666<>5985_4<>dajun zeng<>benefits of learning in negotiation<>aaai<>katia p. sycara<>
19677<>5985_15<>keith decker:mike williamson<>middle-agents for the internet<>ijcai<>katia p. sycara<>
19687<>5985_25<>keith decker<>intelligent adaptive information agents<>jiis<>katia p. sycara<>
19702<>5985_40<>keith decker:anandeep pannu:mike williamson<>designing behaviors for information agents<>agents<>katia p. sycara<>
25416<>5990_3<>marc s. atkin:tim oates:carole r. beal<>neo: learning conceptual knowledge by sensorimotor interaction with an environment<>agents<>paul r. cohen<>
25401<>5991_11<>michael johnston:david mcgee:sharon l. oviatt:jay pittman:ira a. smith:liang chen:josh clow<>quickset: multimodal interaction for distributed applications<>mm<>philip r. cohen<>
365<>6001_5<>wen-jing hsu:moon-jung chung<>linear recursive networks and their applications in distributed systems<>tpds<>amitabha das<>
368<>6001_8<>anil k. gupta:xiaoqun wang<>minimizing cell delay variation in crma/atm interworking<>comcom<>amitabha das<>
22279<>6008_5<>donald a. adjeroh:cyril u. orji<>techniques for fast partitioning of compressed and uncompressed video<>mta<>moon-chuen lee<>
22214<>6013_29<>tok wang ling<>resolving constraint conflicts in the integration of entity-relationship schemas<>er<>mong-li lee<>
24808<>6022_0<>nulo<>notes on levin's theory of average-case complexity<>eccc<>oded goldreich<>
24828<>6022_20<>shafi goldwasser:shai halevi<>eliminating decryption errors in the ajtai-dwork cryptosystem<>eccc<>oded goldreich<>
24852<>6022_44<>shafi goldwasser<>on the limits of non-approximability of lattice problems<>eccc<>oded goldreich<>
24853<>6022_45<>shafi goldwasser:shai halevi<>public-key cryptosystems from lattice reduction problems<>crypto<>oded goldreich<>
24854<>6022_46<>nulo<>combinatorial property testing (a survey)<>eccc<>oded goldreich<>
24872<>6022_64<>scott e. decatur:dana ron<>computational sample complexity<>colt<>oded goldreich<>
24875<>6022_67<>dana ron<>property testing in bounded degree graphs<>stoc<>oded goldreich<>
24896<>6022_88<>shafi goldwasser:shai halevi<>eliminating decryption errors in the ajtai-dwork cryptosystem<>crypto<>oded goldreich<>
24915<>6022_107<>scott e. decatur:dana ron<>computational sample complexity<>eccc<>oded goldreich<>
15575<>6029_0<>kenneth w. bauer jr.<>how common random numbers affect multinomial selection<>wsc<>john o. miller<>
28276<>6044_26<>nulo<>translating application requirements to atm cell level requirements<>icc<>sujata banerjee<>
30134<>6049_3<>nulo<>evolution: a more practical approach than refinement for software development<>iceccs<>shaoying liu<>
30137<>6049_6<>chris ho-stuart<>a formal operational semantics for sofl<>apsec<>shaoying liu<>
30140<>6049_9<>yong sun:mitsuru ohba<>self-independent petri nets for distributed systems<>forte<>shaoying liu<>
30177<>6066_21<>nulo<>silicon retina with adaptive filtering properties<>nips<>shih-chii liu<>
779<>6077_2<>dimitris c. dracopoulos<>adaptive neuro-genetic control of chaos applied to the attitude control problem<>nca<>antonia j. jones<>
782<>6077_5<>adalbjarn stefansson:nenad koncar<>a note on the gamma test<>nca<>antonia j. jones<>
20324<>6081_0<>eric veach<>metropolis light transport<>siggraph<>leonidas j. guibas<>
3371<>6093_6<>sun-yuan hsieh:gen-huey chen<>fault-tolerant ring embedding in faulty arrangement graphs<>icpads<>chin-wen ho<>
3373<>6093_8<>sun-yuan hsieh:gen-huey chen<>parallel decomposition of generalized series-parallel graphs<>pdpta<>chin-wen ho<>
3377<>6093_12<>sheng-lung peng:tsan-sheng hsu:ming-tat ko:chuan yi tang<>edge and node searching problems on trees<>cocoon<>chin-wen ho<>
3380<>6093_15<>sun-yuan hsieh:gen-huey chen<>an efficient parallel strategy for computing k-terminal reliability and finding most vital edge in 2-trees and partial 2-trees<>ipps<>chin-wen ho<>
3383<>6093_18<>sun-yuan hsieh:gen-huey chen<>hamiltonian-laceability of star graphs<>ispan<>chin-wen ho<>
3385<>6093_20<>sun-yuan hsieh:gen-huey chen:tsan-sheng hsu:ming-tat ko<>. efficient parallel algorithms on distance-hereditary graphs<>icpp<>chin-wen ho<>
33781<>6124_0<>pheng-ann heng<>principal stream surfaces<>visualization<>wenli cai<>
3019<>6131_0<>chiuyuan chen:gerard j. chang<>proper interval graphs and the guard problem<>dm<>chin-chen chang<>
20366<>6166_5<>nulo<>similarity-based approaches to natural language processing<>corr<>lillian lee<>
20367<>6166_6<>ido dagan:fernando c. n. pereira<>similarity-based methods for word sense disambiguation<>corr<>lillian lee<>
20370<>6166_9<>ido dagan:fernando c. n. pereira<>similarity-based methods for word sense disambiguation<>acl<>lillian lee<>
20376<>6168_0<>nulo<>fast context-free parsing requires fast boolean matrix multiplication<>corr<>lillian lee<>
20377<>6168_1<>nulo<>fast context-free parsing requires fast boolean matrix multiplication<>acl<>lillian lee<>
33485<>6174_0<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
33501<>6174_16<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
33505<>6174_20<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
33506<>6174_21<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
33513<>6174_28<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
33542<>6174_57<>nulo<>interval methods in knowledge representation<>ijufks<>vladik kreinovich<>
10616<>6187_48<>manoranjan dash<>feature selection for classification<>ida<>huan liu<>
10619<>6187_51<>manoranjan dash:j. yao<>dimensionality reduction of unsupervised data<>ictai<>hua liu<>
10628<>6187_60<>rudy setiono<>feature selection via discretization<>tkde<>huan liu<>
24298<>6192_4<>j. r. campos<>towards a social level characterisation of socially responsible agents<>iee<>nicholas r. jennings<>
24308<>6192_14<>timothy j. norman:peyman faratin:e. h. mamdani<>designing and implementing a multi-agent architecture for business process management<>atal<>nicholas r. jennings<>
24326<>6192_32<>frances m. t. brazier:barbara dunin-keplicz:jan treur<>desire: modelling multi-agent systems in a compositional formal framework<>ijcis<>nicholas r. jennings<>
24340<>6192_46<>carles sierra:pablo noriega:simon parsons<>a framework for argumentation-based negotiation<>atal<>nicholas r. jennings<>
24373<>6192_79<>carles sierra:peyman faratin<>a service-oriented negotiation model between autonomous agents<>maamaw<>nicholas r. jennings<>
24438<>6192_144<>timothy j. norman<>generating states of joint commitment between autonomous agents<>ausai<>nicholas r. jennings<>
11441<>6220_5<>joseph m. hellerstein:peter j. haas<>online aggregation<>sigmod<>helen j. wang<>
11471<>6222_14<>david m. berman:a. j. radcliffe:alex d. scott:larry wargo<>all trees contain a large induced subgraph having all degrees 1 (mod k)<>dm<>hong wang<>
10877<>6236_1<>martin l. brady:kenneth k. jung:thinh p. q. nguyen<>two-phase perspective ray casting for interactive volume navigation<>visualization<>h. t. nguyen<>
40722<>6254_15<>hideya iwasaki:masato takeichi<>formal derivation of efficient parallel programs by construction of list homomorphisms<>toplas<>zhenjiang hu<>
40736<>6254_29<>hideya iwasaki:masato takeichi:akihiko takano<>tupling calculation eliminates multiple data traversals<>icfp<>zhenjiang hu<>
40737<>6254_30<>yoshiyuki onoue:hideya iwasaki:masato takeichi<>a calculational fusion system hylo<>alc<>zhenjiang hu<>
7954<>6288_0<>nulo<>an architectural model for application integration in open hypermedia environments<>ht<>e. james whitehead jr.<>
7966<>6288_12<>gail e. kaiser<>collaborative work: distributed authoring and versioning<>internet<>e. james whitehead jr.<>
7986<>6289_4<>zhi-yi guo<>chromaticity of a family of k homeomorphs<>dm<>earl glen whitehead jr.<>
10019<>6304_8<>tetsuo shibuya<>new flexible approaches for multiple sequence alignment<>recomb<>hiroshi imai<>
10024<>6304_13<>tetsuo shibuya<>new flexible approaches for multiple sequence alignment<>jcb<>hiroshi imai<>
10025<>6304_14<>kensuke onishi<>voronoi diagram in statistical parametric space by kullback-leibler divergence<>compgeom<>hiroshi imai<>
10027<>6304_16<>fumihiko takeuchi<>enumerating triangulations for products of two simplices and for arbitrary configurations of points<>cocoon<>hiroshi imai<>
17869<>6314_0<>james allan:james p. callan:w. bruce croft:lisa ballesteros:donald byrd:russell c. swan<>inquery does battle with trec-6<>trec<>jinxi xu<>
1832<>6316_0<>edward remias:gholamhosein sheikholeslami:tanveer fathima syeda-mahmood<>supporting content-based retrieval in large image database systems<>mta<>aidong zhang<>
33863<>6338_1<>israel hilerio<>herbal-t internet desktop<>webnet<>weidong chen<>
33853<>6339_0<>chun-wu roger leng<>a novel mobile agent search algorithm<>ma<>wen-shyen e. chen<>
33858<>6339_5<>chun-wu roger leng:yao-nan lien<>a novel mobile agent search algorithm<>icccn<>wen-shyen e. chen<>
629<>6343_3<>sukumar ghosh:sriram v. pemmaraju<>fault-containing network protocols<>sac<>arobinda gupta<>
585<>6344_3<>simone santini:ramesh jain<>in search of information in visual media<>cacm<>amarnath gupta<>
599<>6344_17<>arun hampapur:bradley horowitz:chiao-fe shu:charles fuller:jeffrey r. bach:monika gorkani:ramesh jain<>virage video engine<>spieSR<>amarnath gupta<>
610<>6344_28<>ramesh jain<>visual information retrieval<>cacm<>amarnath gupta<>
12996<>6357_8<>stephen s. intille:aaron f. bobick<>real-time closed-world tracking<>cvpr<>james w. davis<>
1661<>6363_0<>berna dengiz:fulya altiparmak<>local search genetic algorithm for optimization of highly reliable communications networks<>icga<>alice e. smith<>
1665<>6363_4<>berna dengiz:fulya altiparmak<>local search genetic algorithm for optimal design of reliable networks<>tec<>alice e. smith<>
1611<>6370_29<>barbara tockey zivkov<>disk caching in large database and timeshared systems<>mascots<>alan jay smith<>
1622<>6370_40<>jacob r. lorch<>scheduling techniques for reducing processor energy use in macos<>winet<>alan jay smith<>
1629<>6370_47<>barbara tockey zivkov<>disk cache design and performance as evaluated in large timesharing and database systems<>cmg<>alan jay smith<>
5616<>6381_0<>michael j. bailey<>visualization of height field data with physical models and texture photomapping<>visualization<>dru clark<>
18863<>6382_0<>jiannong cao:chung-leung pang:sang hyuk son<>resolving conflicts with committing transactions in distributed real-time databases<>iceccs<>kam-yiu lam<>
18873<>6382_10<>tony s. h. lee:sang hyuk son<>reads: a prototyping environment for real-time active applications<>dexaw<>kam-yiu lam<>
18877<>6382_14<>chris c. h. ngan:joseph kee-yin ng<>a priority feedback mechanism for distributed mpeg video player systems<>idms<>kam-yiu lam<>
18889<>6382_26<>kwok-wa lam:sheung-lun hung<>optimistic concurrency control protocol for real-time databases<>jss<>kam-yiu lam<>
18890<>6382_27<>gary c. k. law:victor c. s. lee<>scheduling of triggered transactions in distributed real-time active databases<>artdb<>kam-yiu lam<>
18894<>6382_31<>tei-wei kuo:wai-hung tsang<>concurrency control for real-time database systems with mixed transactions<>rtcsa<>kam-yiu lam<>
14987<>6393_21<>yuan yan tang:ching y. suen<>chinese document layout analysis based on adaptive split-and-merge and qualitative spatial reasoning<>pr<>jiming liu<>
15002<>6393_36<>hong qin:yuan yan tang:y. t. wu<>adaptation and learning in animated creatures<>agents<>jiming liu<>
15006<>6393_40<>yuan yan tang:y. c. cao<>an evolutionary autonomous agents approach to image feature extraction<>tec<>jiming liu<>
392<>6420_2<>igor r. viguier<>"providing real-time response, state recency and temporal consistency in databases for rapidly changing environments."<>is<>anindya datta<>
26647<>6422_1<>rajeev alur:thomas a. henzinger:shaz qadeer:sriram k. rajamani<>partial-order reduction in symbolic state space exploration<>cav<>robert k. brayton<>
3819<>6423_3<>seon g. chang<>balancing loads on sonet rings with integer demand splitting<>cor<>chae y. lee<>
3779<>6428_10<>joosun hahn:yang-min seo:sang lyul min:rhan ha:seongsoo hong:chang yun park:minsuk lee:chong-sang kim<>enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling<>rtss<>chang-gun lee<>
3801<>6434_2<>ragunathan rajkumar:john p. lehoczky:daniel p. siewiorek<>a resource allocation model for qos management<>rtss<>chen lee<>
26957<>6444_0<>don roberts:john brant<>a refactoring tool for smalltalk<>tapos<>ralph e. johnson<>
18091<>6446_1<>jonathan goldstein:raghu ramakrishnan:uri shaft<>processing queries by linear constraints<>pods<>jie-bing yu<>
2723<>6457_9<>hsu-chun yen:ming-sheng yang<>deciding a class of path formulas for conflict-free petri nets<>mst<>bow-yaw wang<>
37335<>6474_2<>chiang lee:chi-sheng shih<>a graph-theoretic model for optimizing large join queries<>dasfaa<>yaw-huei chen<>
37336<>6474_3<>arthur j. t. chang:chiang lee<>object signatures for supporting efficient navigation in object-oriented databases<>dexaw<>yaw-huei chen<>
25493<>6488_10<>nulo<>efficient algorithms for data distribution on distributed memory parallel computers<>tpds<>peizong lee<>
9869<>6491_0<>sang kyu lee<>link-disjoint embedding of complete binary trees in meshes<>networks<>hyeong-ah choi<>
25526<>6495_14<>george c. necula<>research on proof-carrying code for untrusted-code security<>sp<>peter lee<>
9841<>6496_4<>hongsik choi:murat azizoglu<>on the all-to-all broadcast problem in optical networks<>infocom<>hyeong-ah choi<>
32888<>6506_23<>davi geiger<>visual deconstruction: recognizing articulated objects<>emmcvpr<>tyng-luh liu<>
36104<>6514_8<>nulo<>map displays for information retrieval<>jasis<>xia lin<>
36083<>6515_4<>xiaoqing ding:youshou wu<>handwritten numeral recognition using mfnn based multiexpert combination strategy<>icdar<>xiaofan lin<>
36049<>6516_2<>peter eades<>area requirements for drawing hierarchically planar graphs<>gd<>xuemin lin<>
29148<>6539_11<>stephen chan<>experiences with backward simulation based approach for lot release planning<>wsc<>sanjay jain<>
10067<>6540_15<>v. carl hamacher<>performance and configuration of hierarchical ring networks for multiprocessors<>icpp<>hong jiang<>
28018<>6542_9<>satish chandra:james r. larus:michael dahlin:brad richards:thomas e. anderson<>experience with a language for writing coherence protocols<>dsl<>randolph y. wang<>
28027<>6542_18<>jeanna m. neefe:drew s. roselli:adam m. costello:thomas e. anderson<>improving the performance of log-structured file systems with adaptive methods<>sosp<>randolph y. wang<>
39311<>6550_26<>sze-yao ni:jang-ping sheu<>toward optimal complete exchange on wormhole-routed tori<>icpads<>yu-chee tseng<>
39315<>6550_30<>jang-ping sheu<>toward optimal broadcast in a star graph using multiple spanning trees<>tc<>yu-chee tseng<>
39336<>6550_51<>nulo<>a dilated-diagonal-based scheme for broadcast in a wormhole-routed 2d torus<>tc<>yu-chee tseng<>
28412<>6555_31<>alexandros eleftheriadis:dimitris anastassiou:stephen jacobs:hari kalva:javier zamora<>columbia's vod and multimedia research testbed with heterogeneous network support<>mta<>shih-fu chang<>
28422<>6555_41<>hari kalva:alexandros eleftheriadis<>davic and interoperability experiments<>mta<>shih-fu chang<>
28434<>6555_53<>john r. smith<>visually searching the web for content<>ieeemm<>shih-fu chang<>
28436<>6555_55<>di zhong<>spatio-temporal video search using the object-based video representation<>icip<>shih-fu chang<>
12059<>6557_2<>jonathan geisler:carl kesselman:steven tuecke<>managing multiple communication methods in high-performance networked computing systems<>jpdc<>ian t. foster<>
12069<>6557_12<>david kohr:rakesh krishnaiyer:jace mogill<>remote i/o fast access to distant storage<>iopads<>ian t. foster<>
12078<>6557_21<>george k. thiruvathukal:steven tuecke<>technologies for ubiquitous supercomputing: a java interface to the nexus communication system<>concurrency<>ian t. foster<>
12092<>6557_35<>nicholas t. karonis:carl kesselman:g. koenig:steven tuecke<>a secure communications infrastructure for high-performance distributed computing<>hpdc<>ian t. foster<>
12106<>6557_49<>steven fitzgerald:carl kesselman:gregor von laszewski:warren smith:steven tuecke<>a directory service for configuring high-performance distributed computations<>hpdc<>ian t. foster<>
21827<>6565_2<>elizabeth d. mynatt:annette adler:vicki l. o'day<>design for network communities<>chi<>mizuko ito<>
40842<>6579_27<>junjie gu:gyungho lee<>experience with efficient array data-flow analysis for array privatization<>ppopp<>zhiyuan li<>
1294<>6584_8<>marius bozga:oded maler:sergio yovine<>some progress in the symbolic verification of timed automata<>cav<>amir pnueli<>
1322<>6584_36<>eugene asarin:marius bozga:alain kerbrat:oded maler:anne rasse<>data-structures for the verification of timed automata<>hybrid<>amir pnueli<>
1346<>6584_60<>werner damm:bernhard josko:hardi hungar<>a compositional real-time semantics of statemate designs<>compos<>amir pnueli<>
1399<>6584_113<>werner damm<>verifying out-of-order executions<>charme<>amir pnueli<>
32683<>6627_1<>c. c. jay kuo<>a hybrid bmc/obmc motion compensation scheme<>icip<>tien-ying kuo<>
33400<>6628_3<>jose meseguer:vladimiro sassone<>on the semantics of place/transition petri nets<>mscs<>ugo montanari<>
19786<>6647_6<>t. morita<>cluster ztp in the recovery of an image<>prl<>kazu. tanaka<>
19789<>6649_0<>nulo<>non standard analysis in wklo<>mlq<>kazuyuki tanaka<>
1112<>6653_5<>jon g. hall<>reconstructed<>zum<>andrew martin<>
1113<>6653_6<>owen traynor:daniel hazel:peter kearney:ray nickson:luke wildman<>the cogito development system<>amast<>andrew martin<>
1130<>6655_5<>martin grotschel:robert weismantel<>the steiner tree packing problem in vlsi design<>mp<>alexander martin<>
41409<>6669_2<>josep torrellas<>the performance of the cedar multistage switching network<>tpds<>zheng zhang<>
41491<>6671_6<>rudolf ahlswede:ning cai<>on interactive communication<>tit<>zhen zhang<>
41501<>6671_16<>rudolf ahlswede:en-hui yang<>identification via compressed data<>tit<>zhen zhang<>
41502<>6671_17<>en-hui yang:toby berger<>fixed-slope universal lossy data compression<>tit<>zhen zhang<>
41480<>6672_3<>raymond g. vickson:michel j. a. van eenige<>optimal two-threshold policies in an m/g/1 queue with two vacation types<>pe<>zhe george zhang<>
41459<>6673_20<>nulo<>large deviations and the generalized processor sharing scheduling for a two-queue system<>questa<>zhi-li zhang<>
3668<>6675_4<>nulo<>whither formal methods: a plea to investigate new applications<>icfem<>c. jones<>
3702<>6676_8<>paul beynon-davies:l. bonde:d. mcphee<>a collaborative schema integration system<>cscw<>c. b. jones<>
3705<>6677_0<>nulo<>geographical interfaces to museum collections<>ichim<>christopher b. jones<>
1871<>6684_8<>nulo<>lower bounds for off-line range searching<>dcg<>bernard chazelle<>
1924<>6684_61<>david p. dobkin:nadia shouraboura:ayellet tal<>strategies for polyhedral surface decomposition: an experimental study<>comgeo<>bernard chazelle<>
5689<>6701_0<>yen-jen lee:wei-hsiu ma:james a. schnepf<>creating a virtual network laboratory<>icmcs<>david hung-chang du<>
5691<>6701_2<>jenwei hsieh:horng-juing lee:tai-sheng chang<>pcr-assist cbr for delivering pre-recorded mpeg-2 transport streams<>icmcs<>david hung-chang du<>
5660<>6707_1<>peng-jun wan:ronald l. graham<>the steiner ratio for the dual normed plane<>dm<>ding-zhu du<>
5669<>6707_10<>peter c. fishburn:frank k. hwang:biao gao<>on 1-rate wide-sense nonblocking for 3-stage clos networks<>dam<>ding-zhu du<>
5676<>6707_17<>al borchers<>the k-steiner ratio in graphs<>siamcomp<>ding-zhu du<>
5687<>6707_28<>biao gao:weili wu<>a special case for subset interconnection designs<>dam<>ding-zhu du<>
18424<>6710_21<>dieter gollmann<>an efficient non-repudiation protocol<>csfw<>jianying zhou<>
37555<>6730_2<>nulo<>convergence and ordering of kohonen's batch map<>neco<>yizong cheng<>
26358<>6741_0<>kyuseok shim:ramakrishnan srikant<>high-dimensional similarity joins<>icde<>rakesh agrawal<>
26367<>6741_9<>ramakrishnan srikant:quoc vu<>mining association rules with item constraints<>kdd<>rakesh agrawal<>
26375<>6741_17<>ching-tien ho:nimrod megiddo:ramakrishnan srikant<>range queries in olap data cubes<>sigmod<>rakesh agrawal<>
26384<>6741_26<>ashish gupta:sunita sarawagi<>modeling multidimensional databases<>icde<>rakesh agrawal<>
26387<>6741_29<>brian lent:ramakrishnan srikant<>discovering trends in text databases<>kdd<>rakesh agrawal<>
3335<>6743_3<>hava t. siegelmann:bill g. horne<>computational capabilities of recurrent narx neural networks<>tsmc<>c. lee giles<>
3336<>6743_4<>m. f. sakr:steven p. levitan:donald m. chiarulli:bill g. horne<>predicting multiprocessor memory access patterns with learning models<>icml<>c. lee giles<>
3344<>6743_12<>hava t. siegelmann<>the complexity of language recognition by neural networks<>ijon<>c. lee giles<>
3349<>6743_17<>leo kuvayev:james philbin:henry cejtin<>intelligent methods for file system optimization<>aaai<>c. lee giles<>
3350<>6743_18<>steve lawrence:ah chung tsoi<>lessons in neural network training: overfitting may be harder than expected<>aaai<>c. lee giles<>
29764<>6748_1<>m. vidyasagar<>learning decision rules for pattern classification under a family of probability measures<>tit<>sanjeev r. kulkarni<>
29746<>6749_15<>anish arora<>multitolerant barrier synchronization<>ipl<>sandeep s. kulkarni<>
29762<>6749_31<>anish arora<>compositional design of multitolerant repetitive byzantine agreement<>wss<>sandeep s. kulkarni<>
37728<>6751_1<>max h. garzon:john a. rose:r. c. murphy:russell j. deaton:donald r. franceschetti:stanley edward stevens jr.<>in vitro implementation of finite-state machines<>wia<>y. gao<>
2840<>6758_0<>joseph cheriyan<>the node multiterminal cut polyhedron<>networks<>bo yu<>
40785<>6771_0<>john bell<>dynamic belief hierarchies<>modelage<>zhisheng huang<>
9072<>6831_7<>john derrick<>refinement and verification of concurrent systems specified in object-z and csp<>icfem<>graeme smith<>
35345<>6841_3<>nulo<>a verification method for solutions of nonsmooth equations<>computing<>xiaoju chen<>
38128<>6842_1<>kenneth williams<>on bandwidth for the tensor product of paths and cycles<>dam<>yung-ling lai<>
7397<>6847_3<>shifu chen:wujia zhu:zhaoqian chen<>representation theorems for multiple belief changes<>ijcai<>dongmo zhang<>
7406<>6847_12<>shifu chen:wujia zhu:hongbing li<>nonmonotonic reasoning and multiple belief revision<>ijcai<>dongmo zhang<>
7433<>6855_2<>martial hebert<>multi-scale classification of 3-d objects<>cvpr<>dongmei zhang<>
8067<>6862_9<>dan s. bloomberg<>extraction of indicative summary sentences from imaged documents<>icdar<>francine chen<>
21528<>6881_5<>peter buneman:susan b. davidson:dan suciu<>adding structure to unstructured data<>icdt<>mary f. fernandez<>
21536<>6881_13<>daniela florescu:alon y. levy:dan suciu<>a query language for a web-site management system<>sigmod<>mary f. fernandez<>
5169<>6886_2<>lori l. pollock<>an algorithm for all-du-path testing coverage of shared memory parallel programs<>ats<>cheer-sun d. yang<>
2376<>6888_0<>richard a. sit:victoria a. spaulding:sherry e. mead:neff walker<>age group differences in world wide web navigation<>chi<>beth meyer<>
2318<>6889_5<>jean-marc jezequel<>design by contract: the lessons of ariane<>computer<>bertrand meyer<>
2330<>6889_17<>nulo<>the next software breakthrough<>computer<>bertrand meyer<>
2341<>6889_28<>nulo<>practice to perfect: the quality first model<>computer<>bertrand meyer<>
14355<>6897_2<>myoung-ho kim<>on effective data clustering in bitemporal databases<>time<>jong soo kim<>
17005<>6903_2<>kenneth basye:thomas dean<>coping with uncertainty in map learning<>ml<>jeffrey scott vitter<>
17013<>6903_10<>pankaj k. agarwal:t. m. murali<>practical techniques for constructing binary space partitions for orthogonal rectangles<>compgeom<>jeffrey scott vitter<>
17020<>6903_17<>pankaj k. agarwal:leonidas j. guibas:t. m. murali<>cylindrical static and kinetic binary space partitions<>compgeom<>jeffrey scott vitter<>
17035<>6903_32<>rakesh d. barve:edward f. grove<>simple randomized mergesort on parallel disks<>pc<>jeffrey scott vitter<>
17049<>6903_46<>lars arge:paolo ferragina:roberto grossi<>on sorting strings in external memory (extended abstract)<>stoc<>jeffrey scott vitter<>
17057<>6903_54<>rakesh d. barve:mahesh kallahalla:peter j. varman<>competitive parallel disk prefetching and buffer management<>iopads<>jeffrey scott vitter<>
17087<>6903_84<>philip m. long:apostol natsev<>text compression via alphabet re-representation<>dcc<>jeffrey scott vitter<>
2099<>6916_6<>ali r. hurson:joford t. lim:krishna m. kavi<>parallelization of doall and doacross loops - a survey<>ac<>ben lee<>
