15777<>0_3<>jean-claude bajard:laurent-stephane didier<>a new euclidean division algorithm for residue number systems<>asap<>jean-michel muller<>
15779<>0_5<>asger munk nielsen<>on-line algorithms for computing exponentials and logarithms<>europar<>jean-michel muller<>
5943<>6_3<>nulo<>an architecture for enforcement of usage contracts in distributed multimedia systems<>cascon<>david evans<>
5931<>7_5<>nulo<>static detection of dynamic memory errors<>pldi<>david evans<>
26597<>17_44<>gonzalo navarro<>integrating contents and structure in text retrieval<>sigmod<>ricardo a. baeza-yates<>
26604<>17_51<>eduardo f. barbosa:nivio ziviani<>hierarchies of indices for text searching<>is<>ricardo a. baeza-yates<>
26624<>17_71<>jose m. piquer:e. vera:masatoshi makino:yuji inoue<>accessnova: broadband networks and multimedia services experiments<>ifip<>ricardo a. baeza-yates<>
26627<>17_74<>nulo<>bounded disorder: the effect of the index<>tcs<>ricardo a. baeza-yates<>
26644<>17_91<>gonzalo navarro<>a faster algorithm for approximate string matching<>cpm<>ricardo a. baeza-yates<>
23311<>18_0<>alon efrat<>a near-linear algorithm for the planar segment-center problem<>dcg<>micha sharir<>
23315<>18_4<>emo welzl<>rectilinear and polygonal -piercing and -center problems<>compgeom<>micha sharir<>
23328<>18_17<>dan halperin<>a near-quadratic algorithm for planning the motion of a polygon in a polygonal environment<>dcg<>micha sharir<>
23340<>18_29<>pankaj k. agarwal:mark de berg:dan halperin<>efficient generation of k-directional assembly sequences<>soda<>micha sharir<>
23343<>18_32<>nulo<>excess in arrangements of segments<>ipl<>micha sharir<>
23344<>18_33<>jiri matousek:emo welzl<>a subexponential bound for linear programming<>algorithmica<>micha sharir<>
23346<>18_35<>nulo<>a near-linear algorithm for the planar 2-center problem<>compgeom<>micha sharir<>
23348<>18_37<>gill barequet<>partial surface matching by using directed footprints<>compgeom<>micha sharir<>
23356<>18_45<>pankaj k. agarwal<>efficient randomized algorithms for some geometric. optimization problems<>dcg<>micha sharir<>
10970<>21_39<>didier dubois:helene fargier<>"possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty."<>apin<>henri prade<>
25107<>25_45<>micha sharir<>ray shooting amidst convex polygons in 2d<>jal<>pankaj k. agarwal<>
25141<>25_79<>jonathan d. cohen:amitabh varshney:dinesh manocha:greg turk:hans weber:frederick p. brooks jr.:william v. wright<>simplification envelopes<>siggraph<>pankaj k. agarwal<>
8493<>29_3<>heping zhang<>the clar covering polynomial of hexagonal systems i<>dam<>fuji zhang<>
8502<>31_3<>erik h. d'hollander<>pvm code generator for the fortran parallel transformer<>pdpta<>fubo zhang<>
33412<>32_3<>salwa k. abd-el-hafiz<>a method for documenting code components<>jss<>victor r. basili<>
33415<>32_6<>lionel c. briand:sandro morasca<>property-based software engineering measurement<>tse<>victor r. basili<>
33459<>32_50<>lionel c. briand:walcelio l. melo<>a validation of object-oriented design metrics as quality indicators<>tse<>victor r. basili<>
33476<>32_67<>salwa k. abd-el-hafiz<>a knowledge-based approach to the analysis of loops<>tse<>victor r. basili<>
26785<>50_16<>fei song<>a strengthened algorithm for temporal reasoning about plans<>ci<>robin cohen<>
26747<>53_2<>yee-hsiang chang<>video-on-demand session management<>jsac<>reuven cohen<>
26756<>53_11<>baiju v. patel:adrian segall<>handover in a micro-cell packet switched mobile network<>winet<>reuven cohen<>
18763<>57_9<>chiaki sakama<>a fixpoint characterization of abductive logic programs<>jlp<>katsumi inoue<>
18790<>57_36<>chiaki sakama<>representing priorities in logic programs<>iclp<>katsumi inoue<>
16920<>64_0<>nulo<>introduction: a debate about the ethics of fair practices for collecting social science data in cyberspace<>tis<>jim thomas<>
10841<>99_0<>paul w. a. stallard:david h. d. warren<>multitasking and multithreading on a multiprocessor with virtual shared memory<>hpca<>henk l. muller<>
10863<>99_22<>paul w. a. stallard:david h. d. warren<>implementing the data diffusion machine using crossbar routers<>ipps<>henk l. muller<>
8043<>102_0<>jonathan t.-y. chang<>detecting delay flaws by very-low-voltage testing<>itc<>edward j. mccluskey<>
23395<>106_1<>nulo<>synthesizing distributed constrained events from transactional workflow<>icde<>munindar p. singh<>
23416<>106_22<>michael n. huhns<>challenges for machine learning in cooperative information systems<>ecai<>munindar p. singh<>
23420<>106_26<>nulo<>"commitments in the architecture of a limited, rational agent."<>pricai<>munindar p. singh<>
23445<>106_51<>paul c. attie:e. allen emerson:amit p. sheth:marek rusinkiewicz<>scheduling workflows by enforcing intertask dependencies<>dse<>munindar p. singh<>
6600<>124_1<>kenneth rose:allen gersho<>entropy-constrained tree-structured vector quantizer design<>tip<>david j. miller<>
6603<>124_4<>hasan s. uyar<>a mixture of experts classifier with learning based on both labelled and unlabelled data<>nips<>david j. miller<>
6580<>127_21<>raymond mcdowell:catuscia palamidessi<>encoding transition systems in sequent calculus<>entcs<>dale miller<>
6581<>127_22<>nulo<>logical foundations for open system design<>csur<>dale miller<>
31503<>129_7<>manindra agrawal<>on the isomorphism conjecture for 2-dfa reductions<>ijfcs<>srinivasan venkatesh<>
32830<>135_32<>nulo<>introduction to the special issue on rough sets<>ijar<>tsau young lin<>
6807<>141_0<>divine t. ndumu:b. a. izzuddin<>explaining design plans<>kbs<>d. lloyd smith<>
5733<>153_4<>nulo<>average case analysis of dynamic geometric optimization<>comgeo<>david eppstein<>
5772<>153_43<>nulo<>linear complexity hexahedral mesh generation<>compgeom<>david eppstein<>
5779<>153_50<>gill barequet:matthew dickerson<>on triangulating three-dimensional polygons<>compgeom<>david eppstein<>
5781<>153_52<>david fernandez-baca:giora slutzki<>using sparsification for parametric minimum spanning tree problems<>njc<>david eppstein<>
5831<>153_102<>david p. dobkin:don p. mitchell<>computing the discrepancy with applications to supersampling patterns<>tog<>david eppstein<>
5862<>153_133<>david fernandez-baca:giora slutzki<>using sparsification for parametric minimum spanning tree problems<>swat<>david eppstein<>
5704<>158_11<>helene fargier:henri prade<>"possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty."<>apin<>didier dubois<>
17441<>159_0<>k. n. brown:chris a. mcmahon<>describing process plans as the formal semantics of a language of shape<>aei<>j. h. sims williams<>
22311<>163_0<>chang-gun lee:joosun hahn:sang lyul min:rhan ha:seongsoo hong:chang yun park:chong-sang kim<>analysis of cache-related preemption delay in fixed-priority preemptive scheduling<>rtss<>minsuk lee<>
27183<>184_1<>gang zhou:richard hull<>generating data integration mediators that use materialization<>jiis<>roger king<>
27169<>202_24<>c. g. angus<>pm - protein music<>bioinformatics<>ross d. king<>
34724<>205_10<>weiyi meng:clement t. yu:naphtali rishe<>performance analysis of several algorithms for processing joins between textual attributes<>icde<>wei wang<>
1846<>216_1<>rolf drechsler:nicole gockel<>learning heuristics for obdd minimization by evolutionary algorithms<>ppsn<>bernd becker<>
1844<>217_0<>stephan gschwind:thomas ohler:bernhard seeger:peter widmayer<>an asymptotically optimal multiversion b-tree<>vldb<>bruno becker<>
11891<>226_0<>nulo<>pattern generation with color map gouraud shading<>cg<>hansong zhang<>
17174<>234_13<>krishna m. sivalingam<>performance of a mac protocol for wdm networks with on-line scheduling<>infocom<>jie wang<>
39123<>236_3<>katsushi ikeuchi<>reflectance analysis for 3d computer graphics model generation<>cvgip<>yoichi sato<>
11859<>240_4<>xueliang li<>a solution to gutman's problem on the characteristic polynomial of a bipartite graph<>dm<>heping zhang<>
11860<>240_5<>fuji zhang<>the clar covering polynomial of hexagonal systems i<>dam<>heping zhang<>
39139<>242_1<>shigeki nagaya<>evolutionary algorithms that generate recurrent neural networks for learning chaos dynamics<>icec<>yuji sato<>
11904<>259_0<>nulo<>characterization of self-complementary symmetric digraphs<>dm<>hong zhang<>
30844<>269_11<>rajani nadella<>correlating internal parameters and external performance: learning soccer agents<>ecai<>sandip sen<>
30856<>269_23<>shounak roychowdhury:neeraj arora<>effects of local information on group behavior<>aaai<>sandip sen<>
30891<>269_58<>thomas haynes<>learning cases to resolve conflicts and improve group behavior<>aaai<>sandip sen<>
30905<>271_11<>hiroyuki kaneko:john a. stankovic:krithi ramamritham<>integrated scheduling of multimedia and hard real-time tasks<>rtss<>subhabrata sen<>
29169<>280_10<>donald g. marks:amihai motro<>enhancing the controlled disclosure of sensitive information<>esorics<>sushil jajodia<>
29183<>280_24<>indrajit ray:elisa bertino:luigi v. mancini<>an advanced commit protocol for mls distributed database systems<>ccs<>sushil jajodia<>
29206<>280_47<>paul ammann:indrakshi ray<>ensuring atomicity of multilevel transactions<>sp<>sushil jajodia<>
29213<>280_54<>nulo<>database security and privacy<>csur<>sushil jajodia<>
29239<>280_80<>pierangela samarati:elisa bertino<>an authorization model for a distributed hypertext system<>tkde<>sushil jajodia<>
29297<>280_138<>vijayalakshmi atluri:elisa bertino<>alternative correctness criteria for concurrent execution of transactions in multilevel secure databases<>tkde<>sushil jajodia<>
29309<>280_150<>luigi v. mancini:indrajit ray<>secure locking protocols for multilevel database management systems<>dbsec<>sushil jajodia<>
29318<>280_159<>vijayalakshmi atluri:thomas f. keefe:catherine d. mccollum:ravi mukkamala<>multilevel secure transaction processing: status and prospects<>dbsec<>sushil jajodia<>
29322<>280_163<>paul ammann:phyllis g. frankl<>globally consistent event ordering in one-directional distributed environments<>tpds<>sushil jajodia<>
29323<>280_164<>k. selcuk candan:v. s. subrahmanian<>secure mediated databases<>icde<>sushil jajodia<>
29329<>280_170<>pierangela samarati:paul ammann<>maintaining replicated authorizations in distributed database systems<>dke<>sushil jajodia<>
29331<>280_172<>claudio bettini:xiaoyang sean wang<>testing complex temporal relationships involving multiple granularities and its application to data mining<>pods<>sushil jajodia<>
29359<>280_200<>elisa bertino:pierangela samarati<>supporting multiple access control policies in database systems<>sp<>sushil jajodia<>
24786<>290_0<>daniel thalmann<>computer animation<>csur<>nadia magnenat-thalmann<>
33768<>293_0<>sibel adali:k. selcuk candan:yannis papakonstantinou<>query caching and optimization in distributed mediator systems<>sigmod<>v. s. subrahmanian<>
33769<>293_1<>k. selcuk candan:sushil jajodia<>secure mediated databases<>icde<>v. s. subrahmanian<>
33770<>293_2<>k. selcuk candan:p. venkat rangan<>towards a theory of collaborative multimedia<>icmcs<>v. s. subrahmanian<>
33771<>293_3<>james j. lu:anil nerode<>hybrid knowledge bases<>tkde<>v. s. subrahmanian<>
18567<>307_24<>hector garcia-molina:andreas paepcke<>boolean query mapping across heterogeneous information sources<>tkde<>kevin chen-chuan chang<>
4886<>328_2<>ton kloks:haiko muller<>vertex ranking of asteroidal triple-free graphs<>isaac<>c. k. wong<>
4887<>328_3<>ton kloks:dieter kratsch<>minimum fill-in on circle and circular-arc graphs<>icalp<>c. k. wong<>
23570<>333_10<>thomas a. henzinger:orna kupferman<>a space-efficient on-the-fly algorithm for real-time model checking<>concur<>moshe y. vardi<>
23627<>333_67<>orna kupferman:shmuel safra<>relating word and tree automata<>lics<>moshe y. vardi<>
23631<>333_71<>phokion g. kolaitis<>on the expressive power of variable-confined logics<>lics<>moshe y. vardi<>
23641<>333_81<>nulo<>rank predicates vs. progress measures in concurrent-program verification<>cjtcs<>moshe y. vardi<>
23643<>333_83<>nulo<>why is modal logic so robustly decidable?<>dimacs<>moshe y. vardi<>
23712<>333_152<>nulo<>implementing knowledge-based programs<>tark<>moshe y. vardi<>
23714<>333_154<>ronald fagin:joseph y. halpern:yoram moses<>common knowledge revisited<>tark<>moshe y. vardi<>
33269<>355_1<>oscar h. ibarra<>performance prediction in symbolic scheduling of partitioned programs with weight variation<>jpdc<>tao yang<>
33275<>355_7<>daniel andresen:omer egecioglu:oscar h. ibarra:terence r. smith<>scalability issues for high performance digital libraries on the world wide web<>adl<>tao yang<>
33286<>355_18<>athanassios s. poulakidas:ashok srinivasan:omer egecioglu:oscar h. ibarra<>experimental studies on a compact storage scheme for wavelet-based multiresolution subregion retrieval<>dcc<>tao yang<>
33287<>355_19<>yizhou yu:oscar h. ibarra<>parallel progressive radiosity with adaptive meshing<>irregular<>tao yang<>
33292<>355_24<>cong fu<>run-time compilation for parallel sparse matrix computations<>ics<>tao yang<>
33302<>355_34<>cong fu<>efficient run-time support for irregular task computations with mixed granularities<>ipps<>tao yang<>
33313<>355_45<>daniel andresen:vegard holmedahl:oscar h. ibarra<>sweb: towards a scalable world wide web server on multicomputers<>ipps<>tao yang<>
10134<>368_13<>nulo<>approximate validity<>pricai<>henry e. kyburg jr.<>
2493<>374_2<>hans dobbertin:antoon bosselaers<>ripemd-160: a strengthened version of ripemd<>fse<>bart preneel<>
38335<>400_1<>cecil c. rousseau<>on book-complete graph ramsey numbers<>jct<>yusheng li<>
22749<>424_2<>nulo<>designing the computational geometry algorithms library cgal<>wacg<>mark h. overmars<>
22757<>424_10<>a. frank van der stappen<>range searching and point location among fat objects<>jal<>mark h. overmars<>
22767<>424_20<>mark de berg:prosenjit bose:katrin dobrindt:marc j. van kreveld:marko de groot:thomas roos:jack snoeyink:sidi yu<>the complexity of rivers in triangulated terrains<>cccg<>mark h. overmars<>
22775<>424_28<>leonidas j. guibas:jean-marc robert<>the exact fitting problem in higher dimensions<>comgeo<>mark h. overmars<>
22787<>424_40<>mark de berg:henk meijer:gordon t. wilfong<>computing the angularity tolerance<>cccg<>mark h. overmars<>
22801<>424_54<>mark de berg:rene van oostrum<>simple traversal of a subdivision without extra storage<>compgeom<>mark h. overmars<>
22840<>424_93<>chantal wentink:a. frank van der stappen<>fixture design with edge-fixels<>dagstuhl<>mark h. overmars<>
22857<>424_110<>jules vleugels:vincenzo ferrucci:anil s. rao<>hunting voronoi vertices<>comgeo<>mark h. overmars<>
22864<>424_117<>petr svestka<>probabilistic approaches to motion planning<>sofsem<>mark h. overmars<>
16378<>439_3<>nulo<>on error estimates of the projection methods for the navier-stokes equations: second-order schemes<>moc<>jie shen<>
16358<>446_10<>nulo<>an improvement of the dulmage-mendelsohn theorem<>dm<>jian shen<>
1098<>481_6<>hsin-chu chen:nazir a. warsi<>multilevel master-slave parallel programming models<>asian<>alvin s. lim<>
19483<>483_3<>jean m. mcmanus<>video-on-demand over atm: constant-rate transmission and transport<>jsac<>keith w. ross<>
19503<>483_23<>jean m. mcmanus<>video on demand over atm: constant-rate transmission and transport<>infocom<>keith w. ross<>
19425<>485_0<>nulo<>tail recursion elimination in deductive databases<>tods<>kenneth a. ross<>
19475<>485_50<>damianos chatziantoniou<>querying multiple features of groups in relational databases<>vldb<>kenneth a. ross<>
24184<>489_1<>nulo<>a transform for multiscale image segmentation by integrated edge and region detection<>pami<>narendra ahuja<>
21780<>525_0<>anurag kumar:rajeev shorey<>queueing models and stability of message flows in distributed simulators of open queueing networks<>pads<>manish gupta<>
33927<>529_22<>john broglio:hideo fujii<>applications of multilingual text retrieval<>hicss<>w. bruce croft<>
33940<>529_35<>james allan:james p. callan:lisa ballesteros:john broglio:jinxi xu:hongming shu<>inquery at trec-5<>trec<>w. bruce croft<>
33943<>529_38<>s. r. vasanthakumar:james p. callan<>integrating inquery with an rdbms to support text retrieval<>debu<>w. bruce croft<>
25340<>546_17<>wee teck ng:subhachandra chandra:christopher m. aycock:gurushankar rajamani:david e. lowell<>the rio file cache: surviving operating system crashes<>asplos<>peter m. chen<>
25345<>546_22<>bruce l. jacob:seth r. silverman:trevor n. mudge<>an analytical model for designing memory hierarchies<>tc<>peter m. chen<>
27874<>582_10<>lesley r. matheson<>dominating sets in planar graphs<>ejc<>robert endre tarjan<>
38868<>585_1<>irith pomeranz<>synchronization of large sequential circuits by partial reset<>vts<>yuan lu<>
6221<>591_0<>budi yuwono<>wise: a world wide web resource database system<>tkde<>dik lun lee<>
6244<>591_23<>wang-chien lee<>using signature techniques for information filtering in wireless and mobile environments<>dpd<>dik lun lee<>
6271<>591_50<>liming ren<>document ranking on weight-partitioned signature files<>tois<>dik lun lee<>
6272<>591_51<>budi yuwono<>search and ranking algorithms for locating resources on the world wide web<>icde<>dik lun lee<>
6311<>592_1<>nulo<>"geometric algorithm visualization, current status and future."<>wacg<>d. t. lee<>
6335<>592_25<>nulo<>computational geometry<>csur<>d. t. lee<>
6340<>592_30<>tsan-sheng hsu:kuo-hui tsai:da-wei wang<>steiner problems on directed acyclic graphs<>cocoon<>d. t. lee<>
6342<>592_32<>hsiao-feng steven chen<>a faster algorithm for rubber-band equivalent transformation for planar vlsi layouts<>tcad<>d. t. lee<>
6346<>592_36<>chung-do yang:c. k. wong<>rectilinear paths among rectilinear obstacles<>dam<>d. t. lee<>
6303<>594_22<>mihalis yannakakis<>optimization problems from feature testing of communication protocols<>icnp<>david lee<>
421<>622_3<>hui chen<>analysis of parallel algorithms for finding a maximal independent set in a random hypergraph<>rsa<>alan m. frieze<>
477<>622_59<>mark jerrum:michael molloy:robert w. robinson:nicholas c. wormald<>generating and counting hamilton cycles in random regular graphs<>jal<>alan m. frieze<>
481<>622_63<>colin cooper:michael molloy:bruce a. reed<>"perfect matchings in random r-regular, s-uniform hypergraphs."<>cpc<>alan m. frieze<>
6553<>635_0<>chris reed:maria fox:max garagnani<>persuasion as a form of inter-agent negotiation<>dai<>derek long<>
12127<>642_0<>paul a. voois:john m. cioffi<>the effect of decision delay in finite-length decision feedback equalization<>tit<>inkyu lee<>
31820<>672_0<>jack a. a. van der veen<>low-complexity algorithms for sequencing jobs with a fixed number of job-classes<>cor<>shuzhong zhang<>
31826<>672_6<>a. i. barros:j. b. g. frenk:siegfried schaible<>a new algorithm for generalized fractional programs<>mp<>shuzhong zhang<>
25744<>702_8<>arif merchant:kun-lung wu:ming-syan chen<>performance analysis of dynamic finite versioning schemes: storage cost vs. obsolescence<>tkde<>philip s. yu<>
25758<>702_22<>ming-syan chen:tao-heng yang<>on coupling multiple systems with a global buffer<>tkde<>philip s. yu<>
25760<>702_24<>ming-syan chen:chung-sheng li<>using content-based search to download digital video into a client station<>rti<>philip s. yu<>
25771<>702_35<>ming-syan chen:kun-lung wu<>optimization of parallel execution for multi-join queries<>tkde<>philip s. yu<>
25831<>702_95<>avraham leff:joel l. wolf<>efficient lru-based buffering in a lan remote caching architecture<>tpds<>philip s. yu<>
25855<>702_119<>charu c. aggarwal:joel l. wolf<>a permutation-based pyramid broadcasting scheme for video-on-demand systems<>icmcs<>philip s. yu<>
25862<>702_126<>arif merchant<>analytic modeling of clustered raid with mapping based on nearly random permutation<>tc<>philip s. yu<>
25874<>702_138<>charu c. aggarwal:joel l. wolf<>on optimal piggyback merging policies for video-on-demand systems<>sigmetrics<>philip s. yu<>
25880<>702_144<>kun-lung wu<>consumption-based buffer management for maximizing system throughput of a multimedia system<>icmcs<>philip s. yu<>
25887<>702_151<>charu c. aggarwal:joel l. wolf<>on optimal batching policies for video-on-demand storage servers<>icmcs<>philip s. yu<>
29654<>715_0<>sungjun park:dongho won<>convertible group signatures<>asiacrypt<>seungjoo kim<>
18189<>728_13<>dharmavani bhagavathi:himabindu gurla:stephan olariu:james l. schwing<>square meshes are not optimal for convex hull computation<>tpds<>jingyuan zhang<>
18217<>732_7<>nulo<>symbolic computation on complex polynomial solution of differential equations<>jsc<>jun zhang<>
40012<>736_10<>oscar h. ibarra:tao yang<>parallel progressive radiosity with adaptive meshing<>irregular<>yizhou yu<>
40027<>737_2<>tsong yueh chen<>on the expected number of failures detected by subdomain testing and random testing<>tse<>yuen-tak yu<>
21561<>750_2<>rebecca n. wright<>bounds on secret key exchange using a random deal of cards<>joc<>michael j. fischer<>
12307<>759_14<>ted briscoe<>apportioning development effort in a probabilistic lr parsing system through evaluation<>corr<>john carroll<>
12272<>761_3<>mary beth rosson<>developing the blacksburg electronic village<>cacm<>john m. carroll<>
12284<>761_15<>mary beth rosson<>the reuse of uses in smalltalk programming<>tochi<>john m. carroll<>
22549<>800_3<>lori blanc<>on the retention of female computer science students<>sigcse<>mei-ling l. liu<>
5498<>817_2<>christopher l. huntley<>parallel genetic algorithms with local search<>cor<>donald e. brown<>
21233<>832_2<>bernhard schatz:heinrich husmann<>graphical development of consistent system specifications<>fm<>manfred broy<>
21252<>832_21<>nulo<>algebraic specification of reactive systems<>amast<>manfred broy<>
40672<>837_1<>richard e. ewing:raytcho d. lazarov<>domain decomposition algorithms for mixed methods for second-order elliptic problems<>moc<>zhangxin chen<>
30803<>849_3<>vipin chaudhary:cheng-zhong xu:jialin ju:v. sinha:laiwu luo<>design and evaluation of an environment ape for automatic parallelization of programs<>ispan<>sumit roy<>
39674<>868_1<>john p. ziebarth:chuck woodbury:eric bayer:bruce rundell:jeroen van der zijp<>the challenges of visualizing and modeling environmental data<>visualization<>yingcai xiao<>
3899<>878_0<>lai-wan chan:john sum<>attraction basin of bidirectional associative memories<>ijns<>chi-sing leung<>
6055<>898_2<>somesh jha:craig damon<>faster checking of software specifications by eliminating isomorphs<>popl<>daniel jackson<>
12654<>919_5<>nulo<>encal: an automated forward deduction system for general-purpose entailment calculus<>ifip<>jingde cheng<>
12667<>919_18<>jianjun zhao:kazuo ushijima<>static slicing of concurrent object-oriented programs<>compsac<>jingde cheng<>
12670<>919_21<>kazuo ushijima<>tasking deadlocks in ada 95 programs and their detection<>adaEurope<>jingde cheng<>
12685<>925_4<>david a. bell:weiru liu<>a practical approach to knowledge representation and reasoning in relational databases<>ictai<>jie cheng<>
22900<>956_15<>chih-shun ding:cheng-ta hsieh:qing wu<>stratified random sampling for power estimation<>iccad<>massoud pedram<>
22925<>956_40<>diana marculescu:radu marculescu<>stochastic sequential machine synthesis targeting constrained sequence generation<>dac<>massoud pedram<>
22929<>956_44<>yung-te lai:kuo-rueih ricky pan<>obdd-based function decomposition: algorithms and implementation<>tcad<>massoud pedram<>
22937<>956_52<>yung-te lai:sarma b. k. vrudhula<>formal verification using edge-valued binary decision diagrams<>tc<>massoud pedram<>
22940<>956_55<>sasan iman<>pose: power optimization and synthesis environment<>dac<>massoud pedram<>
22970<>956_85<>jui-ming chang<>energy minimization using multiple supply voltages<>islped<>massoud pedram<>
22978<>956_93<>nulo<>power minimization in ic design: principles and applications<>todaes<>massoud pedram<>
23040<>956_155<>jaewon oh:iksoo pyo<>constructing lower and upper bounded delay routing trees using linear programming<>dac<>massoud pedram<>
3661<>957_3<>terry a. mckee<>structural conditions for cycle completable graphs<>dm<>charles r. johnson<>
3628<>963_3<>philip d. gray<>the evaluation of user interface notations<>dsvis<>chris johnson<>
3630<>963_5<>nulo<>the evaluation of user interface notations<>dsvis<>chris johnson<>
20656<>974_17<>joao gabriel silva:simon chapple<>implementing distributed shared memory on top of mpi: the dsmpi library<>pdp<>luis moura silva<>
20666<>974_27<>joao gabriel silva:simon chapple<>portable transparent checkpointing for distributed shared memory<>hpdc<>luis moura silva<>
31983<>988_11<>michael dahlin:jeanna m. neefe:david a. patterson:drew s. roselli:randolph y. wang<>serverless network file systems<>tocs<>thomas e. anderson<>
15873<>1012_3<>vinay k. chaudhri:dimitris plexousakis:adel shrufi:thodoros topaloglou<>building knowledge base management systems<>vldb<>john mylopoulos<>
23557<>1022_15<>paul m. aoki:witold litwin:avi pfeffer:adam sah:jeff sidell:carl staelin:andrew yu<>mariposa: a wide-area distributed database system<>vldb<>michael stonebraker<>
23558<>1022_16<>alexander aiken:jolly chen:allison woodruff<>tioga-2: a direct manipulation database visualization environment<>icde<>michael stonebraker<>
8236<>1031_18<>luis macedo:carlos grilo:amilcar cardoso<>plans as structured networks of hierarchically and temporally related case pieces<>ewcbr<>francisco c. pereira<>
22069<>1047_46<>dima grigoriev:friedhelm meyer auf der heide:roman smolensky<>a lower bound for randomized algebraic decision trees<>stoc<>marek karpinski<>
22080<>1047_57<>farid m. ablayev<>on the power of randomized branching programs<>icalp<>marek karpinski<>
22097<>1047_74<>rutger verbeek<>on randomized versus deterministic computation<>tcs<>marek karpinski<>
22109<>1047_86<>lawrence l. larmore:wojciech rytter<>sequential and parallel subquadratic work algorithms for constructing approximately optimal binary search trees<>soda<>marek karpinski<>
37052<>1068_1<>eckhard steffen<>star chromatic numbers of graphs<>combinatorica<>xuding zhu<>
37078<>1068_27<>nulo<>on the bounds for the ultimate independence ratio of a graph<>dm<>xuding zhu<>
36425<>1069_0<>claudio bettini:sushil jajodia<>testing complex temporal relationships involving multiple granularities and its application to data mining<>pods<>xiaoyang sean wang<>
36412<>1070_0<>deborah silver<>volume tracking<>visualization<>xin wang<>
22121<>1081_3<>junehwa song:yurdaer n. doganata:asser n. tantawi<>modeling timed user-interactions in multimedia documents<>icmcs<>michelle y. kim<>
22141<>1085_0<>duk-ho chang:jong soo kim<>temporal query processing using spatially-partitioned method<>codas<>myoung-ho kim<>
33080<>1087_4<>nulo<>an optimal bound for high-quality conforming triangulations<>dcg<>tiow seng tan<>
38473<>1099_10<>tsung-yi wu<>register minimization beyond sharing among variables<>tcad<>youn-long lin<>
38460<>1100_49<>nulo<>a comparison study of the two-tier and the single-tier personal communications services systems<>monet<>yi-bing lin<>
38504<>1102_0<>hongxiang li<>on the boundary inequality for bandwidth of graphs<>arscom<>yixun lin<>
28331<>1114_4<>richard pollack:marie-francoise roy<>on the combinatorial and algebraic complexity of quantifier elimination<>jacm<>saugata basu<>
3316<>1128_0<>flip korn:nikolaos sidiropoulos:eliot siegel:zenon protopapas<>fast nearest neighbor search in medical image databases<>vldb<>christos faloutsos<>
5590<>1133_0<>chengzheng sun:yun yang:yanchun zhang<>distributed concurrency control in real-time cooperative editing systems<>asian<>david chen<>
23517<>1174_0<>faouzi kossentini:wilson c. chung<>a jointly optimized subband coder<>tip<>mark j. t. smith<>
19372<>1180_3<>roger d. boyle<>recognition and reconstruction of primitives in music scores<>ivc<>kim c. ng<>
1568<>1193_13<>stephen siu:mauricio de simone:dhrubajyoti goswami<>design patterns for parallel programming<>pdpta<>ajit singh<>
15358<>1204_1<>ugo montanari:vladimiro sassone<>process versus unfolding semantics for place/transition petri nets<>tcs<>jose meseguer<>
8784<>1220_0<>aleksander marlevi:gerald q. maguire jr.<>a mobile virtual-distributed system architecture for supporting wireless mobile computing and communications<>winet<>george y. liu<>
8785<>1220_1<>gerald q. maguire jr.<>a class of mobile motion prediction algorithms for wireless mobile computing and communications<>monet<>george y. liu<>
8787<>1220_3<>gerald q. maguire jr.<>a mobility-aware dynamic database caching scheme for wireless mobile computing and communications<>dpd<>george y. liu<>
17886<>1227_1<>jer-jeong chen:gerard j. chang<>quasi-threshold graphs<>dam<>jing-ho yan<>
17887<>1227_2<>maw-shang chang:yi-hua chen:gerard j. chang<>algorithmic aspects of the generalized clique-transversal problem on chordal graphs<>dam<>jing-ho yan<>
25609<>1235_4<>rajeev motwani<>randomized algorithms<>csur<>prabhakar raghavan<>
2142<>1242_0<>petr kloucek:mitchell luskin<>analysis of a class of nonconforming finite elements for crystalline microstructures<>moc<>bo li<>
19956<>1267_2<>an li<>a technique for improving the convergence characteristic of genetic algorithms and its application to a genetic-based load flow algorithm<>seal<>kit po wong<>
19931<>1269_0<>r. c. h. law<>compressing and restoring multiple images using variable threshold values<>mta<>k. f. wong<>
19932<>1271_0<>marcel k. richter<>computable economic analysis<>cca<>kam-chau wong<>
19934<>1271_2<>nulo<>computability of minimizers and separating hyperplanes<>mlq<>kam-chau wong<>
19905<>1273_0<>margaret-anne d. storey:p. fong:d. hooper:k. hopkins:hausi a. muller<>on designing an experiment to evaluate a reverse engineering tool<>wcre<>kenny wong<>
19913<>1273_8<>nulo<>on inserting program understanding technology into the software change process<>iwpc<>kenny wong<>
9688<>1285_18<>bruce r. schatz:william h. mischo:timothy w. cole:joseph b. hardin:ann peterson bishop<>federating diverse collections of scientific literature<>computer<>hsinchun chen<>
12704<>1295_5<>jaehyung park:hyunsoo yoon<>novel algorithms for multicast communication in self-routing min-based atm switches<>icnp<>jung wan cho<>
12709<>1295_10<>byungho kim:boseob kwon:hyunsoo yoon:seungryul r. maeng<>performance analysis of multipath multistage interconnection networks with nonuniform output traffic distribution<>pdp<>jung wan cho<>
29857<>1302_0<>dinesh manocha:william f. garrett:ming c. lin<>hierarchical back-face computation<>rt<>subodh kumar<>
9421<>1332_0<>olivier goldschmidt:dorit s. hochbaum:cor a. j. hurkens<>approximation algorithms for the -clique covering problem<>siamdm<>gang yu<>
9921<>1339_1<>sudarshan s. chawathe:anand rajaraman:jennifer widom<>change detection in hierarchically structured information<>sigmod<>hector garcia-molina<>
19415<>1377_1<>costas s. iliopoulos<>a work-time optimal algorithm for computing all string covers<>tcs<>kunsoo park<>
19412<>1378_1<>gitae kim:mark crovella<>"on the relationship between file sizes, transport protocols, and self-similar network traffic."<>icnp<>kihong park<>
34389<>1394_0<>patrick sole<>spectra of regular graphs and hypergraphs and orthogonal polynomials<>ejc<>wen-ching winnie li<>
23054<>1403_5<>mani b. srivastava:anantha p. chandrakasan<>multiple constant multiplications: efficient and versatile framework and algorithms for exploring common subexpression elimination<>tcad<>miodrag potkonjak<>
1458<>1417_3<>samir khuller:balaji raghavachari<>landmarks in graphs<>dam<>azriel rosenfeld<>
12348<>1436_14<>edward f. gehringer<>a high-performance memory allocator for object-oriented systems<>tc<>j. morris chang<>
16185<>1441_59<>c. andrew neff<>an efficient algorithm for the complex roots problem<>jc<>john h. reif<>
16198<>1441_72<>lars s. nyland:jan prins:allen goldberg:peter mills:robert a. wagner<>a refinement methodology for developing data-parallel applications<>europar<>john h. reif<>
8719<>1461_0<>kihong park:mark crovella<>"on the relationship between file sizes, transport protocols, and self-similar network traffic."<>icnp<>gitae kim<>
13121<>1465_0<>sven hammarling:antoine petitet<>case studies on the development of scalapack and the nag numerical pvm library<>qns<>jack dongarra<>
13160<>1465_39<>graham e. fagg:kevin s. london<>taskers and general resource managers: pvm supporting dce process management<>pvm<>jack dongarra<>
13166<>1465_45<>l. susan blackford<>scalapack tutorial<>para<>jack dongarra<>
13193<>1465_72<>hans werner meuer:horst d. simon:erich strohmaier<>changing technologies of hpc<>hpcn<>jack dongarra<>
13202<>1465_81<>ronald f. boisvert:roldan pozo:karin a. remington:richard f. barrett<>matrix market: a web resource for test matrix collections<>qns<>jack dongarra<>
13222<>1465_101<>andrew j. cleary:james demmel:inderjit s. dhillon:sven hammarling:antoine petitet:h. ren:ken stanley:r. clinton whaley<>practical experience in the dangers of heterogeneous computing<>para<>jack dongarra<>
13225<>1465_104<>steve w. otto:marc snir:david w. walker<>a message passing standard for mpp and workstations<>cacm<>jack dongarra<>
13226<>1465_105<>shirley browne:henri casanova<>providing access to high performance computing technologies<>vecpar<>jack dongarra<>
13237<>1465_116<>shirley browne:henri casanova<>providing access to high performance computing technologies<>para<>jack dongarra<>
40570<>1471_4<>jenn-yih lin:chi-wei lee<>identification of business forms using relationships between adjacent frames (*)<>mva<>zen chen<>
40572<>1471_6<>huang jen-bin:tsorng-lin chia<>pose determination of a cylinder using reprojection transformation<>prl<>zen chen<>
40599<>1473_21<>carlos cunha:steven homer<>finding a hidden code by asking questions<>cocoon<>zhixiang chen<>
40602<>1473_24<>steven homer<>the bounded injury priority method and the learnability of unions of rectangles<>apal<>zhixiang chen<>
19308<>1482_6<>g. jack lipovski:clement t. yu:naphtali rishe<>efficient processing of one and two dimensional proximity queries in associative memory<>sigir<>king-lup liu<>
30261<>1486_18<>michael p. case<>discourse model for collaborative design<>cad<>stephen c. y. lu<>
8990<>1492_5<>agostino dovier:alberto policriti<>"integrating lists, multisets, and sets in a logic programming framework."<>frocos<>gianfranco rossi<>
9000<>1492_15<>agostino dovier:eugenio g. omodeo:enrico pontelli<>a language for programming in logic with finite sets<>jlp<>gianfranco rossi<>
12852<>1499_1<>wilburt labio:narayanan shivakumar<>multiway vlsi circuit partitioning based on dual net representation<>tcad<>jason cong<>
12861<>1499_10<>lei he:cheng-kok koh:patrick h. madden<>performance optimization of vlsi interconnect layout<>integration<>jason cong<>
12866<>1499_15<>lei he<>an efficient approach to simultaneous transistor and interconnect sizing<>iccad<>jason cong<>
12881<>1499_30<>lei he<>optimal wiresizing for interconnects with multiple sources<>todaes<>jason cong<>
12884<>1499_33<>takumi okamoto<>buffered steiner tree construction with wire sizing for interconnect layout optimization<>iccad<>jason cong<>
12911<>1499_60<>yuzheng ding<>combinational logic synthesis for lut based field programmable gate arrays<>todaes<>jason cong<>
12962<>1499_111<>cheng-kok koh:kwok-shing leung<>simultaneous buffer and wire sizing for performance and power optimization<>islped<>jason cong<>
12982<>1499_131<>yean-yow hwang<>structural gate decomposition for depth-optimal technology mapping in lut-based fpga design<>dac<>jason cong<>
12984<>1499_133<>john peck:yuzheng ding<>rasp: a general logic synthesis system for sram-based fpgas<>fpga<>jason cong<>
7624<>1520_11<>nulo<>efficient parallel shortest-paths in digraphs with a separator decomposition<>jal<>edith cohen<>
4997<>1523_1<>vipin chaudhary:sumit roy:jialin ju:v. sinha:laiwu luo<>design and evaluation of an environment ape for automatic parallelization of programs<>ispan<>cheng-zhong xu<>
5004<>1523_8<>francis c. m. lau<>efficient termination detection for loosely synchronous applications in multicomputers<>tpds<>cheng-zhong xu<>
8181<>1532_8<>jose salinas:yinan n. shen<>a sweeping line approach to interconnect testing<>tc<>fabrizio lombardi<>
8187<>1532_14<>jose salinas:nohpill park:u. arunkumar<>conformance testing of time-dependent protocols<>iceccs<>fabrizio lombardi<>
8196<>1532_23<>david ashen:xiao-tao chen:wei-kang huang<>diagnosing programmable interconnect systems for fpgas<>fpga<>fabrizio lombardi<>
8205<>1532_32<>chao feng:laxmi n. bhuyan<>adaptive system-level diagnosis for hypercube multiprocessors<>tc<>fabrizio lombardi<>
28856<>1544_0<>nulo<>adaptive protocols for parallel discrete event simulation<>wsc<>samir r. das<>
28869<>1544_13<>nulo<>estimating the cost of throttled execution in time warp<>pads<>samir r. das<>
18961<>1553_34<>rolf fagerberg<>efficient rebalancing of b-trees with relaxed balance<>ijfcs<>kim s. larsen<>
18979<>1554_11<>johan bengtsson:fredrik larsson:paul pettersson:wang yi<>uppaal in 1995<>tacas<>kim guldstrand larsen<>
18987<>1554_19<>johan bengtsson:w. o. david griffioen:kare j. kristoffersen:fredrik larsson:paul pettersson:wang yi<>verification of an audio protocol with bus collision using uppaal<>cav<>kim guldstrand larsen<>
19132<>1556_1<>jason cong:cheng-kok koh<>simultaneous buffer and wire sizing for performance and power optimization<>islped<>kwok-shing leung<>
13746<>1619_4<>yun yang<>classification of and experimentation on tool interfacing in software development environments<>apsec<>jun han<>
13779<>1620_0<>nulo<>data mining techniques<>sigmod<>jiawei han<>
30502<>1627_1<>soumen chakrabarti<>resource scheduling for parallel database and scientific applications<>spaa<>s. muthukrishnan<>
30580<>1627_79<>bhaskar ghosh<>dynamic load balancing by random matchings<>jcss<>s. muthukrishnan<>
30602<>1627_101<>martin farach<>optimal logarithmic time randomized suffix tree construction<>icalp<>s. muthukrishnan<>
30697<>1637_6<>nicholas j. belkin:a. cabezas:colleen cool:k. kim:kwong bor ng:r. pressman:soo young rieh:pamela a. savage-knepshield:h. xie<>rutgers interactive track at trec-5<>trec<>soyeon park<>
37777<>1644_1<>lane a. hemaspaandra<>pseudorandom generators and the frequency of simplicity<>joc<>yenjo han<>
37787<>1646_9<>d. l. tao:carlos r. p. hartmann<>new encoding/decoding methods for designing fault-tolerant matrix operations<>tpds<>yunghsing s. (sam) han<>
29071<>1661_1<>jin ho kwak:jaeun lee<>regular graph coverings whose covering transformation groups have the isomorphism extension property<>dm<>sungpyo hong<>
28628<>1667_0<>joshua goodman<>an empirical study of smoothing techniques for language modeling<>corr<>stanley f. chen<>
28632<>1667_4<>joshua goodman<>an empirical study of smoothing techniques for language modeling<>acl<>stanley f. chen<>
28633<>1667_5<>nulo<>building probabilistic models for natural language<>corr<>stanley f. chen<>
6742<>1690_3<>nulo<>abstract interpretation of small-step semantics<>lomaps<>david a. schmidt<>
6753<>1690_14<>nulo<>programming language semantics<>csur<>david a. schmidt<>
6711<>1691_45<>aniruddha s. gokhale<>measuring the performance of communication middleware on high-speed networks<>sigcomm<>douglas c. schmidt<>
6734<>1691_68<>irfan pyarali:timothy h. harrison<>design and performance of an object-oriented framework for high-speed electronic medical imaging<>csys<>douglas c. schmidt<>
11224<>1705_6<>martial hebert:katsushi ikeuchi<>on 3d shape similarity<>cvpr<>heung-yeung shum<>
16979<>1706_0<>venky harinarayan:anand rajaraman<>implementing data cubes efficiently<>sigmod<>jeffrey d. ullman<>
16981<>1706_2<>yannis papakonstantinou:hector garcia-molina<>medmaker: a mediation system based on declarative specifications<>icde<>jeffrey d. ullman<>
16998<>1706_19<>anand rajaraman<>integrating information by outerjoins and full disjunctions<>pods<>jeffrey d. ullman<>
17001<>1708_0<>alon y. levy:anand rajaraman<>answering queries using limited external processors<>pods<>jeffrey d. ullman<>
33246<>1759_4<>douglas l. brutlag<>discovering empirically conserved amino acid substitution groups in databases of protein families<>ismb<>thomas d. wu<>
14492<>1769_1<>william blume:rudolf eigenmann:keith faigin:john grout:thomas lawrence:jay hoeflinger:david a. padua:yunheung paek:paul petersen:william m. pottenger:lawrence rauchwerger:peng tu:stephen weatherford<>restructuring programs for high-speed computers with polaris<>icpp<>jaejin lee<>
14494<>1769_3<>william blume:ramon doallo:rudolf eigenmann:john grout:jay hoeflinger:thomas lawrence:david a. padua:yunheung paek:william m. pottenger:lawrence rauchwerger:peng tu<>parallel programming with polaris<>computer<>jaejin lee<>
41074<>1783_10<>luca de alfaro<>temporal verification by diagram transformations<>cav<>zohar manna<>
41101<>1783_37<>henny sipma:tomas e. uribe<>deductive model checking<>cav<>zohar manna<>
41102<>1783_38<>yonit kesten:amir pnueli<>verification of clocked and hybrid systems<>eef<>zohar manna<>
41126<>1783_62<>anca browne:henny sipma<>hierarchical verification using verification diagrams<>asian<>zohar manna<>
41128<>1783_64<>nikolaj bjorner:anca browne:edward y. chang:michael colon:arjun kapur:henny sipma:tomas e. uribe<>step: deductive-algorithmic verification of reactive and real-time systems<>cav<>zohar manna<>
8837<>1796_31<>guy e. blelloch:dafna talmor<>developing a practical projection-based parallel delaunay algorithm<>compgeom<>gary l. miller<>
1484<>1816_2<>edward a. lee<>comparing models of computation<>iccad<>alberto l. sangiovanni-vincentelli<>
27685<>1821_0<>nulo<>mandatory protection for internet server software<>acsac<>richard e. smith<>
27695<>1824_4<>david ungar<>a simple and unifying approach to subjective objects<>tapos<>randall b. smith<>
37453<>1854_7<>fred douglis:thomas ball:eleftherios koutsofios<>webguide: querying and navigating changes in web repositories<>cn<>yih-farn chen<>
38988<>1870_50<>michal parnas<>on learning conjunctions with malicious noise<>istcs<>yishay mansour<>
39023<>1870_85<>eyal kushilevitz<>randomness in private computations<>podc<>yishay mansour<>
39056<>1870_118<>michael j. kearns<>on the boosting ability of top-down decision tree learning algorithms<>stoc<>yishay mansour<>
17811<>1882_2<>james allan:james p. callan:w. bruce croft:lisa ballesteros:john broglio:hongming shu<>inquery at trec-5<>trec<>jinxi xu<>
17753<>1888_5<>qiao li:dominique sotteau<>2-diameter of de bruijn graphs<>networks<>junming xu<>
32417<>1898_0<>kazuhisa makino:takashi suda:kojin yano<>data analysis by positive decision trees<>codas<>toshihide ibaraki<>
32420<>1898_3<>kazuhisa makino<>interior and exterior functions of boolean functions<>dam<>toshihide ibaraki<>
32470<>1898_53<>endre boros:kazuhisa makino<>boolean analysis of incomplete examples<>swat<>toshihide ibaraki<>
3560<>1907_32<>richard t. snodgrass:michael d. soo<>extending existing dependency theory to temporal databases<>tkde<>christian s. jensen<>
3573<>1907_45<>richard t. snodgrass<>semantics of time-varying information<>is<>christian s. jensen<>
3710<>1935_0<>fouad a. tobagi<>routing of multicast audio/video streams in reconfigurable wdm optical networks<>jnsm<>ciro aloisio noronha jr.<>
9486<>1943_21<>babette van antwerpen-de fluiter<>on intervalizing k-colored graphs for dna physical mapping<>dam<>hans l. bodlaender<>
9526<>1943_61<>ton kloks<>efficient and constructive algorithms for the pathwidth and treewidth of graphs<>jal<>hans l. bodlaender<>
9549<>1943_84<>babette de fluiter<>reduction algorithms for constructing solutions in graphs with small treewidth<>cocoon<>hans l. bodlaender<>
9567<>1943_102<>nulo<>a linear-time algorithm for finding tree-decompositions of small treewidth<>siamcomp<>hans l. bodlaender<>
9594<>1943_129<>babette de fluiter<>parallel algorithms for series parallel graphs<>esa<>hans l. bodlaender<>
34891<>1954_16<>mei-hwa chen:michael r. lyu<>an empirical study of the correlation between code coverage and reliability estimation<>metrics<>w. eric wong<>
34925<>1955_4<>ming-dong feng:chung-kwong yuen<>balinda lisp: design and implementation<>cl<>weng-fai wong<>
31342<>1959_3<>mounir hamdi<>on embedding various networks into the hypercube using matrix transformations<>ipps<>siang w. song<>
31362<>1959_23<>frank k. h. a. dehne<>randomized parallel list ranking for distributed memory multiprocessors<>asian<>siang w. song<>
11995<>1964_8<>huaitang chen:kejie ma<>the ascending star subgraph decomposition of some star forests<>arscom<>huishan zhou<>
12005<>1964_18<>nulo<>on the ultimate normalized chromatic difference sequence of a graph<>dm<>huishan zhou<>
11958<>1967_21<>d. f. wong<>an optimal algorithm for river routing with crosstalk constraints<>iccad<>hai zhou<>
11984<>1967_47<>chung-ping chen:d. f. wong<>optimal non-uniform wire-sizing under the elmore delay model<>iccad<>hai zhou<>
29087<>1975_7<>guo-zhao wang:tong-guang jin<>generalized subdivision of bezier surfaces<>cvgip<>shi-min hu<>
29088<>1975_8<>guo-zhao wang:tong-guang jin<>properties of two types of generalized ball curves<>cad<>shi-min hu<>
4662<>1995_8<>sheng-lung peng:ming-tat ko:chin-wen ho:tsan-sheng hsu<>graph searching on chordal graphs<>isaac<>chuan yi tang<>
27908<>1997_18<>nenad medvidovic:peyman oreizy:jason e. robbins<>using object-oriented typing to support architectural design in the c2 style<>sigsoft<>richard n. taylor<>
27927<>1997_37<>nenad medvidovic:kenneth m. anderson:e. james whitehead jr.:jason e. robbins:kari a. nies:peyman oreizy:deborah l. dubrow<>a component- and message-based architectural style for gui software<>tse<>richard n. taylor<>
27936<>2002_0<>frank h. allen:stephanie e. harris<>comparison of conformer distributions in the crystalline state with conformational energies calculated by ab initio techniques<>jcamd<>robin taylor<>
27937<>2003_0<>leo joskowicz<>interference-free insertion of a solid body into a cavity: an algorithm and a medical application<>ijrr<>russell h. taylor<>
41535<>2004_0<>b. he:webb c. miller<>local multiple alignment via subgraph enumeration<>dam<>z. zhang<>
4440<>2008_30<>nulo<>designing high-performance distributed applications using software performance engineering: a tutorial<>cmg<>connie u. smith<>
4442<>2010_0<>stephen c. hayne<>experiences with electronic and voice mail<>hicss<>c. a. p. smith<>
29517<>2019_7<>jaewon kim<>a new triple-layer otc channel router<>tcad<>sung-mo kang<>
29477<>2020_8<>richard szeliski<>3-d scene data recovery using omnidirectional multibaseline stereo<>cvpr<>sing bing kang<>
29500<>2020_31<>richard szeliski<>shape ambiguities in structure from motion<>eccv<>sing bing kang<>
27957<>2031_12<>bruce a. reed:neil robertson:paul d. seymour<>packing directed circuits<>combinatorica<>robin thomas<>
27967<>2031_22<>neil robertson:daniel p. sanders:paul d. seymour<>efficiently four-coloring planar graphs<>stoc<>robin thomas<>
39880<>2040_21<>jun han<>classification of and experimentation on tool interfacing in software development environments<>apsec<>yun yang<>
39838<>2041_15<>john wilbur<>using corpus statistics to remove redundant words in text categorization<>jasis<>yiming yang<>
12044<>2049_17<>ding-chau wang<>analysis of replicated data with repair dependency<>cj<>ing-ray chen<>
12048<>2049_21<>ding-chau wang<>analyzing dynamic voting using petri nets<>srds<>ing-ray chen<>
24532<>2083_88<>anand raghunathan:sujit dey<>glitch analysis and reduction in register transfer level<>dac<>niraj k. jha<>
24543<>2083_99<>ganesh lakshminarayana:anand raghunathan<>behavioral synthesis of fault secure controller?datapaths using aliasing probability analysis<>ftcs<>niraj k. jha<>
24559<>2083_115<>sandeep bhatia<>synthesis for parallel scan: applications to partial scan and robust path-delay fault testability<>tcad<>niraj k. jha<>
24589<>2083_145<>anand raghunathan:sujit dey:kazutoshi wakabayashi<>controller re-specification to minimize switching activity in controller/data path circuits<>islped<>niraj k. jha<>
21518<>2091_0<>douglas b. west<>large 2p-free graphs with bounded degree<>dm<>myung s. chung<>
14414<>2093_5<>hyun myung<>lagrangian-based evolutionary programming for constrained optimization<>seal<>jong-hwan kim<>
40974<>2129_13<>mathai joseph<>verification of fault tolerance and real time<>ftcs<>zhiming liu<>
4174<>2133_0<>michael p. wellman<>on state-space abstraction for anytime evaluation of bayesian networks<>sigart<>chao-lin liu<>
4185<>2133_11<>nulo<>controlling state-space abstraction in bayesian networks<>aaai<>chao-lin liu<>
14459<>2145_0<>yeong-dae kim<>simulated annealing and genetic algorithms for scheduling products with multi-level product structure<>cor<>jung-ug kim<>
14458<>2150_1<>paul s. rosenbloom<>a transformational analysis of the ebl utility problem<>aaai<>jihie kim<>
40926<>2152_0<>lucian finta<>single machine scheduling subject to precedence delays<>dam<>zhen liu<>
40936<>2152_10<>ting-yi sung<>routing and transmitting problems in de bruijn networks<>tc<>zhen liu<>
40939<>2152_13<>lucian finta:ioannis milis:evripidis bampis<>scheduling uet-uct series-parallel graphs on two processors<>tcs<>zhen liu<>
31233<>2180_2<>cheng-chung cheng<>a constraint satisfaction approach to makespan scheduling<>aips<>stephen f. smith<>
41266<>2183_5<>david harmanec:george j. klir<>modal logic interpretation of dempster-shafer theory: an infinite case<>ijar<>zhenyuan wang<>
40131<>2193_11<>nulo<>semantical considerations for knowledge base updates<>ismis<>yan zhang<>
40190<>2199_0<>chengzheng sun:yun yang:david chen<>distributed concurrency control in real-time cooperative editing systems<>asian<>yanchun zhang<>
4301<>2226_17<>dinabandhu bhandari<>genetic algorithm with elitist model and its convergence<>ijprai<>c. a. murthy<>
4302<>2226_18<>nirmalya chowdhury<>in search of optimal clusters using genetic algorithms<>prl<>c. a. murthy<>
4307<>2226_23<>d. chaudhuri:bidyut baran chaudhuri<>a data driven procedure for density estimation with some applications<>pr<>c. a. murthy<>
26837<>2239_1<>jayant r. haritsa:krithi ramamritham:s. seshadri<>commit processing in distributed real-time database systems<>rtss<>ramesh gupta<>
6996<>2267_18<>nulo<>primitive auditory segregation based on oscillatory correlation<>cogsci<>deliang l. wang<>
7005<>2267_27<>xiaomei liu:stanley c. ahalt<>on temporal generalization of simple recurrent networks<>nn<>deliang wang<>
7019<>2268_11<>nulo<>geother: a geometry theorem prover<>cade<>dongming wang<>
7026<>2268_18<>nulo<>geometry machines: from ai to smc<>aisc<>dongming wang<>
7027<>2268_19<>nulo<>clifford algebraic calculus for geometric reasoning with application to computer vision<>adg<>dongming wang<>
3457<>2285_4<>keh-jiann chen:li-li chang<>segmentation standard for chinese natural language processing<>coling<>chu-ren huang<>
27741<>2308_0<>giuseppe di battista<>on-line maintenance of triconnected components with spqr-trees<>algorithmica<>roberto tamassia<>
27759<>2308_18<>ashim garg<>a new minimum cost flow algorithm with applications to graph drawing<>gd<>roberto tamassia<>
27767<>2308_26<>james e. baker:isabel f. cruz:giuseppe liotta<>the mocha algorithm animation system<>avi<>roberto tamassia<>
27777<>2308_36<>ashim garg<>giotto3d: a system for visualizing hierarchical structures in 3d<>gd<>roberto tamassia<>
27781<>2308_40<>yi-jen chiang:franco p. preparata<>"a unified approach to dynamic point location, ray shooting, and shortest paths in planar maps."<>siamcomp<>roberto tamassia<>
27785<>2308_44<>timothy m. chan:michael t. goodrich:s. rao kosaraju<>optimizing area and aspect ratio in straight-line orthogonal tree drawings<>gd<>roberto tamassia<>
27786<>2308_45<>peter eades:xuemin lin<>an algorithm for drawing a hierarchical graph<>ijcga<>roberto tamassia<>
27787<>2308_46<>giuseppe di battista:ashim garg:giuseppe liotta:armando parise:emanuele tassinari:francesco vargiu:luca vismara<>drawing directed acyclic graphs: an experimental study<>gd<>roberto tamassia<>
27803<>2308_62<>ashim garg:michael t. goodrich<>planar upward tree drawings with optimal area<>ijcga<>roberto tamassia<>
27816<>2308_75<>nulo<>strategic directions in computational geometry<>csur<>roberto tamassia<>
27819<>2308_78<>stina s. bridgeman:ashim garg<>a graph drawing and translation service on the www<>gd<>roberto tamassia<>
27820<>2308_79<>nulo<>on-line planar graph embedding<>jal<>roberto tamassia<>
27836<>2308_95<>nulo<>data structures<>csur<>roberto tamassia<>
27839<>2308_98<>james e. baker:isabel f. cruz:giuseppe liotta<>animating geometric algorithms over the web<>compgeom<>roberto tamassia<>
27847<>2308_106<>giuseppe di battista<>on-line planarity testing<>siamcomp<>roberto tamassia<>
27855<>2308_114<>jeffrey scott vitter<>optimal cooperative search in fractional cascaded data structures<>algorithmica<>roberto tamassia<>
27858<>2308_117<>james e. baker:isabel f. cruz:giuseppe liotta<>algorithm animation over the world wide web<>avi<>roberto tamassia<>
27861<>2308_120<>giuseppe liotta:franco p. preparata<>robust proximity queries in implicit voronoi diagrams<>cccg<>roberto tamassia<>
32015<>2317_0<>nulo<>fixed-dimensional linear programming queries made easy<>compgeom<>timothy m. chan<>
32030<>2317_15<>nulo<>optimal output-sensitive convex hull algorithms in two and three dimensions<>dcg<>timothy m. chan<>
32038<>2317_23<>michael t. goodrich:s. rao kosaraju:roberto tamassia<>optimizing area and aspect ratio in straight-line orthogonal tree drawings<>gd<>timothy m. chan<>
32055<>2317_40<>nulo<>"output-sensitive results on convex hulls, extreme points, and related problems."<>dcg<>timothy m. chan<>
21359<>2326_1<>kun-lung wu:philip s. yu<>energy-efficient caching for wireless mobile computing<>icde<>ming-syan chen<>
21381<>2326_23<>philip s. yu:tao-heng yang<>on coupling multiple systems with a global buffer<>tkde<>ming-syan chen<>
21420<>2326_62<>jong soo park:philip s. yu<>efficient data mining for path traversal patterns in distributed systems<>icdcs<>ming-syan chen<>
21429<>2326_71<>jeng-chun chen:philip s. yu<>on general results for all-to-all broadcast<>tpds<>ming-syan chen<>
21435<>2326_77<>chihping wang<>on the complexity of distributed query optimization<>tkde<>ming-syan chen<>
21436<>2326_78<>philip s. yu:kun-lung wu<>optimization of parallel execution for multi-join queries<>tkde<>ming-syan chen<>
21457<>2326_99<>dilip d. kandlur<>stream conversion to support interactive video playout<>ieeemm<>ming-syan chen<>
21459<>2326_101<>chung-sheng li:philip s. yu<>using content-based search to download digital video into a client station<>rti<>ming-syan chen<>
21338<>2327_3<>a. z. b. haji talib:p. townsend<>three major extensions to kirkpatrick's point location algorithm<>cgi<>m. chen<>
21341<>2327_6<>mark w. jones:peter townsend<>volume distortion and morphing using disk fields<>cg<>min chen<>
39966<>2334_3<>benjamin jansen:kees roos:tamas terlaky<>improved complexity using higher-order correctors for primal-dual dikin affine scaling<>mp<>yinyu ye<>
39987<>2334_24<>kenneth o. kortanek:xiaojie xu<>an infeasible interior-point algorithm for solving primal and dual geometric programs<>mp<>yinyu ye<>
39994<>2334_31<>nulo<>how partial knowledge helps to solve linear programs<>jc<>yinyu ye<>
23803<>2355_0<>grigoris antoniou<>default reasoning and belief revision in the cin project<>fapr<>mary-anne williams<>
23828<>2356_7<>nulo<>about this issue<>annals<>michael r. williams<>
17548<>2361_11<>nulo<>an optimal routing policy for mesh-connected topologies<>icpp<>jie wu<>
17648<>2361_111<>haifeng qian<>enhanced fibonacci cubes<>cj<>jie wu<>
17664<>2361_127<>nulo<>a fault-tolerant distributed unicasting scheme for cube-based multicomputers<>icdcs<>jie wu<>
32185<>2373_0<>yasuhiko morimoto:shinichi morishita:takeshi tokuyama<>constructing efficient decision trees by using optimized numeric association rules<>vldb<>takeshi fukuda<>
32188<>2375_2<>naoyuki kubota:koji shimojima<>trajectory planning of cellular manipulator system using virus-evolutionary genetic algorithm<>ras<>toshio fukuda<>
1697<>2381_19<>alessandro panconesi<>on the complexity of distributed network decomposition<>jal<>aravind srinivasan<>
1754<>2382_4<>omer egecioglu<>domain decomposition for particle methods on the sphere<>irregular<>ashok srinivasan<>
1761<>2382_11<>athanassios s. poulakidas:omer egecioglu:oscar h. ibarra:tao yang<>experimental studies on a compact storage scheme for wavelet-based multiresolution subregion retrieval<>dcc<>ashok srinivasan<>
12782<>2394_6<>nulo<>logic programming and constraint logic programming<>csur<>jacques cohen<>
12830<>2399_10<>amitabh varshney:dinesh manocha:greg turk:hans weber:pankaj k. agarwal:frederick p. brooks jr.:william v. wright<>simplification envelopes<>siggraph<>jonathan d. cohen<>
39725<>2419_3<>siu-wing cheng<>approaching the largest beta-skeleton within a minimum weight triangulation<>compgeom<>yin-feng xu<>
27331<>2427_9<>ian j. grimstead<>incremental line labelling for sketch input of solid models<>cgf<>ralph r. martin<>
37667<>2432_1<>jiawei han:yue huang:nick cercone<>intelligent query answering by knowledge discovery techniques<>tkde<>yongjian fu<>
37668<>2432_2<>david wai-lok cheung:jiawei han:vincent t. y. ng:ada wai-chee fu<>a fast distributed algorithm for mining association rules<>pdis<>yongjian fu<>
37673<>2432_7<>david wai-lok cheung:vincent t. y. ng:ada wai-chee fu<>efficient mining of association rules in distributed databases<>tkde<>yongjian fu<>
37678<>2432_12<>jiawei han:wei wang:jenny chiang:wan gong:krzysztof koperski:deyi li:yijun lu:amynmohamed rajan:nebojsa stefanovic:betty xia:osmar r. zaiane<>dbminer: a system for mining knowledge in large relational databases<>kdd<>yongjian fu<>
37665<>2433_14<>nulo<>recursive models of general inductive types<>fuin<>yuxi fu<>
13822<>2478_9<>brian t. murray<>testing ics: getting to the core of the problem<>computer<>john p. hayes<>
10542<>2493_1<>nulo<>symbolic transition graph with assignment<>concur<>huimin lin<>
10552<>2493_11<>matthew hennessy<>proof systems for message-passing process algebras<>fac<>h. lin<>
12525<>2503_5<>nathalie mathe<>user-centered indexing for adaptive information access<>umuai<>james r. chen<>
3406<>2511_0<>wesley w. chu:ricky k. taira<>a knowledge-based approach for retrieving images by content<>tkde<>chih-cheng hsu<>
3407<>2511_1<>wesley w. chu:kuorong chiang:henrick yau<>an error-based conceptual clustering method for providing approximate query answers<>cacm<>chih-cheng hsu<>
12440<>2522_40<>jonathan l. gross<>algebraic specification of interconnection network relationships by permutation voltage graph mappings<>mst<>jianer chen<>
12448<>2522_48<>chi-chang chen<>optimal parallel routing in star graphs<>wg<>jianer chen<>
12457<>2522_57<>saroja p. kanchi:jonathan l. gross<>a tight lower bound on the maximum genus of a simplicial graph<>dm<>jianer chen<>
12460<>2522_60<>dan archdeacon:jonathan l. gross<>maximum genus and connectivity<>dm<>jianer chen<>
12504<>2523_3<>ming-syan chen:philip s. yu<>on general results for all-to-all broadcast<>tpds<>jeng-chun chen<>
39419<>2537_2<>klaus ambos-spies:elvira mayordomo:xizhong zheng<>"resource-bounded balanced genericity, stochasticity and weak randomness."<>stacs<>yongge wang<>
39421<>2537_4<>nulo<>np-hard sets are superterse unless np is small<>eccc<>yongge wang<>
39445<>2537_28<>nulo<>the law of the iterated logarithm for p-random sequences<>coco<>yongge wang<>
5322<>2544_12<>brian alspach:yi-ping liu<>nowhere-zero 4-flows and cayley graphs on solvable groups<>siamdm<>cun-quan zhang<>
26733<>2576_0<>lin ke-rong<>k-coverable polyhex graphs<>arscom<>rong-si chen<>
26734<>2576_1<>nulo<>coronoid systems with perfect matchings<>dam<>rong-si chen<>
6808<>2583_0<>nadia magnenat-thalmann<>computer animation<>csur<>daniel thalmann<>
26982<>2589_4<>carl-johan h. seger:david l. dill<>self-consistency checking<>fmcad<>robert b. jones<>
26975<>2590_8<>pieter h. hartel:marc feeley:martin alt:lennart augustsson:peter baumann:marcel beemster:emmanuel chailloux:christine h. flood:wolfgang grieskamp:john h. g. van groningen:kevin hammond:bogumil hausman:melody y. ivory:jasper kamperman:peter lee:xavier leroy:rafael dueire lins:sandra loosemore:niklas rojemo:manuel serrano:jean-pierre talpin:jon thackray:stephen thomas:pum walters:pierre weis:peter wentworth<>"benchmarking implementations of functional languages with `pseudoknot', a float-intensive benchmark."<>jfp<>richard e. jones<>
26976<>2590_9<>helena rodrigues<>a cyclic distributed garbage collector for network objects<>wdag<>richard jones<>
8148<>2632_0<>nulo<>embracing causality in specifying the indeterminate effects of actions<>aaai<>fangzhen lin<>
1284<>2662_5<>christopher richard wren:ali azarbayejani:trevor darrell<>pfinder: real-time tracking of the human body<>fgr<>alex pentland<>
9376<>2675_0<>peter burger:david n. firmin:s. r. underwood<>structure adaptive anisotropic image filtering<>ivc<>guang-zhong yang<>
30977<>2683_9<>nulo<>very weak zero one law for random graphs with order and random binary functions<>rsa<>saharon shelah<>
30985<>2683_17<>michael c. laskowski<>forcing isomorphism ii<>jsyml<>saharon shelah<>
31000<>2683_32<>nulo<>on the very weak 0-1 law for random graphs with orders<>logcom<>saharon shelah<>
31020<>2683_52<>tomek bartoszynski:andrzej roslanowski<>adding one random real<>jsyml<>saharon shelah<>
31038<>2683_70<>yuri gurevich<>on finite rigid structures<>jsyml<>saharon shelah<>
31064<>2683_96<>nulo<>toward classifying unstable theories<>apal<>saharon shelah<>
31068<>2683_100<>thomas jech<>possible pcf algebras<>jsyml<>saharon shelah<>
31075<>2683_107<>thomas jech<>on countably closed complete boolean algebras<>jsyml<>saharon shelah<>
31077<>2683_109<>sakae fuchino:sabine koppelberg<>partial orderings with the weak freese-nation property<>apal<>saharon shelah<>
23901<>2684_44<>nulo<>practical reasoning with procedural knowledge<>fapr<>michael wooldridge<>
23907<>2684_50<>michael fisher:clare dixon<>a resolution-based proof method for temporal logics of knowledge and belief<>fapr<>michael wooldridge<>
23916<>2684_59<>nulo<>a knowledge-theoretic semantics for concurrent metatem<>atal<>michael wooldridge<>
36805<>2697_11<>zhichen xu:lin sun<>semi-empirical multiprocessor performance predictions<>jpdc<>xiaodong zhang<>
3022<>2707_0<>rong-jaye chen<>optimal embedding of large complete binary trees into hypercubes<>jise<>chui-cheng chen<>
3065<>2708_0<>brian alspach:kevin mcavaney<>on a class of hamiltonian laceable 3-regular graphs<>dm<>c. c. chen<>
3067<>2708_2<>g. p. jin<>cycle partitions in graphs<>cpc<>c. c. chen<>
3036<>2709_13<>nulo<>behavioural patterns of collaborative writing with hypertext - a state transition approach<>bcshci<>chaomei chen<>
36854<>2715_0<>robert schleif<>obligatory activator-polymerase addition order at promoters<>nar<>xin zhang<>
8896<>2734_12<>andrzej ehrenfeucht:grzegorz rozenberg<>the linear landscape of external contextual languages<>acta<>gheorghe paun<>
8916<>2734_32<>erzsubet csuhaj-varju:jozef kelemen<>grammar systems with wave-like communication<>cai<>gheorghe paun<>
8934<>2734_50<>nulo<>regular extended h systems are computationally universal<>jalc<>gheorghe paun<>
8935<>2734_51<>nulo<>splicing systems with targets are computationally universal<>ipl<>gheorghe paun<>
8940<>2734_56<>lila kari:arto salomaa<>the power of restricted splicing with rules from a regular language<>jucs<>gheorghe paun<>
8952<>2734_68<>grzegorz rozenberg:arto salomaa<>computing by splicing<>tcs<>gheorghe paun<>
8959<>2734_75<>erzsubet csuhaj-varju:lila kari<>test tube distributed systems based on splicing<>cai<>gheorghe paun<>
8966<>2734_82<>nulo<>on the splicing operation<>dam<>gheorghe paun<>
2768<>2739_3<>hongbing fan<>on the fixed edge of planar graphs with minimum degree five<>dm<>baogang xu<>
7183<>2750_30<>shubhendu s. mukherjee:babak falsafi:mark d. hill<>coherent network interfaces for fine-grain communication<>isca<>david a. wood<>
7185<>2750_32<>steven k. reinhardt:robert w. pfile<>decoupled hardware support for distributed shared memory<>isca<>david a. wood<>
39750<>2769_0<>cao an wang:francis y. l. chin<>a new subgraph of minimum weight triangulations<>isaac<>yin-feng xu<>
31127<>2773_21<>richard s. sutton<>reinforcement learning with replacing eligibility traces<>ml<>satinder p. singh<>
31144<>2773_38<>david a. cohn<>predicting lifetimes in dynamically allocated memory<>nips<>satinder p. singh<>
31164<>2773_58<>dimitri bertsekas<>reinforcement learning for dynamic channel allocation in cellular telephone systems<>nips<>satinder p. singh<>
3107<>2789_2<>hai zhou:d. f. wong<>optimal non-uniform wire-sizing under the elmore delay model<>iccad<>chung-ping chen<>
3109<>2789_4<>yao-wen chang:d. f. wong<>fast performance-driven optimization for buffered clock trees based on lagrangian relaxation<>dac<>chung-ping chen<>
13460<>2800_1<>qian-ping gu:ding-zhu du<>convergence properties of optimization algorithms for the sat problem<>tc<>jun gu<>
3122<>2815_1<>jianer chen<>optimal parallel routing in star graphs<>wg<>chi-chang chen<>
28086<>2840_0<>ketil stolen:frank dederichs<>specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm<>fac<>rainer weber<>
6159<>2850_2<>bonnie j. dorr<>role of word sense disambiguation in lexical acquisition: predicting semantics from syntactic cues<>coling<>douglas a. jones<>
4945<>2857_7<>s. zhao:h.-l. chen:c. j. lo:jerry mclarty<>motif identification neural design for rapid and sensitive protein family search<>bioinformatics<>cathy h. wu<>
4951<>2857_13<>s. zhao:h.-l. chen<>a protein class database organized with prosite protein groups and pir superfamilies<>jcb<>cathy h. wu<>
4932<>2859_3<>yew-huey liu:paul dantzig:lionel m. ni<>a distributed connection manager interface for web services on ibm sp systems<>icpads<>ching-farn eric wu<>
4972<>2861_2<>chun-chao yeh:jie-yong juang<>a world-wide web server on a multicomputer system<>ispan<>chun-hsing wu<>
38089<>2869_17<>in sang chung:malcolm munro:w. k. lee<>applying conventional testing techniques for class testing<>compsac<>yong rae kwon<>
38090<>2869_18<>heung seok chae<>assessing and restructuring of classes based on cohesion<>apsec<>yong rae kwon<>
26229<>2902_14<>yiming hu<>dcd - disk caching disk: a new approach for boosting i/o performance<>isca<>qing yang<>
26140<>2903_42<>steven g. woods<>the program understanding problem: analysis and a heuristic approach<>icse<>qiang yang<>
10505<>2928_0<>yixun lin<>on the boundary inequality for bandwidth of graphs<>arscom<>hongxiang li<>
959<>2948_1<>manish gupta:rajeev shorey<>queueing models and stability of message flows in distributed simulators of open queueing networks<>pads<>anurag kumar<>
935<>2949_7<>kavindra malik<>optimizing the costs of hierarchical quorum consensus<>acta<>akhil kumar<>
21297<>2954_11<>mary tork roth:manish arya:laura m. haas:william f. cody:ronald fagin:peter m. schwarz:joachim thomas ii:edward l. wimmers<>the garlic project<>sigmod<>michael j. carey<>
3879<>2998_0<>nulo<>"p.l.-spheres, convex polytopes, and stress."<>dcg<>carl w. lee<>
29993<>2999_0<>tim chenoweth:zoran obradovic<>embedding technical analysis into neural network based trading systems<>aai<>sauchi stephen lee<>
29998<>3008_3<>hyeong-ah choi<>embedding of complete binary trees into meshes with row-column routing<>tpds<>sang kyu lee<>
30007<>3012_2<>stanley y. w. su:herman lam:tsae-feng yu:javier a. arroyo-figueroa:zhidong yang<>ncl: a common language for achieving rule-based interoperability among heterogeneous systems<>jiis<>sooha lee<>
4733<>3022_3<>paul e. debevec:jitendra malik<>reconstructing polyhedral models of architectural scenes from photographs<>eccv<>camillo j. taylor<>
4744<>3022_14<>paul e. debevec:jitendra malik<>modeling and rendering architecture from photographs: a hybrid geometry- and image-based approach<>siggraph<>camillo j. taylor<>
29962<>3027_1<>dong-gyu jeong<>merging back-propagation and hebbian learning rules for robust classifications<>nn<>soo-young lee<>
19570<>3044_51<>daniela ivan-rosu<>improving protocol performance by dynamic control of communication resources<>iceccs<>karsten schwan<>
13534<>3047_8<>nir friedman:daphne koller<>first-order conditional logic revisited<>aaai<>joseph y. halpern<>
13535<>3047_9<>nir friedman<>belief revision: a critique<>kr<>joseph y. halpern<>
13541<>3047_15<>nir friedman<>a qualitative markov assumption and its implications for belief change<>uai<>joseph y. halpern<>
13559<>3047_33<>nulo<>on ambiguities in the interpretation of game trees<>tark<>joseph y. halpern<>
13565<>3047_39<>gerhard lakemeyer<>multi-agent only knowing<>tark<>joseph y. halpern<>
13576<>3047_50<>fahiem bacchus:adam j. grove:daphne koller<>from statistical knowledge bases to degrees of belief<>ai<>joseph y. halpern<>
13623<>3047_97<>daphne koller<>irrelevance and conditioning in first-order probabilistic logic<>aaai<>joseph y. halpern<>
13656<>3047_130<>adam j. grove:daphne koller<>asymptotic conditional probabilities: the non-unary case<>jsyml<>joseph y. halpern<>
13657<>3047_131<>nulo<>using multi-agent systems to represent uncertainty<>aaai<>joseph y. halpern<>
13670<>3047_144<>nir friedman<>plausibility measures and default reasoning<>aaai<>joseph y. halpern<>
13678<>3047_152<>ronald fagin:yoram moses:moshe y. vardi<>common knowledge revisited<>tark<>joseph y. halpern<>
13701<>3047_175<>nulo<>a counterexample to theorems of cox and fine<>aaai<>joseph y. halpern<>
13707<>3047_181<>adam j. grove:daphne koller<>asymptotic conditional probabilities: the unary case<>siamcomp<>joseph y. halpern<>
13728<>3047_202<>nulo<>defining relative likelihood in partially-ordered preferential structures<>uai<>joseph y. halpern<>
29946<>3048_17<>kyung-yong chwa:james k. hahn:sung yong shin<>image morphing using deformation techniques<>jvca<>seungyong lee<>
29951<>3048_22<>george wolberg:kyung-yong chwa:sung yong shin<>image metamorphosis with scattered feature constraints<>tvcg<>seungyong lee<>
10534<>3051_0<>nulo<>bioinformatics and cheminformatics in the drug discovery cycle<>gcb<>hwa a. lim<>
14940<>3059_1<>sanjoy paul<>rmtp: a reliable multicast transport protocol<>infocom<>john c.-h. lin<>
29379<>3060_2<>philip w. trinder:kevin hammond:james s. mattson jr.:a. s. partridge<>gum: a portable parallel implementation of haskell<>pldi<>simon l. peyton jones<>
29391<>3060_14<>nulo<>compiling haskell by program transformation: a report from the trenches<>esop<>simon l. peyton jones<>
29397<>3060_20<>andrew gordon:sigbjorn finne<>concurrent haskell<>popl<>simon l. peyton jones<>
29430<>3060_53<>cordelia v. hall:kevin hammond:philip wadler<>type classes in haskell<>toplas<>simon l. peyton jones<>
39594<>3073_0<>shuji tsukiyama:malgorzata marek-sadowska<>graph based analysis of 2-d fpga routing<>tcad<>yu-liang wu<>
28786<>3088_2<>katsunori shimohara<>modular neural networks evolved by genetic programming<>icec<>sung-bae cho<>
2129<>3092_0<>john yen:james c. liao<>using a hybrid genetic algorithm and fuzzy logic for metabolic modeling<>aaai<>bogju lee<>
31528<>3106_7<>djemel ziou<>isotropic processing for gradient estimation<>cvpr<>shengrui wang<>
25692<>3107_0<>william e. weihl<>scalable concurrent b-trees using multi-version memory<>jpdc<>paul wang<>
34057<>3121_7<>jih-kwon peir:honesty c. young:shauchi ong<>improving cache performance with balanced tag and data paths<>asplos<>windsor w. hsu<>
8014<>3147_7<>alberto l. sangiovanni-vincentelli<>comparing models of computation<>iccad<>edward a. lee<>
31214<>3168_0<>peter dayan<>analytical mean squared error curves in temporal difference learning<>nips<>satinder p. singh<>
5392<>3189_16<>hyunmin park<>wici: an efficient hybrid routing scheme for scalable and hierarchical networks<>tc<>dharma p. agrawal<>
5401<>3189_25<>anup kumar<>parameters for system effectiveness evaluation of distributed systems<>tc<>dharma p. agrawal<>
5424<>3189_48<>tein y. chung:suresh rai:tzau j. chung<>a comparative study of doubly connected directed topologies for lans and mans<>networks<>dharma p. agrawal<>
4343<>3195_24<>michelangelo grigni:vincent mirelli<>on the difficulty of designing good classifiers<>cocoon<>christos h. papadimitriou<>
4370<>3199_2<>dan suciu:victor vianu<>topological queries in spatial databases<>pods<>christos h. papadimitriou<>
3851<>3208_12<>shyh-chih wang<>modeling gis data using omega<>jise<>chiang lee<>
3853<>3208_14<>chih-horng ke:yaw-huei chen<>performance upgrade for large object bases using disk arrays<>dexaw<>chiang lee<>
14924<>3220_2<>margaret h. dunham<>segmented fuzzy checkpointing for main memory databases<>sac<>jun-lin lin<>
41293<>3347_0<>jon crowcroft<>quality-of-service routing for supporting multimedia applications<>jsac<>zheng wang<>
8653<>3372_0<>dyi-rong duh:d. frank hsu<>combinatorial properties of generalized hypercube graphs<>ipl<>gen-huey chen<>
9805<>3380_0<>alan m. frieze<>analysis of parallel algorithms for finding a maximal independent set in a random hypergraph<>rsa<>hui chen<>
16248<>3386_0<>frank chance:john w. fowler<>"supporting manufacturing with simulation: model design, development, and deployment."<>wsc<>jennifer robinson<>
1147<>3411_8<>krzysztof diks<>fault-tolerant linear broadcasting<>njc<>andrzej pelc<>
1173<>3411_34<>leszek gasieniec:evangelos kranakis:danny krizanc<>minimizing congestion of layouts for atm networks with faulty links<>mfcs<>andrzej pelc<>
1175<>3411_36<>leszek gasieniec<>adaptive broadcasting with faulty nodes<>pc<>andrzej pelc<>
1176<>3411_37<>krzysztof diks<>broadcasting with universal lists<>networks<>andrzej pelc<>
1179<>3411_40<>nulo<>fault-tolerant broadcasting and gossiping in communication networks<>networks<>andrzej pelc<>
1187<>3411_48<>krzysztof diks<>reliable computations on faulty erew pram<>tcs<>andrzej pelc<>
1195<>3411_56<>nulo<>efficient fault location with small risk<>sirocco<>andrzej pelc<>
1225<>3411_86<>bogdan s. chlebus:krzysztof diks<>reliable broadcasting in hypercubes with random link and node failures<>cpc<>andrzej pelc<>
1259<>3411_120<>krzysztof diks<>system diagnosis with smallest risk of error<>wg<>andrzej pelc<>
53<>3448_6<>jacopo m. corridoni:silvio de magistris:enrico vicario<>a visual language for color-based painting retrieval<>vl<>alberto del bimbo<>
75<>3448_28<>jacopo m. corridoni:dario lucarella:wenxue he<>multi-perspective navigation of movies<>vlc<>alberto del bimbo<>
77<>3448_30<>jacopo m. corridoni:silvio de magistris<>image query by semantical color content<>avi<>alberto del bimbo<>
82<>3448_35<>pietro pala:simone santini<>image retrieval by elastic matching of shapes and image patterns<>icmcs<>alberto del bimbo<>
114<>3448_67<>paolo nesi:jorge l. c. sanz<>optical flow computation using extended constraints<>tip<>alberto del bimbo<>
16698<>3449_12<>amitabh saran:divyakant agrawal:amr el abbadi:terence r. smith<>scientific modeling using distributed resources<>gis<>jianwen su<>
16726<>3449_40<>stephane grumbach<>towards practical constraint databases<>pods<>jianwen su<>
27384<>3469_0<>murray shanahan<>reasoning about discontinuities in the event calculus<>kr<>rob miller<>
27387<>3469_3<>nulo<>a case study in reasoning about actions and continuous change<>ecai<>r. miller<>
4389<>3480_3<>ling liu:roger s. barga:tong zhou<>differential evaluation of continual queries<>icdcs<>calton pu<>
1019<>3495_16<>andreas girgensohn:kevin schlueter<>"experiences in developing collaborative applications using the world wide web ""shell""."<>ht<>alison lee<>
26722<>3503_0<>chin-chen chang:wen-tsai lee:ching-lin kuo<>a fast search algorithm for vector quantization<>jise<>ruey-feng chang<>
26704<>3504_10<>nulo<>on the query complexity of clique size and maximum satisfiability<>jcss<>richard chang<>
18061<>3526_30<>robert cartwright:ming li<>iterative belief revision in extended logic programming<>tcs<>jia-huai you<>
18071<>3526_40<>xianchang wang:li-yan yuan<>circumscription by inference rules with priority<>ecai<>jia-huai you<>
6958<>3542_3<>g. m. luong<>test generation for global delay faults<>itc<>d. m. h. walker<>
6959<>3542_4<>yuyun liao<>optimal voltage testing for physically-based faults<>vts<>d. m. h. walker<>
12211<>3567_1<>nulo<>the ribonuclease p database<>nar<>james w. brown<>
12189<>3569_4<>richard j. nowakowski:douglas f. rall<>the ultimate categorical independence ratio of a graph<>siamdm<>jason i. brown<>
12193<>3569_8<>nulo<>the complexity of generalized graph colorings<>dam<>jason i. brown<>
12205<>3570_3<>nulo<>to dream the invisible dream<>cacm<>john seely brown<>
12206<>3570_4<>paul duguid:esther dyson<>the social life of documents<>firstmonday<>john seely brown<>
9056<>3575_5<>andrzej ehrenfeucht:joost engelfriet<>finite languages for the representation of finite graphs<>jcss<>grzegorz rozenberg<>
9020<>3580_0<>joost engelfriet<>elementary net systems<>ac<>grzegorz rozenberg<>
22469<>3584_4<>nulo<>hamiltonian cycles in regular 3-connected claw-free graphs<>dm<>mingchu li<>
22401<>3590_1<>tao jiang<>k one-way heads cannot do string-matching<>jcss<>ming li<>
22408<>3590_8<>paul m. b. vitanyi<>reversible simulation of irreversible computation<>coco<>ming li<>
22415<>3590_15<>tao jiang<>dna sequencing and string learning<>mst<>ming li<>
22426<>3590_26<>thomas r. hancock:tao jiang:john tromp<>lower bounds on learning decision lists and trees<>iandc<>ming li<>
22433<>3590_33<>john tromp:paul m. b. vitanyi<>how to share concurrent wait-free variables<>jacm<>ming li<>
22443<>3590_43<>jia-huai you:robert cartwright<>iterative belief revision in extended logic programming<>tcs<>ming li<>
33764<>3608_14<>krishnan pillaipakkamnatt<>on the limits of proper learnability of subclasses of dnf formulas<>ml<>vijay v. raghavan<>
33765<>3608_15<>lisa hellerstein:krishnan pillaipakkamnatt:dawn wilkins<>how many queries are needed to learn?<>jacm<>vijay v. raghavan<>
16516<>3656_7<>shih-fu chang<>tools and techniques for color image retrieval<>spieSR<>john r. smith<>
16526<>3656_17<>shih-fu chang<>visualseek: a fully automated content-based image query system<>mm<>john r. smith<>
16546<>3656_37<>shih-fu chang:jianhao meng<>efficient techniques for feature-based image/video access and manipulation<>dpc<>john r. smith<>
16559<>3661_0<>barrett o. comiskey<>modulation and information hiding in images<>ih<>joshua r. smith<>
16562<>3661_3<>nulo<>field mice: extracting hand geometry from electric field measurements<>ibmsj<>joshua r. smith<>
16572<>3662_6<>terence c. fogarty<>self adaptation of mutation rates in a steady state genetic algorithm<>icec<>jim smith<>
16578<>3662_12<>terence c. fogarty<>recombination strategy adaptation via evolution of gene linkage<>icec<>jim smith<>
15583<>3667_0<>nulo<>learning networks<>ipm<>j. r. miller<>
32145<>3670_0<>yuen-tak yu<>on some characterisation problems of subdomain testing<>adaEurope<>tsong yueh chen<>
32151<>3670_6<>yuen-tak yu<>a more general sufficient condition for partition testing to be better than random testing<>ipl<>tsong yueh chen<>
32155<>3670_10<>man fai lau<>dividing strategies for the optimization of a test suite<>ipl<>tsong yueh chen<>
32156<>3670_11<>pak-lok poon<>improving the quality of classification trees via restructuring<>apsec<>tsong yueh chen<>
32117<>3681_6<>yu-chee tseng:jang-ping sheu<>balanced spanning trees in complete and incomplete star graphs<>tpds<>tzung-shi chen<>
32089<>3690_0<>steven skiena<>sorting with fixed-length reversals<>dam<>ting chen<>
21992<>3698_0<>christopher m. bishop<>neural networks<>csur<>michael i. jordan<>
33213<>3710_0<>zhaohan sheng<>asymptotic stationarity of discrete-time stochastic neural networks<>nn<>tao wang<>
8426<>3716_2<>chia-tien dan lo<>procedure-level verification of real-time concurrent systems<>fm<>farn wang<>
36736<>3732_9<>joseph fong<>a distributed object database's basic design issues<>idw<>xiuzhen zhang<>
35009<>3747_0<>yu-li you:allen tannenbaum:mostafa kaveh<>behavioral analysis of anisotropic diffusion in image processing<>tip<>wenyuan xu<>
8392<>3771_7<>alberto apostolico<>data structures and algorithms for the string statistics problem<>algorithmica<>franco p. preparata<>
8285<>3772_24<>yi-jen chiang:roberto tamassia<>"a unified approach to dynamic point location, ray shooting, and shortest paths in planar maps."<>siamcomp<>franco p. preparata<>
8299<>3772_38<>roberto tamassia:giuseppe liotta<>robust proximity queries in implicit voronoi diagrams<>cccg<>franco p. preparata<>
32585<>3781_30<>henry a. rowley:shumeet baluja<>neural network-based face detection<>cvpr<>takeo kanade<>
13344<>3809_0<>claude jard:thierry jeron:cesar viho<>using on-the-fly verification techniques for the generation of test suites<>cav<>jean-claude fernandez<>
13345<>3809_1<>hubert garavel:alain kerbrat:laurent mounier:radu mateescu:mihaela sighireanu<>cadp - a protocol validation and verification toolbox<>cav<>jean-claude fernandez<>
16936<>3812_11<>nulo<>an integrated approach to test tracking and analysis<>jss<>jeff tian<>
39930<>3816_0<>chengzheng sun:yanchun zhang:david chen<>distributed concurrency control in real-time cooperative editing systems<>asian<>yun yang<>
13273<>3833_5<>nulo<>minimal temporal epistemic logic<>ndjfl<>joeri engelfriet<>
13276<>3833_8<>nulo<>only persistence makes nonmonotonicity monotonous<>jelia<>joeri engelfriet<>
13277<>3833_9<>v. wiktor marek:jan treur:miroslaw truszczynski<>infinitary default logic for specification of nonmonotonic reasoning<>jelia<>joeri engelfriet<>
13281<>3833_13<>heinrich herre:jan treur<>nonmonotonic reasoning with multiple belief sets<>fapr<>joeri engelfriet<>
1427<>3834_2<>michael p. georgeff<>a profile of the australian artificial intelligence institute<>expert<>anand s. rao<>
1428<>3834_3<>lawrence cavedon:gil tidhar<>social and individual commitment<>pricai<>anand s. rao<>
1430<>3834_5<>david kinny:michael p. georgeff<>a methodology and modelling technique for systems of bdi agents<>maamaw<>anand s. rao<>
13301<>3840_0<>andrzej ehrenfeucht:grzegorz rozenberg<>finite languages for the representation of finite graphs<>jcss<>joost engelfriet<>
18104<>3850_1<>nulo<>path-width and tree-width of the join of graphs<>arscom<>jinjiang yuan<>
1423<>3852_2<>kenneth y. goldberg<>computing grasp functions<>comgeo<>anil s. rao<>
1424<>3852_3<>jules vleugels:vincenzo ferrucci:mark h. overmars<>hunting voronoi vertices<>comgeo<>anil s. rao<>
28680<>3860_3<>yin-feng xu<>approaching the largest beta-skeleton within a minimum weight triangulation<>compgeom<>siu-wing cheng<>
27552<>3877_1<>tian zhang:miron livny<>birch: an efficient data clustering method for very large databases<>sigmod<>raghu ramakrishnan<>
27571<>3877_20<>praveen seshadri:miron livny<>the design and implementation of a sequence database system<>vldb<>raghu ramakrishnan<>
6125<>3884_0<>nulo<>democracy and the global information infrastructure<>gi<>deborah g. johnson<>
6072<>3890_9<>lyle a. mcgeoch:edward e. rothberg<>asymptotic experimental analysis for the held-karp traveling salesman bound<>soda<>david s. johnson<>
38168<>3894_33<>randy chow:sandra e. cheung<>circular window control schemes in fast packet switches<>comcom<>yann-hang lee<>
16857<>3905_2<>jane w.-s. liu<>bounding completion times of jobs with arbitrary release times and variable execution times<>rtss<>jun sun<>
16859<>3905_4<>jane w.-s. liu<>synchronization protocols in distributed real-time systems<>icdcs<>jun sun<>
22575<>3929_4<>gary e. christensen:richard d. rabbitt<>deformable templates using large deformation kinematics<>tip<>michael i. miller<>
22584<>3929_13<>gary e. christensen:sarang c. joshi<>individualizing anatomical atlases of the head<>vbc<>michael i. miller<>
22605<>3935_10<>peter eades:m. keil:paul d. manuel<>two minimum dominating sets with minimum intersection in chordal graphs<>njc<>mirka miller<>
19241<>3944_0<>ching-shan peng:carolyn boettcher<>real-time database benchmark design for avionics systems<>rtdb<>kwei-jay lin<>
19242<>3944_1<>ansgar herkert<>jitter control in time-triggered systems<>hicss<>kwei-jay lin<>
19260<>3944_19<>azer bestavros:sang hyuk son<>report on first international workshop on real-time database systems<>sigmod<>kwei-jay lin<>
19264<>3944_23<>mark j. rentmeesters:wei k. tsai<>a theory of lexicographic multi-criteria optimization<>iceccs<>kwei-jay lin<>
19273<>3944_32<>shing-shan peng<>enhancing external consistency in real-time transactions<>sigmod<>kwei-jay lin<>
19276<>3944_35<>ching-shan peng<>a semantic-based concurrency control protocol for real-time transactions<>rtas<>kwei-jay lin<>
32711<>3952_0<>soung-yue liew<>parallel routing algorithms in benes-clos networks<>infocom<>tony t. lee<>
32689<>3955_2<>nulo<>image representation using 2d gabor wavelets<>pami<>tai sing lee<>
32698<>3958_1<>anthony j. bell:russell h. lambert<>blind separation of delayed and convolved sources<>nips<>te-won lee<>
35857<>3966_2<>y. y. yao<>comparison of rough-set and interval-set models for uncertain reasoning<>fuin<>xining li<>
35766<>3970_23<>hajo broersma<>the connectivity of the leaf-exchange spanning tree graph of a graph<>arscom<>xueliang li<>
35770<>3970_27<>heping zhang<>a solution to gutman's problem on the characteristic polynomial of a bipartite graph<>dm<>xueliang li<>
2429<>3975_49<>jiawei han:hongjun lu:kian-lee tan<>index nesting - an efficient approach to indexing in object-oriented databases<>vldb<>beng chin ooi<>
2453<>3975_73<>tat-seng chua:jiandong li:kian-lee tan<>disk striping strategies for large video-on-demand servers<>mm<>beng chin ooi<>
14258<>3996_3<>nulo<>navigating the textual redundancy web in legacy source<>cascon<>j. howard johnson<>
33103<>4000_2<>fausto giunchiglia:roberto sebastiani:adolfo villafiorita<>a general purpose reasoner for abstraction<>ai<>toby walsh<>
33110<>4000_9<>ian p. gent<>the satisfiability constraint gap<>ai<>toby walsh<>
33116<>4000_15<>ian p. gent:ewan macintyre:patrick prosser:barbara m. smith<>an empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem<>cp<>toby walsh<>
33124<>4000_23<>david a. basin<>a calculus for and termination of rippling<>jar<>toby walsh<>
33128<>4000_27<>alan bundy:fausto giunchiglia:roberto sebastiani<>calculating criticalities<>ai<>toby walsh<>
33140<>4000_39<>ian p. gent:ewan macintyre:patrick prosser<>the constrainedness of search<>aaai<>toby walsh<>
33149<>4000_48<>nulo<>a divergence critic for inductive proof<>corr<>toby walsh<>
33158<>4000_57<>nulo<>a divergence critic for inductive proof<>jair<>toby walsh<>
33161<>4000_60<>david a. clark:jeremy frank:ian p. gent:ewan macintyre:neven tomov<>local search and the number of solutions<>cp<>toby walsh<>
33191<>4000_90<>alan bundy:fausto giunchiglia:roberto sebastiani<>computing abstraction hierarchies by numerical simulation<>aaai<>toby walsh<>
28846<>4004_10<>pyeong s. mah<>semantics-based transaction management for multidatabase systems<>ipl<>soon myoung chung<>
34588<>4007_1<>nulo<>conditional fuzzy c-means<>prl<>witold pedrycz<>
23993<>4017_3<>chiang lee<>a hyperrelational approach to integration and manipulation of data in multidatabase systems<>ijcis<>ming-chuan wu<>
19646<>4033_1<>margo i. seltzer<>a comparison of ffs disk allocation policies<>usenix<>keith a. smith<>
30765<>4041_0<>nulo<>challenges in testing<>ats<>sudhakar m. reddy<>
7863<>4057_3<>andrew d. j. cross<>inexact graph matching with genetic search<>sspr<>edwin r. hancock<>
40348<>4059_2<>l. l. campbell<>equilibrium probability calculations for a discrete-time bulk queue model<>questa<>yiqiang q. zhao<>
5547<>4064_0<>andrei state:gentaro hirota:william f. garrett:mark a. livingston<>superior augmented reality registration by integrating landmark tracking and magnetic tracking<>siggraph<>david t. chen<>
5514<>4069_0<>aloysius k. mok<>a multiframe model for real-time tasks<>rtss<>deji chen<>
5528<>4069_14<>aloysius k. mok:sanjoy k. baruah<>on modeling real-time task systems<>eef<>deji chen<>
33614<>4070_25<>nulo<>recovery in main memory database systems<>dexa<>vijay kumar<>
21662<>4104_1<>s. rao kosaraju<>sorting on a parallel pointer machine with applications to set expression evaluation<>jacm<>michael t. goodrich<>
21734<>4104_73<>mark h. nodine:jeffrey scott vitter<>blocking for external graph searching<>algorithmica<>michael t. goodrich<>
21744<>4104_83<>mujtaba r. ghouse:j. bright<>sweep methods for parallel computational geometry<>algorithmica<>michael t. goodrich<>
21750<>4104_89<>timothy m. chan:s. rao kosaraju:roberto tamassia<>optimizing area and aspect ratio in straight-line orthogonal tree drawings<>gd<>michael t. goodrich<>
21751<>4104_90<>thomas h. cormen<>"a bridging model for parallel computation, communication, and i/o."<>csur<>michael t. goodrich<>
21755<>4104_94<>ashim garg:roberto tamassia<>planar upward tree drawings with optimal area<>ijcga<>michael t. goodrich<>
21759<>4104_98<>marek chrobak:roberto tamassia<>convex drawings of graphs in two and three dimensions (preliminary version)<>compgeom<>michael t. goodrich<>
27030<>4105_19<>claire kenyon:orli waarts<>error-resilient dna computation<>soda<>richard m. karp<>
27031<>4105_20<>david e. culler:david a. patterson:abhijit sahay:eunice e. santos:klaus e. schauser:ramesh subramonian:thorsten von eicken<>logp: a practical model of parallel computation<>cacm<>richard m. karp<>
27084<>4105_73<>michael luby:friedhelm meyer auf der heide<>efficient pram simulation on a distributed memory machine<>algorithmica<>richard m. karp<>
27108<>4105_97<>helmut alt:leonidas j. guibas:kurt mehlhorn:avi wigderson<>a method for obtaining randomized algorithms with small tail probabilities<>algorithmica<>richard m. karp<>
35511<>4110_3<>chieh-ying kan<>a method for constructing algebraic petri nets<>jss<>xudong he<>
35514<>4110_6<>nulo<>a formal definition of hierarchical predicate transition nets<>apn<>xudong he<>
33551<>4122_1<>ruzena bajcsy:william harwin:patrick harker<>rapid design and prototyping of customized rehabilitation aids<>cacm<>vijay kumar<>
26692<>4132_0<>mohlalefi sefika:aamod sane<>monitoring compliance of a software system with its high-level design models<>icse<>roy h. campbell<>
30476<>4146_5<>babak falsafi:mark d. hill:david a. wood<>coherent network interfaces for fine-grain communication<>isca<>shubhendu s. mukherjee<>
3213<>4198_8<>mee yee chan:francis y. l. chin:w. k. mak<>dilation-5 embedding of 3-dimensional grids into hypercubes<>jpdc<>c. n. chu<>
27670<>4212_4<>bernhard heindl:bernhard pollwein:lothar gierl<>abstractions of data and time for multiparametric time course prognoses<>ewcbr<>rainer schmidt<>
16645<>4236_4<>anna romanowska<>semilattice-based dualities<>sLogica<>jonathan d. h. smith<>
16639<>4240_0<>nulo<>topological network design of state-dependent queueing networks<>networks<>j. macgregor smith<>
30322<>4241_12<>vivek tiwari:andrew wolfe:mike tien-chien lee<>instruction level power analysis and optimization of software<>vlsid<>sharad malik<>
30336<>4241_26<>vigyan singhal:robert k. brayton<>the case for retiming with explicit reset circuitry<>iccad<>sharad malik<>
30363<>4241_53<>guido araujo:ashok sudarsanam<>instruction set design and optimizations for address computation in dsp architectures<>isss<>sharad malik<>
30364<>4241_54<>guido araujo:mike tien-chien lee<>using register-transfer paths in code generation for heterogeneous memory-register architectures<>dac<>sharad malik<>
30368<>4241_58<>pranav ashar:aarti gupta<>using complete-1-distinguishability for fsm equivalence checking<>iccad<>sharad malik<>
30376<>4241_66<>kurt keutzer<>register transfer level synthesis: from theory to practice<>vlsid<>sharad malik<>
38798<>4251_0<>brian alspach:cun-quan zhang<>nowhere-zero 4-flows and cayley graphs on solvable groups<>siamdm<>yi-ping liu<>
16629<>4279_0<>jodi heintz obradovich:philip j. smith:stephanie guerlain:sally rudmann:patricia strohm:larry sachs:rebecca denning<>the transfusion medicine tutor: using expert systems technology to teach domain-specific problem-solving skills<>its<>jack w. smith<>
22641<>4280_4<>ronald fagin:peter winkler<>comparing information without leaking it<>cacm<>moni naor<>
22645<>4280_8<>noga alon<>"derandomization, witnesses for boolean matrix multiplication and construction of perfect hash functions."<>algorithmica<>moni naor<>
22647<>4280_10<>avishai wool<>access control and signatures via quorum secret sharing<>ccs<>moni naor<>
22669<>4280_32<>ran canetti:uriel feige:oded goldreich<>adaptively secure multi-party computation<>stoc<>moni naor<>
22688<>4280_51<>russell impagliazzo<>efficient cryptographic schemes provably as secure as subset sum<>joc<>moni naor<>
22728<>4280_91<>sitvanit ruah<>on the decisional complexity of problems over the reals<>istcs<>moni naor<>
38064<>4288_1<>jung-ug kim<>simulated annealing and genetic algorithms for scheduling products with multi-level product structure<>cor<>yeong-dae kim<>
258<>4302_58<>rajeev thakur:rajesh bordawekar:sachin more:sivaramakrishna kuditipudi<>passion: optimized i/o for parallel applications<>computer<>alok n. choudhary<>
275<>4302_75<>rajeev thakur:j. ramanujam<>efficient algorithms for array redistribution<>tpds<>alok n. choudhary<>
308<>4302_108<>rajesh bordawekar:j. ramanujam<>automatic optimization of communication in compiling out-of-core stencil codes<>ics<>alok n. choudhary<>
325<>4302_125<>david kotz<>large-scale file systems with the flexibility of databases<>csur<>alok n. choudhary<>
342<>4302_142<>vijay gehlot:bhagirath narahari<>syntax and semantics of pretsel - a specification language for parallel real-time systems<>hicss<>alok n. choudhary<>
20447<>4309_3<>calton pu:roger s. barga:tong zhou<>differential evaluation of continual queries<>icdcs<>ling liu<>
20451<>4309_7<>calton pu<>issues on query processing in distributed and interoperable information systems<>codas<>ling liu<>
20518<>4309_74<>scott fortin<>an object-oriented approach to multi-level association rule mining<>cikm<>ling liu<>
20524<>4309_80<>tong zhou:calton pu<>"adaptable, efficient, and modular coordination of distributed extended transactions."<>pdis<>ling liu<>
20537<>4310_1<>nulo<>a theory of gaussian belief functions<>ijar<>liping liu<>
25672<>4313_1<>william j. gray:meckinley scott<>quality-related measures of unreliable machines with preventive maintenance<>cor<>p. patrick wang<>
25664<>4317_4<>simon gray:norbert kajler<>pluggability issues in the multi protocol<>disco<>paul s. wang<>
25652<>4323_6<>nulo<>heuristics and normative models of judgment under uncertainty<>ijar<>pei wang<>
25640<>4324_11<>bing liu<>recognition of 3d objects from 2d images - some issues<>sspr<>p. wang<>
38606<>4350_34<>scott d. stoller:tim teitelbaum<>discovering auxiliary information for incremental computation<>popl<>yanhong a. liu<>
20086<>4359_6<>zeng min song<>a new idea for hamiltonian problem<>arscom<>ke min zhang<>
20099<>4366_1<>jason tsong-li wang:dennis shasha<>on the editing distance between undirected acyclic graphs<>ijfcs<>kaizhong zhang<>
38725<>4374_0<>xin yao<>ensemble structure of evolutionary artificial neural networks<>icec<>yong liu<>
38728<>4374_3<>xin yao<>epnet for chaotic time-series prediction<>seal<>yong liu<>
38735<>4374_10<>xin yao<>evolving artificial neural networks through evolutionary programming<>eps<>yong liu<>
38739<>4374_14<>xin yao<>evolutionary design of artificial neural networks with different nodes<>icec<>yong liu<>
38743<>4374_18<>xin yao<>fast evolutionary programming<>eps<>yong liu<>
20216<>4422_0<>nulo<>partitioning graphs into hamiltonian ones<>pc<>lin chen<>
3192<>4443_4<>nulo<>simple proof techniques for property preservation via simulation<>ipl<>ching-tsun chou<>
12634<>4480_0<>jing-ho yan:gerard j. chang<>quasi-threshold graphs<>dam<>jer-jeong chen<>
16453<>4485_3<>luis moura silva:simon chapple<>implementing distributed shared memory on top of mpi: the dsmpi library<>pdp<>joao gabriel silva<>
16465<>4485_15<>luis moura silva:simon chapple<>portable transparent checkpointing for distributed shared memory<>hpdc<>joao gabriel silva<>
16481<>4485_31<>joao carreira:henrique madeira:diamantino costa:francisco moreira<>experimental assessment of parallel systems<>ftcs<>joao gabriel silva<>
16429<>4491_11<>karem a. sakallah<>grasp - a new search algorithm for satisfiability<>iccad<>joao p. marques silva<>
28903<>4494_13<>arobinda gupta<>an exercise in fault-containment: self-stabilizing leader election<>ipl<>sukumar ghosh<>
28912<>4494_22<>arobinda gupta:ted herman:sriram v. pemmaraju<>fault-containing self-stabilizing algorithms<>podc<>sukumar ghosh<>
21947<>4516_4<>nulo<>the production of volume data from triangular meshes using voxelisation<>cgf<>mark w. jones<>
21958<>4518_0<>nulo<>using parameterized signatures to express modular structure<>popl<>mark p. jones<>
21941<>4522_7<>nulo<>consumer real-time systems<>csur<>michael b. jones<>
12573<>4527_3<>shih-chien chou:chian-goei chung<>an executable specification language for specification understanding in object-oriented specification reuse<>infsof<>jason jen-yen chen<>
12576<>4527_6<>shih-chien chou:chian-goei chung<>a behavior-based classification and retrieval technique for object-oriented specification reuse<>spe<>jason jen-yen chen<>
10408<>4533_11<>odile favaron:evelyne flandrin:zdenek ryjacek<>shortest walks in almost claw-free graphs<>arscom<>hao li<>
10409<>4533_12<>odile favaron:richard h. schelp<>strong edge colorings of graphs<>dm<>hao li<>
12539<>4562_3<>richard r. brooks:s. sitharama iyengar<>automatic correlation and calibration of noisy sensor readings using elite genetic algorithms<>ai<>jianhua chen<>
12542<>4562_6<>sukhamay kundu<>a sound and complete fuzzy logic system using zadeh's implication operator<>ismis<>jianhua chen<>
11024<>4566_47<>aya soffer<>marco: map retrieval by content<>pami<>hanan samet<>
11057<>4566_80<>michael b. dillencourt<>using topological sweep to extract the boundaries of regions in maps represented by region quadtrees<>algorithmica<>hanan samet<>
11070<>4566_93<>chuan-heng ang<>approximate average storage utilization of bucket methods with arbitrary fanout<>njc<>hanan samet<>
11074<>4566_97<>aya soffer<>retrieval by content in symbolic-image databases<>spieSR<>hanan samet<>
7260<>4585_2<>nulo<>a polynomial-time algorithm for statistical machine translation<>acl<>dekai wu<>
12603<>4588_0<>svante carlsson:christer mattsson<>heaps with bits<>tcs<>jingsen chen<>
14045<>4611_1<>zhengmai zhao<>supporting provision and access of educational visual resources on the web<>webnet<>jian hu<>
14047<>4611_3<>david nicholson:chris mungall:alan l. hillyard:alan l. archibald<>webintool: a generic web to database interface building tool<>dexaw<>jian hu<>
34179<>4615_5<>r. panwar:gul agha<>parallel implementations of irregular problems using high-level actor language<>ipps<>w. kim<>
29881<>4623_0<>nulo<>genetic algorithm with pigeon-hole coding scheme for solving sequencing problems<>aai<>simon s. lam<>
35317<>4628_0<>brian molinari<>a system for managing remote procedure call transactions<>jss<>wanlei zhou<>
7081<>4663_8<>david b. leake:andrew kinley<>acquiring case adaptation knowledge: a hybrid approach<>aaai<>david c. wilson<>
2552<>4681_4<>stuart a. grant<>the phase transition behaviour of maintaining arc consistency<>ecai<>barbara m. smith<>
2557<>4681_9<>martin e. dyer<>locating the phase transition in binary constraint satisfaction problems<>ai<>barbara m. smith<>
2561<>4681_13<>ian p. gent:ewan macintyre:patrick prosser:toby walsh<>an empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem<>cp<>barbara m. smith<>
2562<>4681_14<>stuart a. grant<>the arc and path consistency phase transitions<>cp<>barbara m. smith<>
25188<>4720_1<>william s. evans:david g. kirkpatrick:michael mcallister:jack snoeyink<>approximating shortest paths in arrangements of lines<>cccg<>prosenjit bose<>
25255<>4720_68<>david avis:godfried t. toussaint:thomas c. shermer:binhai zhu:jack snoeyink<>on the sectional area of convex polytopes<>compgeom<>prosenjit bose<>
25264<>4720_77<>david bremner:godfried t. toussaint<>all convex polyhedra can be clamped with parallel jaw grippers<>comgeo<>prosenjit bose<>
25270<>4720_83<>david g. kirkpatrick:zaiqing li<>efficient algorithms for guarding or illuminating the surface of a polyhedral terrain<>cccg<>prosenjit bose<>
25275<>4720_88<>alice m. dean:joan p. hutchinson:thomas c. shermer<>on rectangle visibility graphs<>gd<>prosenjit bose<>
25278<>4720_91<>william lenhart:giuseppe liotta<>characterizing proximity trees<>algorithmica<>prosenjit bose<>
25289<>4720_102<>luc devroye:william s. evans<>diamonds are not a minimum weight triangulation's best friend<>cccg<>prosenjit bose<>
25294<>4720_107<>mark de berg:katrin dobrindt:marc j. van kreveld:mark h. overmars:marko de groot:thomas roos:jack snoeyink:sidi yu<>the complexity of rivers in triangulated terrains<>cccg<>prosenjit bose<>
31401<>4730_1<>jen-yeu chen:jane-hwa huang<>performance analysis of soft handoff in cdma cellular networks<>jsac<>szu-lin su<>
14139<>4741_0<>jerzy w. bala:kenneth dejong:haleh vafaie:harry wechsler<>using learning to facilitate the evolution of features for recognizing visual concepts<>ec<>jeffrey huang<>
17444<>4760_2<>paul m. stanfield:gary a. mirka:naomi f. glasscock:jennie p. psihogios:joseph r. davis<>multivariate input modeling with johnson distributions<>wsc<>james r. wilson<>
30112<>4762_0<>nulo<>correlation of entropy with similarity and symmetry<>jcisd<>shu-kun lin<>
2215<>4765_27<>joxan jaffar<>using constraints to model disjunctions in rule-based reasoning<>aaai<>bing liu<>
2230<>4765_42<>nulo<>an improved generic arc consistency algorithm and its specializations<>pricai<>bing liu<>
2295<>4771_0<>cheng bo<>some inequalities about connected domination number<>dm<>bolian liu<>
6930<>4786_32<>andreas schikarski<>efficient parallel matrix inversion on interconnection networks<>jpdc<>dorothea wagner<>
6935<>4786_37<>heike ripphausen-lipa:karsten weihe<>linear-time algorithms for disjoint two-face paths problems in planar graphs<>ijfcs<>dorothea wagner<>
15109<>4809_0<>jun sun<>synchronization protocols in distributed real-time systems<>icdcs<>jane w.-s. liu<>
18332<>4816_12<>arie segev<>rule activation techniques in active database systems<>jiis<>j. leon zhao<>
18339<>4816_19<>akhil kumar<>a framework for dynamic routing and operational integrity controls in a workflow management system<>hicss<>j. leon zhao<>
18348<>4816_28<>doron rotem<>extendible arrays for statistical databases and olap applications<>ssdbm<>j. leon zhao<>
28348<>4831_0<>fabio casati:barbara pernici:giuseppe pozzi<>workflow evolution<>er<>stefano ceri<>
2952<>4833_1<>oliver shiu-sing choy:lap-kong chan:ray chan<>test generation with dynamic probe points in high observability testing environment<>tc<>cheong f. chan<>
2944<>4855_0<>pak-kwong wong<>chinese word segmentation based on maximum matching and word binding force<>coling<>chorkin chan<>
2946<>4855_2<>hubert hin-cheung law<>n-th order ergodic multigram hmm for modeling of languages without marked word boundaries<>coling<>chorkin chan<>
10271<>4866_0<>martin ester:jorg sander:xiaowei xu<>a density-based algorithm for discovering clusters in large spatial databases with noise<>kdd<>hans-peter kriegel<>
34266<>4890_2<>peter l. bartlett:robert c. williamson<>efficient agnostic learning of neural networks with bounded fan-in<>tit<>wee sun lee<>
34279<>4890_15<>peter l. bartlett:robert c. williamson<>the importance of convexity in learning with squared loss<>colt<>wee sun lee<>
34195<>4893_9<>dik lun lee<>using signature techniques for information filtering in wireless and mobile environments<>dpd<>wang-chien lee<>
22540<>4895_2<>subodh kumar:dinesh manocha:william f. garrett<>hierarchical back-face computation<>rt<>ming c. lin<>
8656<>4899_0<>nian-feng tzeng<>resource allocation in cube network systems based on the covering radius<>tpds<>gui liang feng<>
22502<>4902_1<>merlin hughes:christopher dimattia:dinesh manocha<>efficient and accurate interference detection for polynomial deformation<>ca<>ming c. lin<>
15105<>4912_0<>yuansheng jiang<>embedding in benzenoid hydrocarbons<>jcisd<>jun liu<>
15049<>4940_1<>nulo<>hamiltonian decompositions of cayley graphs on abelian groups of odd order<>jct<>jiuqiang liu<>
11164<>4942_13<>sarnath ramnath<>optimal parallel selection in sorted matrices<>ipl<>hong shen<>
19837<>4959_0<>wang chiew tan:limsoon wong<>quick: graphical user interface to multiple databases<>dexaw<>ke wang<>
17920<>5006_3<>steve g. steinberg:katherine a. yelick<>performance modeling and composition: a case study in cell simulation<>ipps<>jun yang<>
35077<>5018_7<>nulo<>forward estimation for game-tree search<>aaai<>weixiong zhang<>
35079<>5018_9<>joseph c. pemberton<>epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems<>ai<>weixiong zhang<>
35080<>5018_10<>richard e. korf<>a study of complexity transitions on the asymmetric traveling salesman problem<>ai<>weixiong zhang<>
13877<>5026_42<>praveen seshadri:hamid pirahesh:t. y. cliff leung:raghu ramakrishnan:divesh srivastava:peter j. stuckey:s. sudarshan<>cost-based optimization for magic: algebra and implementation<>sigmod<>joseph m. hellerstein<>
13895<>5026_60<>jeffrey f. naughton<>query execution techniques for caching expensive methods<>sigmod<>joseph m. hellerstein<>
18639<>5035_0<>dahong xie:huisheng chi<>text-dependent speaker identification based on input/output hmms: an empirical study<>npl<>ke chen<>
24967<>5073_37<>daniel andresen:tao yang:vegard holmedahl<>sweb: towards a scalable world wide web server on multicomputers<>ipps<>oscar h. ibarra<>
24978<>5073_48<>athanassios s. poulakidas:ashok srinivasan:omer egecioglu:tao yang<>experimental studies on a compact storage scheme for wavelet-based multiresolution subregion retrieval<>dcc<>oscar h. ibarra<>
25029<>5073_99<>daniel andresen:tao yang:omer egecioglu:terence r. smith<>scalability issues for high performance digital libraries on the world wide web<>adl<>oscar h. ibarra<>
25039<>5073_109<>yizhou yu:tao yang<>parallel progressive radiosity with adaptive meshing<>irregular<>oscar h. ibarra<>
25055<>5073_125<>pedro c. diniz:martin c. rinard<>on the complexity of commutativity analysis<>cocoon<>oscar h. ibarra<>
24250<>5078_58<>nulo<>bipartite subgraphs<>combinatorica<>noga alon<>
24251<>5078_59<>nulo<>independence numbers of locally sparse graphs and a ramsey type problem<>rsa<>noga alon<>
24255<>5078_63<>eldar fischer<>2-factors in dense graphs<>dm<>noga alon<>
24270<>5078_78<>nulo<>disjoint directed cycles<>jct<>noga alon<>
24282<>5078_90<>raphael yuster<>-factors in dense graphs<>jct<>noga alon<>
32218<>5081_28<>rajeev alur:tomas feder<>the benefits of relaxing punctuality<>jacm<>thomas a. henzinger<>
32235<>5081_45<>orna kupferman:moshe y. vardi<>a space-efficient on-the-fly algorithm for real-time model checking<>concur<>thomas a. henzinger<>
32271<>5081_81<>rajeev alur:pei-hsin ho<>automatic symbolic verification of embedded systems<>tse<>thomas a. henzinger<>
32294<>5081_104<>nulo<>the theory of hybrid automata<>lics<>thomas a. henzinger<>
32341<>5081_151<>peter w. kopke<>state equivalences for rectangular hybrid automata<>concur<>thomas a. henzinger<>
35181<>5082_3<>biao chen:h. li<>meeting delay requirements in computer networks with wormhole routing<>icdcs<>wei zhao<>
35206<>5082_28<>nicholas malcolm:sanjay kamat<>real-time communication in fddi networks<>rts<>wei zhao<>
35245<>5082_67<>amitava raha:sanjay kamat<>admission control for hard real-time connections in atm lans<>infocom<>wei zhao<>
35252<>5082_74<>fang feng:cen li:amitava raha:shiqian yu<>modeling and regulation of host traffic in atm networks<>lcn<>wei zhao<>
2999<>5094_8<>yahya y. al-salqan<>temporal relations and synchronization agents<>ieeemm<>carl k. chang<>
9427<>5105_3<>nulo<>quasi-prime algebraic domains<>tcs<>guo-qiang zhang<>
9437<>5105_13<>nulo<>the largest cartesian closed category of stable domains<>tcs<>guo-qiang zhang<>
41150<>5109_6<>petru eles:krzysztof kuchcinski<>synthesis of systems specified as interacting vhdl processes<>integration<>zebo peng<>
3262<>5125_0<>robert g. reynolds<>a self-adaptive approach to representation shifts in cultural algorithms<>icec<>chan-jin chung<>
37874<>5130_4<>d. r. emerson:r. j. blake<>the communication performance of the cray t3d and its effect on iterative solvers<>pc<>y. f. hu<>
22340<>5148_19<>giuseppe de giacomo<>tbox and abox reasoning in expressive description logics<>dlog<>maurizio lenzerini<>
22368<>5148_47<>diego calvanese:giuseppe de giacomo<>representing sgml documents in description logics<>dlog<>maurizio lenzerini<>
22370<>5148_49<>giuseppe de giacomo<>tbox and abox reasoning in expressive description logics<>kr<>maurizio lenzerini<>
22372<>5148_51<>marco cadoli:luigi palopoli<>datalog and description logics: expressive power - preliminary report<>dlog<>maurizio lenzerini<>
23114<>5149_12<>fulvio corno:paolo prinetto<>a genetic algorithm for automatic generation of test logic for digital circuits<>ictai<>matteo sonza reorda<>
23135<>5149_33<>stefano barbagallo:monica lobetti bodoni:davide medina:fulvio corno:paolo prinetto<>scan insertion criteria for low design impact<>vts<>matteo sonza reorda<>
23153<>5149_51<>fulvio corno:paolo prinetto:maurizio rebaudengo:maurizio damiani:leonardo impagliazzo:g. sartore<>on-line testing of an off-the-shelf microprocessor board for safety-critical applications<>edcc<>matteo sonza reorda<>
23161<>5149_59<>fulvio corno:paolo prinetto:maurizio rebaudengo<>a parallel genetic algorithm for automatic generation of test sequences for digital circuits<>hpcn<>matteo sonza reorda<>
23170<>5149_68<>fulvio corno:paolo prinetto:maurizio rebaudengo<>partial scan flip flop selection for simulation-based sequential atpgs<>itc<>matteo sonza reorda<>
21584<>5157_15<>vasudha govindan<>a general matrix iterative model for dynamic load balancing<>pc<>mark a. franklin<>
21609<>5163_6<>swarup acharya:stanley b. zdonik<>prefetching from broadcast disks<>icde<>michael j. franklin<>
21616<>5163_13<>shaul dar:bjorn oor jonsson:divesh srivastava:michael tan<>semantic data caching and replacement<>vldb<>michael j. franklin<>
21634<>5163_31<>stanley b. zdonik<>dissemination-based information systems<>debu<>michael j. franklin<>
21645<>5163_42<>swarup acharya:stanley b. zdonik<>disseminating updates on broadcast disks<>vldb<>michael j. franklin<>
21652<>5163_49<>bjorn oor jonsson:donald kossmann<>performance tradeoffs for client-server query processing<>sigmod<>michael j. franklin<>
4575<>5220_56<>donghua xu<>automatic alignment of english-chinese bilingual texts of cns news<>corr<>chew lim tan<>
4582<>5220_63<>tong seng quah:hoon heng teh<>an artificial neural network that models human decision making<>computer<>chew lim tan<>
8705<>5226_2<>ramaswamy govindarajan:erik r. altman<>a framework for resource-constrained rate-optimal software pipelining<>tpds<>guang r. gao<>
8707<>5226_4<>ramaswamy govindarajan:erik r. altman<>co-scheduling hardware and software pipelines<>hpca<>guang r. gao<>
8710<>5238_0<>xuding zhu<>star-extremal graphs and the lexicographic product<>dm<>guogang gao<>
28105<>5256_1<>sanjeev khanna:rajeev motwani<>on certificates and lookahead in dynamic graph problems<>soda<>randall h. wilson<>
6488<>5263_1<>nulo<>t-graphs and the channel assignment problem<>dm<>daphne der-fen liu<>
28761<>5286_7<>francis c. m. lau<>routing with locality on meshes with buses<>jpdc<>steven cheung<>
28744<>5288_34<>jeff kramer<>checking subsystem safety properties in compositional reachability analysis<>icse<>shing-chi cheung<>
15994<>5303_10<>fergus r. mcinnes:mervyn a. jack<>fast clustering algorithms for vector quantization<>pr<>jeng-shyang pan<>
15681<>5326_11<>nulo<>guillotine subdivisions approximate polygonal subdivisions: a simple new method for the geometric k-mst problem<>soda<>joseph s. b. mitchell<>
15686<>5326_16<>claudio t. silva:arie e. kaufman<>fast rendering of irregular grids<>vvs<>joseph s. b. mitchell<>
15699<>5326_29<>nulo<>on some applications of computational geometry in manufacturing and virtual environments<>wacg<>joseph s. b. mitchell<>
15711<>5326_41<>esther m. arkin:martin held:steven skiena<>hamiltonian triangulations for fast rendering<>vc<>joseph s. b. mitchell<>
15725<>5326_55<>gill barequet:bernard chazelle:leonidas j. guibas:ayellet tal<>boxtree: a hierarchical representation for surfaces in 3d<>cgf<>joseph s. b. mitchell<>
15741<>5326_71<>zhu chong:gopalakrishnan sundaram:jack snoeyink<>generating random polygons with given vertices<>comgeo<>joseph s. b. mitchell<>
15596<>5327_11<>ramesh viswanathan<>standard ml-nj weak polymorphism and imperative constructs<>iandc<>john c. mitchell<>
15608<>5327_23<>patrick lincoln:andre scedrov<>the complexity of local proof search in linear logic<>entcs<>john c. mitchell<>
15624<>5327_39<>patrick lincoln:andre scedrov<>linear logic proof games and optimization<>bsl<>john c. mitchell<>
26400<>5357_5<>gerard j. holzmann:doron peled<>an analyzer for message sequence charts<>stp<>rajeev alur<>
26413<>5357_18<>thomas a. henzinger:pei-hsin ho<>automatic symbolic verification of embedded systems<>tse<>rajeev alur<>
26425<>5357_30<>kenneth l. mcmillan:doron peled<>model-checking of correctness conditions for concurrent objects<>lics<>rajeev alur<>
26445<>5357_50<>tomas feder:thomas a. henzinger<>the benefits of relaxing punctuality<>jacm<>rajeev alur<>
26479<>5357_84<>gadi taubenfeld<>contention-free complexity of shared memory algorithms<>iandc<>rajeev alur<>
26483<>5357_88<>serdar tasiran:robert p. kurshan:robert k. brayton<>verifying abstractions of timed systems<>concur<>rajeev alur<>
26495<>5357_100<>gadi taubenfeld<>fast timing-based algorithms<>dc<>rajeev alur<>
24622<>5359_0<>alan fekete:david gupta:victor luchangco:alexander a. shvartsman<>eventually-serializable data services<>podc<>nancy a. lynch<>
24641<>5359_19<>george varghese<>a tradeoff between safety and liveness for randomized coordinated attack<>iandc<>nancy a. lynch<>
24658<>5359_36<>tsvetomir p. petrov:anna pogosyants:stephen j. garland:victor luchangco<>computer-assisted verification of an algorithm for concurrent timestamps<>forte<>nancy a. lynch<>
24661<>5359_39<>nir shavit:alexander a. shvartsman:dan touitou<>counting networks are practically linearizable<>podc<>nancy a. lynch<>
24740<>5359_118<>henri b. weinberg<>correctness of vehicle control systems-a case study<>rtss<>nancy a. lynch<>
24748<>5359_126<>frits w. vaandrager<>action transducers and timed automata<>fac<>nancy a. lynch<>
24755<>5359_133<>michael s. branicky:ekaterina dolginova<>a toolbox for proving and maintaining hybrid specifications<>hybrid<>nancy a. lynch<>
24762<>5359_140<>sergio rajsbaum<>on the borowsky-gafni simulation algorithm<>istcs<>nancy a. lynch<>
15207<>5361_0<>anil nerode:v. s. subrahmanian<>hybrid knowledge bases<>tkde<>james j. lu<>
15171<>5368_10<>jun arima<>inductive logic programming beyond logical implication<>alt<>jianguo lu<>
14175<>5376_35<>robert c. zeleznik:kenneth p. herndon<>sketch: an interface for sketching 3d scenes<>siggraph<>john f. hughes<>
14182<>5386_1<>nulo<>"type specialisation for the lambda-calculus; or, a new paradigm for partial evaluation based on type inference."<>dagstuhl<>john hughes<>
14193<>5386_12<>lars pareto:amr sabry<>proving the correctness of reactive systems using sized types<>popl<>john hughes<>
15910<>5401_33<>antero taivalsaari<>ecoop'96 workshop on prototype based object oriented programming<>sigplan<>james noble<>
15919<>5403_1<>nulo<>the effect of morphological filters on texture boundary localization<>pami<>j. alison noble<>
26522<>5424_0<>nulo<>stretching the limits of steganography<>ih<>ross j. anderson<>
26524<>5424_2<>nulo<>a security policy model for clinical information systems<>sp<>ross j. anderson<>
26525<>5424_3<>eli biham<>tiger: a fast new hash function<>fse<>ross j. anderson<>
26531<>5424_9<>s. johann bezuidenhoudt<>on the reliability of electronic payment systems<>tse<>ross j. anderson<>
26548<>5424_26<>serge vaudenay:bart preneel:kaisa nyberg<>the newton channel<>ih<>ross j. anderson<>
37203<>5431_2<>laxmi n. bhuyan<>an efficient hybrid cache coherence protocol for shared memory multiprocessors<>icpp<>yeimkuan chang<>
19516<>5440_0<>r. k. roy<>low power design<>vlsid<>kaushik roy<>
34660<>5450_2<>c. v. ramamoorthy<>advances in software engineering<>computer<>wei-tek tsai<>
34669<>5450_11<>ramakrishna v. vishnuvajjala:ramin mojdehbakhsh:lynn elliott<>specifying timing constraints in real-time object-oriented systems<>hase<>wei-tek tsai<>
34670<>5450_12<>mohamed e. fayad:milton l. fulghum<>transition to object-oriented software development<>cacm<>wei-tek tsai<>
34690<>5450_32<>ramakrishna v. vishnuvajjala:satish subramanian:ramin mojdehbakhsh:lynn elliott<>"flow analysis for concurrent, reactive, real-time systems."<>hase<>wei-tek tsai<>
4066<>5452_0<>soo-chang pei:chien-cheng tseng<>a parallel decoding algorithm for ifs codes without transient behavior<>tip<>ching-yung lin<>
15460<>5456_34<>j. c. van leeuwen<>possible world semantics for analogous reasoning<>fapr<>john-jules ch. meyer<>
15495<>5456_69<>wiebe van der hoek<>a modal contrastive logic: the logic of `but'<>amai<>john-jules ch. meyer<>
7462<>5470_2<>sushil jajodia:pierangela samarati<>supporting multiple access control policies in database systems<>sp<>elisa bertino<>
7470<>5470_10<>pierangela samarati:sushil jajodia<>an authorization model for a distributed hypertext system<>tkde<>elisa bertino<>
7474<>5470_14<>indrajit ray:sushil jajodia:luigi v. mancini<>an advanced commit protocol for mls distributed database systems<>ccs<>elisa bertino<>
7480<>5470_20<>barbara catania<>static analysis of intensional databases in u-datalog<>pods<>elisa bertino<>
7487<>5470_27<>vijayalakshmi atluri:sushil jajodia<>alternative correctness criteria for concurrent execution of transactions in multilevel secure databases<>tkde<>elisa bertino<>
7488<>5470_28<>elena ferrari:giovanna guerrini<>a formal temporal object-oriented data model<>edbt<>elisa bertino<>
7492<>5470_32<>claudio bettini:elena ferrari:pierangela samarati<>a temporal access control mechanism for database systems<>tkde<>elisa bertino<>
7496<>5470_36<>boris shidlovsky<>a graph-theoretic approach to indexing in object-oriented databases<>icde<>elisa bertino<>
7514<>5470_54<>elena ferrari:claudio bettini:alberto motta:pierangela samarati<>on using materialization strategies for a temporal authorization model<>views<>elisa bertino<>
7517<>5470_57<>claudio bettini:elena ferrari:pierangela samarati<>supporting periodic authorizations and temporal reasoning in database access control<>vldb<>elisa bertino<>
7518<>5470_58<>boris shidlovsky<>on the number of descendants in an object dag<>ipl<>elisa bertino<>
40917<>5479_4<>nulo<>paraconsistent circumscription<>ai<>zuoquan lin<>
30824<>5503_3<>debabrata dey<>a probabilistic relational model and algebra<>tods<>sumit sarkar<>
30825<>5503_4<>ishwar murthy<>constructing efficient belief network structures with expert provided information<>tkde<>sumit sarkar<>
16898<>5509_11<>ellen isaacs:trevor morris<>piazza: a desktop environment supporting impromptu and planned interactions<>cscw<>john c. tang<>
16869<>5514_1<>san-yih hwang<>handling uncertainties in workflow applications<>cikm<>jian tang<>
28949<>5556_0<>zhiyong li:john h. reif<>synthesizing efficient out-of-core programs for block recursive algorithms using block-cyclic data distributions<>icpp<>sandeep k. gupta<>
28960<>5556_11<>yu-chee tseng<>all-to-all personalized communication in a wormhole-routed torus<>tpds<>sandeep k. s. gupta<>
29026<>5557_18<>diganta das:dana s. nau<>generating redesign suggestions to reduce setup cost: a step towards automated redesign<>cad<>satyandra k. gupta<>
28974<>5558_1<>melvin a. breuer<>process-aggravated noise (pan): new validation and test problems<>itc<>sandeep k. gupta<>
28987<>5558_14<>hugo cheung<>a bist methodology for comprehensive testing of ram with reduced heat dissipation<>itc<>sandeep k. gupta<>
28997<>5558_24<>ishwar parulkar:melvin a. breuer<>lower bounds on test resources for scheduled data flow graphs<>dac<>sandeep k. gupta<>
29006<>5558_33<>slawomir pilarski:sudhakar m. reddy:jacob savir:prab varma<>delay fault testing: how robust are our models?<>vts<>sandeep k. gupta<>
37981<>5571_0<>john c. kunz:raymond e. levitt:shouh-dauh lin:paul m. teicholz<>support for integrated value-based maintenance planning<>expert<>yan jin<>
31789<>5578_14<>l. guo:kai salomaa<>on synchronization languages<>fuin<>sheng yu<>
31794<>5582_1<>marc berthod:zoltan kato:josiane zerubia<>bayesian image classification using markov random fields<>ivc<>shan yu<>
35014<>5610_0<>tim king<>the design and characteristics of piezomotors using flexure-hinged displacement amplifiers<>ras<>wei xu<>
35411<>5621_4<>nulo<>distributed near-optimal matching<>combinatorica<>xiaotie deng<>
36989<>5638_10<>shin-ichi nakano:takao nishizeki<>edge-coloring partial k-trees<>jal<>xiao zhou<>
37014<>5638_35<>hitoshi suzuki:takao nishizeki<>a linear algorithm for edge-coloring series-parallel multigraphs<>jal<>xiao zhou<>
36969<>5640_56<>yanchun zhang:maria e. orlowska<>parallel transitive closure computation in relational databases<>isci<>xiaofang zhou<>
36975<>5640_62<>catherine a. ewald<>efficient matrix based transitive closure algorithms for functional dependency graphs<>adc<>xiaofang zhou<>
8676<>5648_19<>h. w. yau:a. leung:wojtek furmanski<>exploration of emerging hpcn technologies for web-based distributed computing<>hpcn<>geoffrey fox<>
8692<>5648_35<>kivanc dincer:kenneth a. hawick<>high-performance fortran and possible extensions to support conjugate gradient algorithms<>hpdc<>geoffrey fox<>
27437<>5672_15<>chandra chekuri:richard johnson:b. natarajan:b. ramakrishna rau:michael s. schlansker<>profile-driven instruction level parallel scheduling with application to super blocks<>micro<>rajeev motwani<>
27456<>5672_34<>prabhakar raghavan<>randomized algorithms<>csur<>rajeev motwani<>
27470<>5672_48<>sanjeev khanna<>towards a syntactic characterization of ptas<>stoc<>rajeev motwani<>
27480<>5672_58<>donald aingworth:chandra chekuri<>fast estimation of diameter and shortest paths (without matrix multiplication)<>soda<>rajeev motwani<>
27496<>5672_74<>sanjeev khanna:randall h. wilson<>on certificates and lookahead in dynamic graph problems<>soda<>rajeev motwani<>
17257<>5701_2<>xiaolong hao:peter a. ng<>information extraction from the structured part of office documents<>isci<>jason tsong-li wang<>
17269<>5701_14<>chia-yo chang<>scientific data mining: a case study<>seke<>jason tsong-li wang<>
17279<>5701_24<>gang zhou:peter a. ng<>curriculum knowledge representation and manipulation in knowledge-based tutoring systems<>tkde<>jason tsong-li wang<>
17297<>5701_42<>bruce a. shapiro:dennis shasha:kaizhong zhang:chia-yo chang<>automated discovery of active motifs in multiple rna secondary structures<>kdd<>jason tsong-li wang<>
17298<>5701_43<>kaizhong zhang:dennis shasha<>on the editing distance between undirected acyclic graphs<>ijfcs<>jason tsong-li wang<>
17323<>5707_16<>kien a. hua:honesty c. young<>sep: a space efficient pipelining technique for managing disk buffers in multimedia servers<>icmcs<>james zijun wang<>
28518<>5724_30<>s. sharma:shankar chatterjee<>recursive estimation of motion parameters<>cviu<>subhasis chaudhuri<>
17345<>5726_2<>laurence b. milstein<>adaptive lms filters for cellular cdma overlay situations<>jsac<>jiangzhou wang<>
28527<>5727_1<>gerth stolting brodal:jaikumar radhakrishnan<>the randomized complexity of maintaining the minimum<>njc<>shiva chaudhuri<>
28528<>5727_2<>gerth stolting brodal:jaikumar radhakrishnan<>the randomized complexity of maintaining the minimum<>swat<>shiva chaudhuri<>
33262<>5740_0<>ryohei nakano<>scheduling by genetic local search with multi-step crossover<>ppsn<>takeshi yamada<>
34574<>5748_0<>sunghyun choi<>vector quantizer design using genetic algorithms<>dcc<>wee keong ng<>
10388<>5765_1<>c. k. chiu:c. m. chou:jimmy ho-man lee:y. w. leung<>a constraint-based interactive train rescheduling tool<>cp<>ho-fung leung<>
26851<>5769_4<>nulo<>congestion control and traffic management in atm networks: recent advances and a survey<>cn<>raj jain<>
2663<>5794_62<>padraig cunningham<>the utility problem analysed: a case-based reasoning perspective<>ewcbr<>barry smyth<>
4005<>5808_2<>chung-yee lee<>on the fixed interval due-date scheduling problem<>dam<>chung-lun li<>
6212<>5855_3<>june c. roh<>random assignment/transmitter-oriented code scheme for centralized ds/ssma packet radio networks<>jsac<>dong i. kim<>
40412<>5871_24<>nulo<>an authentication and security protocol for mobile computing<>ifip<>yuliang zheng<>
7818<>5877_15<>marc abrams:charles r. standridge:ghaleb abdulla:stephen williams<>removal policies in network caches for world-wide web documents<>sigcomm<>edward a. fox<>
16677<>5885_0<>rajendran m. sivasankaran:donald f. towsley:bhaskar purimetla:krithi ramamritham<>priority assignment in real-time active databases<>vldb<>john a. stankovic<>
16683<>5885_6<>marty humphrey<>caisarts: a tool for real-time scheduling assistance<>rtas<>john a. stankovic<>
12116<>5888_1<>heon young yeom:jungsoo ha<>ip multiplexing by transparent port-address translator<>lisa<>ilhwan kim<>
4772<>5894_3<>evan torrie:margaret martonosi:mary w. hall<>characterizing the memory behavior of compiler-parallelized applications<>tpds<>chau-wen tseng<>
33002<>5913_73<>nulo<>a second order parameter for 3sat<>aaai<>tuomas sandholm<>
20001<>5917_5<>philip s. yu<>consumption-based buffer management for maximizing system throughput of a multimedia system<>icmcs<>kun-lung wu<>
20013<>5917_17<>philip s. yu:ming-syan chen<>energy-efficient caching for wireless mobile computing<>icde<>kun-lung wu<>
20023<>5917_27<>ming-syan chen:philip s. yu<>optimization of parallel execution for multi-join queries<>tkde<>kun-lung wu<>
20876<>5929_1<>fritz albregtsen<>fast and exact computation of cartesian geometric moments using discrete green's theorem<>pr<>luren yang<>
21305<>5958_1<>yi-hua chen:gerard j. chang:jing-ho yan<>algorithmic aspects of the generalized clique-transversal problem on chordal graphs<>dam<>maw-shang chang<>
21317<>5969_1<>weiping shi:w. kent fuchs<>harvest rate of reconfigurable pipelines<>tc<>ming-feng chang<>
4467<>5972_2<>yun yang:yanchun zhang:david chen<>distributed concurrency control in real-time cooperative editing systems<>asian<>chengzheng sun<>
19670<>5985_8<>dajun zeng<>multi-agent integration of information gathering and decision support<>ecai<>katia p. sycara<>
19679<>5985_17<>dajun zeng<>coordination of multiple intelligent software agents<>ijcis<>katia p. sycara<>
19688<>5985_26<>anandeep pannu:mike williamson:dajun zeng:keith decker<>distributed intelligent agents<>expert<>katia p. sycara<>
19693<>5985_31<>keith decker:mike williamson<>cloning for intelligent adaptive information agents<>dai<>katia p. sycara<>
25413<>5990_0<>tim oates<>searching for planning operators with context-dependent and probabilistic effects<>aaai<>paul r. cohen<>
25414<>5990_1<>robert st. amant<>a planner for exploratory data analysis<>aips<>paul r. cohen<>
25415<>5990_2<>nulo<>empirical methods for artificial intelligence<>expert<>paul r. cohen<>
25400<>5991_10<>ira a. smith<>toward a semantics for an agent communications language based on speech-acts<>aaai<>philip r. cohen<>
381<>5996_0<>r. krishnan:b. gurumoorthy<>octree encoding of b-rep based objects<>cg<>a. das<>
22201<>6013_16<>tok wang ling:cheng hian goh<>extending classical functional dependencies for physical database design<>infsof<>mong-li lee<>
22228<>6013_43<>tok wang ling<>issues in an entity-relationship based federated database system<>codas<>mong-li lee<>
21905<>6020_0<>jeff shrager<>dynamic plasticity influences the emergence of function in a simple cortical array<>nn<>mark h. johnson<>
24810<>6022_2<>nulo<>the graph clustering problem has a perfect zero-knowledge proof<>eccc<>oded goldreich<>
24836<>6022_28<>rafail ostrovsky<>software protection and simulation on oblivious rams<>jacm<>oded goldreich<>
24845<>6022_37<>shmuel safra<>a combinatorial consistency lemma with application to the pcp theorem<>eccc<>oded goldreich<>
24855<>6022_47<>avi wigderson<>theory of computing: a scientific perspective<>csur<>oded goldreich<>
24856<>6022_48<>shafi goldwasser:shai halevi<>collision-free hashing from lattice problems<>eccc<>oded goldreich<>
24861<>6022_53<>shimon even:silvio micali<>on-line/off-line digital signatures<>joc<>oded goldreich<>
24862<>6022_54<>hugo krawczyk<>on the composition of zero-knowledge proof systems<>siamcomp<>oded goldreich<>
24879<>6022_71<>shafi goldwasser:dana ron<>property testing and its connection to learning and approximation<>focs<>oded goldreich<>
24894<>6022_86<>ran canetti:uriel feige:moni naor<>adaptively secure multi-party computation<>stoc<>oded goldreich<>
24897<>6022_89<>ariel kahan<>how to construct constant-round zero-knowledge proof systems for np<>joc<>oded goldreich<>
15553<>6025_13<>rajesh s. nair:zhiwei zhang<>java-based query driven simulation environment<>wsc<>john a. miller<>
15578<>6029_3<>barry l. nelson:charles h. reilly<>getting more from the data in a multinomial selection problem<>wsc<>john o. miller<>
28264<>6044_14<>wei-ping wang:david tipper<>a simple approximation for modeling nonstationary queues<>infocom<>sujata banerjee<>
28269<>6044_19<>panos k. chrysanthis<>a new token passing distributed mutual exclusion algorithm<>icdcs<>sujata banerjee<>
30136<>6049_5<>chris ho-stuart<>semi-automatic transformation from formal specifications to programs<>iceccs<>shaoying liu<>
6772<>6091_13<>nulo<>toward a classification approach to design<>amast<>douglas r. smith<>
3379<>6093_14<>sheng-lung peng:ming-tat ko:tsan-sheng hsu:chuan yi tang<>graph searching on chordal graphs<>isaac<>chin-wen ho<>
38551<>6122_1<>lizy kurian john<>performance model for a prioritized multiple-bus multiprocessor system<>tc<>yu-cheng liu<>
16100<>6129_1<>david j. dewitt<>partition based spatial-merge join<>sigmod<>jignesh m. patel<>
3020<>6132_0<>ruey-feng chang:wen-tsai lee:ching-lin kuo<>a fast search algorithm for vector quantization<>jise<>chin-chen chang<>
33502<>6174_17<>d. schirmer<>towards a more realistic definition of feasibility<>eatcs<>vladik kreinovich<>
10579<>6187_11<>rudy setiono<>dimensionality reduction via discretization<>kbs<>huan liu<>
10585<>6187_17<>rudy setiono<>a probabilistic approach to feature selection - a filter solution<>icml<>huan liu<>
10589<>6187_21<>rudy setiono<>symbolic representation of neural networks<>computer<>huan liu<>
10605<>6187_37<>rudy setiono<>improving backpropagation learning with feature selection<>apin<>huan liu<>
10610<>6187_42<>hongjun lu:rudy setiono<>effective data mining using neural networks<>tkde<>huan liu<>
24299<>6192_5<>peyman faratin:m. j. johnson:timothy j. norman:p. o'brien:m. e. wiegand<>agent-based business process management<>ijcis<>nicholas r. jennings<>
24346<>6192_52<>jose manuel corera:inaki laresgoiti<>"using archon, part 2: electricity transportation management."<>expert<>nicholas r. jennings<>
11464<>6222_7<>nulo<>on the maximum number of independent cycles in a bipartite graph<>jct<>hong wang<>
11466<>6222_9<>charles h. c. little:kee l. teo<>partition of a directed bipartite graph into two directed cycles<>dm<>hong wang<>
14071<>6225_3<>jorgen bang-jensen:gregory gutin<>a sufficient condition for a semicomplete multipartite digraph to be hamiltonian<>dm<>jing huang<>
14079<>6225_11<>xiaotie deng:pavol hell<>linear-time representation algorithms for proper circular-arc graphs and proper interval graphs<>siamcomp<>jing huang<>
40710<>6254_3<>hideya iwasaki:masato takeichi<>construction of list homomorphisms by tupling and fusion<>mfcs<>zhenjiang hu<>
40713<>6254_6<>hideya iwasaki:masato takeichi<>formal derivation of parallel program for 2-dimensional maximum segment sum problem<>europar<>zhenjiang hu<>
40716<>6254_9<>hideya iwasaki:masato takeichi<>deriving structural hylomorphisms from recursive definitions<>icfp<>zhenjiang hu<>
7930<>6286_63<>brenda s. baker<>mutual exclusion scheduling<>tcs<>edward g. coffman jr.<>
7945<>6287_3<>jennifer d. key<>designs and codes: an update<>dcc<>e. f. assmus jr.<>
7972<>6288_18<>richard n. taylor:nenad medvidovic:kenneth m. anderson:jason e. robbins:kari a. nies:peyman oreizy:deborah l. dubrow<>a component- and message-based architectural style for gui software<>tse<>e. james whitehead jr.<>
10016<>6304_5<>yang dai:kazuo iwano:naoki katoh:keiji ohtsuka:nobuhiko yoshimura<>a new unifying heuristic algorithm for the undirected minimum cut problems using minimum range cut algorithms<>dam<>hiroshi imai<>
10020<>6304_9<>tsuyoshi ono:yoshiaki kyoda:tomonari masada:kazuyoshi hayase:tetsuo shibuya:motoki nakade:mary inaba:keiko imai:david avis<>a package for triangulations<>compgeom<>hiroshi imai<>
10032<>6304_21<>kazuyoshi hayase<>obdds of a monotone function and of its prime implicants<>isaac<>hiroshi imai<>
10038<>6304_27<>tomonari masada:keiko imai<>enumeration of regular triangulations<>compgeom<>hiroshi imai<>
10043<>6304_32<>mary inaba:naoki katoh<>experimental results of randomized clustering algorithm<>compgeom<>hiroshi imai<>
10045<>6306_0<>tetsuo shibuya:shigeki nishimura:hiroshi shimoura:kenji tenmoku<>detour queries in geographical databases for navigation and related algorithm animations<>codas<>hiroshi imai<>
1833<>6316_1<>edward remias:gholamhosein sheikholeslami<>block-oriented image decomposition and retrieval in image database systems<>iwmmdbms<>aidong zhang<>
33883<>6320_0<>meng-chou chang:feipei lai<>image shading taking into account relativistic effects<>tog<>wei-chao chen<>
17854<>6327_1<>nulo<>the auxiliary space method and optimal multigrid preconditioning techniques for unstructured grids<>computing<>jinchao xu<>
33862<>6338_0<>eric c. lin<>route optimization and location updates for mobile hosts<>icdcs<>weidong chen<>
633<>6343_7<>sukumar ghosh<>an exercise in fault-containment: self-stabilizing leader election<>ipl<>arobinda gupta<>
583<>6344_1<>jeffrey r. bach:charles fuller:arun hampapur:bradley horowitz:rich humphrey:ramesh jain:chiao-fe shu<>virage image search engine: an open framework for image management<>spieSR<>amarnath gupta<>
711<>6348_9<>naomi nishimura<>characterizing the complexity of subgraph isomorphism for graphs of bounded path-width<>stacs<>arvind gupta<>
713<>6348_11<>damon kaller:sanjeev mahajan:thomas c. shermer<>vertex partitioning problems on partial k-trees<>swat<>arvind gupta<>
680<>6352_14<>elise de doncker:patricia ealy:jay ball<>preconditioned conjugate gradient solver for large sparse systems on mpi<>pdpta<>ajay gupta<>
1636<>6368_0<>james f. blinn<>blue screen matting<>siggraph<>alvy ray smith<>
1602<>6370_20<>jeffrey d. gee<>evaluation of cache consistency algorithm performance<>mascots<>alan jay smith<>
1606<>6370_24<>rafael h. saavedra<>analysis of benchmark characteristics and benchmark performance prediction<>tocs<>alan jay smith<>
1609<>6370_27<>jacob r. lorch<>reducing processor power consumption by improving processor time management in a single-user operating system<>mobicom<>alan jay smith<>
5607<>6379_3<>richard kennaway<>event structures and non-orthogonal term graph rewriting<>mscs<>david clark<>
18874<>6382_11<>victor c. s. lee:sheung-lun hung:ben kao<>impact of priority assignment on optimistic concurrency control in distributed real-time databases<>rtcsa<>kam-yiu lam<>
18916<>6384_17<>hong yan<>locating and extracting the eye in human face images<>pr<>kin-man lam<>
5592<>6385_1<>edward w. felten:richard alpert:angelos bilas:matthias a. blumrich:stefanos n. damianakis:cezary dubnicki:liviu iftode:kai li<>early experience with message-passing on the shrimp multicomputer<>isca<>douglas w. clark<>
14949<>6396_5<>david m. nicol<>parallelizable execution-driven simulation of threaded distributed memory parallel computations<>mascots<>j. x. liu<>
393<>6420_3<>sarit mukherjee:prabhudev konana:igor r. viguier:akhilesh bajaj<>multiclass transaction scheduling and overload management in firm real-time database systems<>is<>anindya datta<>
26686<>6424_0<>william k. c. lam:alberto l. sangiovanni-vincentelli<>valid clock frequencies and their computation in wavepipelined circuits<>tcad<>robert k. brayton<>
26687<>6424_1<>paul r. stephan:alberto l. sangiovanni-vincentelli<>combinational test generation using satisfiability<>tcad<>robert k. brayton<>
26689<>6426_1<>gary d. hachtel:alberto l. sangiovanni-vincentelli:fabio somenzi:adnan aziz:szu-tsung cheng:stephen a. edwards:sunil p. khatri:yuji kukimoto:abelardo pardo:shaz qadeer:rajeev k. ranjan:shaker sarwary:thomas r. shiple:gitanjali swamy:tiziano villa<>vis: a system for verification and synthesis<>cav<>robert k. brayton<>
7609<>6427_2<>kenneth l. mcmillan:sergio vale aguiar campos:vassili hartonas-garmhausen<>symbolic model checking<>cav<>edmund m. clarke<>
7610<>6427_3<>orna grumberg:david e. long<>model checking<>nato<>edmund m. clarke<>
3774<>6428_5<>joosun hahn:sang lyul min:rhan ha:seongsoo hong:chang yun park:minsuk lee:chong-sang kim<>analysis of cache-related preemption delay in fixed-priority preemptive scheduling<>rtss<>chang-gun lee<>
3778<>6428_9<>young-kuk kim:sang hyuk son:sang lyul min:chong-sang kim<>efficiently supporting hard/soft deadline transactions in real-time database systems<>rtcsa<>chang-gun lee<>
26947<>6441_0<>nulo<>the need for a dialectical tier in arguments<>fapr<>ralph h. johnson<>
26956<>6443_0<>claudia alexander:sandra barlett:michael burek:theodore clarke:joan c. durrance:james green:janet kozyra:jon linker:david mastie:paul orselli:craig rasmussen:rivard redding:terry e. weymouth<>windows to the universe<>webnet<>roberta m. johnson<>
25503<>6484_2<>michel banatre:alain gefflaut:philippe joubert:christine morin<>an architecture for tolerating processor failures in shared memory multiprocessors<>tc<>peter w. lee<>
25489<>6488_6<>fang-yu huang:chorng-yuan huang:hwann-tzong chen<>efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money<>sac<>peizong lee<>
25496<>6488_13<>wen-yao chen<>compiler techniques for determining data distribution and generating communication sets on distributed-memory multicomputers<>hicss<>peizong lee<>
25521<>6495_9<>george c. necula<>safe kernel extensions without run-time checking<>osdi<>peter lee<>
25522<>6495_10<>pieter h. hartel:marc feeley:martin alt:lennart augustsson:peter baumann:marcel beemster:emmanuel chailloux:christine h. flood:wolfgang grieskamp:john h. g. van groningen:kevin hammond:bogumil hausman:melody y. ivory:richard e. jones:jasper kamperman:xavier leroy:rafael dueire lins:sandra loosemore:niklas rojemo:manuel serrano:jean-pierre talpin:jon thackray:stephen thomas:pum walters:pierre weis:peter wentworth<>"benchmarking implementations of functional languages with `pseudoknot', a float-intensive benchmark."<>jfp<>peter lee<>
25529<>6495_17<>mark leone<>optimizing ml with run-time code generation<>pldi<>peter lee<>
9847<>6496_10<>hongsik choi:murat azizoglu<>efficient scheduling of transmissions in optical broadcast networks<>ton<>hyeong-ah choi<>
32865<>6506_0<>davi geiger<>recognizing articulated objects with information theoretic methods<>fgr<>tyng-luh liu<>
32876<>6506_11<>mike donahue:davi geiger:robert a. hummel<>sparse representations for image decomposition with occlusions<>cvpr<>tyng-luh liu<>
32883<>6506_18<>mike donahue:davi geiger:robert a. hummel<>image recognition with occlusions<>eccv<>tyng-luh liu<>
36098<>6514_2<>nulo<>graphical table of contents<>dl<>xia lin<>
36071<>6516_24<>peter eades:qing-wen feng<>straight-line drawing algorithms for hierarchical graphs and clustered graphs<>gd<>xuemin lin<>
10061<>6540_9<>sibabrata ray:qing yang<>a compiler-directed approach to network latency reduction for distributed shared memory multiprocessors<>jpdc<>hong jiang<>
28010<>6542_1<>thomas e. anderson:michael dahlin:jeanna m. neefe:david a. patterson:drew s. roselli<>serverless network file systems<>tocs<>randolph y. wang<>
28011<>6542_2<>arvind krishnamurthy:klaus e. schauser:chris j. scheiman:david e. culler:katherine a. yelick<>evaluation of architectural support for global address-based communication in large-scale parallel machines<>asplos<>randolph y. wang<>
39291<>6550_6<>dhabaleswar k. panda:ten-hwang lai<>a trip-based multicasting model in wormhole-routed networks with virtual channels<>tpds<>yu-chee tseng<>
39305<>6550_20<>tzung-shi chen:jang-ping sheu<>balanced spanning trees in complete and incomplete star graphs<>tpds<>yu-chee tseng<>
39320<>6550_35<>shu-hui chang:jang-ping sheu<>fault-tolerant ring embedding in star graphs<>ipps<>yu-chee tseng<>
39323<>6550_38<>sandeep k. s. gupta<>all-to-all personalized communication in a wormhole-routed torus<>tpds<>yu-chee tseng<>
28382<>6555_1<>tiziana catarci:maria francesca costabile:stefano levialdi:giuseppe santucci<>a graph-based framework for multiparadigmatic visual access to databases<>tkde<>shi-kuo chang<>
28390<>6555_9<>di zhong:hongjiang zhang<>clustering methods for video browsing and annotation<>spieSR<>shih-fu chang<>
28392<>6555_11<>john r. smith:jianhao meng<>efficient techniques for feature-based image/video access and manipulation<>dpc<>shih-fu chang<>
28397<>6555_16<>john r. smith<>visualseek: a fully automated content-based image query system<>mm<>shih-fu chang<>
28415<>6555_34<>seungyup paek<>video server retrieval scheduling for variable bit rate scalable video<>icmcs<>shih-fu chang<>
28433<>6555_52<>nulo<>extending visual languages for multimedia<>ieeemm<>shi-kuo chang<>
28444<>6555_63<>jianhao meng<>cveps - a compressed video editing and parsing system<>mm<>shih-fu chang<>
28452<>6555_71<>piero mussio<>customized visual language design<>seke<>shi-kuo chang<>
28453<>6555_72<>chi-cheng lin:jiangxu xiang<>transformation and exchange of multimedia objects in distributed multimedia systems<>mms<>shi-kuo chang<>
28457<>6555_76<>nulo<>dynamic visual languages<>vl<>shi-kuo chang<>
28461<>6555_80<>jianhao meng<>tools for compressed-domain video indexing and editing<>spieSR<>shih-fu chang<>
28462<>6555_81<>nulo<>active visual information systems<>visual<>shi-kuo chang<>
12063<>6557_6<>nulo<>task parallelism and high-performance languages<>ac<>ian t. foster<>
12072<>6557_15<>carl kesselman:steven tuecke<>the nexus approach to integrating multithreading and communication<>jpdc<>ian t. foster<>
12086<>6557_29<>nulo<>compositional parallel programming languages<>toplas<>ian t. foster<>
21813<>6562_3<>nobutaka suzuki:jun okui<>on the possibility of path expressions containing backward navigations in object-oriented databases<>codas<>minoru ito<>
40848<>6579_33<>jenn-yuan tsai:xin wang:pen-chung yew:bess zheng<>compiler techniques for concurrent multithreading with hardware speculation support<>lcpc<>zhiyuan li<>
1290<>6584_4<>monica marcus<>using ghost variables to prove refinement<>amast<>amir pnueli<>
1292<>6584_6<>yonit kesten:zohar manna<>verification of clocked and hybrid systems<>eef<>amir pnueli<>
39148<>6593_4<>nulo<>verifying local stratifiability of logic programs and databases ii<>ngc<>yi-dong shen<>
33399<>6628_2<>jose meseguer:vladimiro sassone<>process versus unfolding semantics for place/transition petri nets<>tcs<>ugo montanari<>
1125<>6655_0<>martin grotschel:robert weismantel<>packing steiner trees: polyhedral investigations<>mp<>alexander martin<>
1126<>6655_1<>martin grotschel:robert weismantel<>packing steiner trees: further facets<>ejc<>alexander martin<>
1127<>6655_2<>martin grotschel:robert weismantel<>packing steiner trees: separation algorithms<>siamdm<>alexander martin<>
1129<>6655_4<>martin grotschel:robert weismantel<>packing steiner trees: a cutting plane algorithm and computational results<>mp<>alexander martin<>
41408<>6669_1<>alain raynaud:josep torrellas<>distance-adaptive update protocols for scalable shared-memory multiprocessors<>hpca<>zheng zhang<>
3679<>6675_15<>nulo<>accommodating interference in the formal design of concurrent object-based programs<>fmsd<>cliff b. jones<>
3684<>6675_20<>nulo<>some practical problems and their influence on semantics<>esop<>cliff b. jones<>
3708<>6680_0<>nulo<>software change management<>computer<>capers jones<>
1943<>6684_80<>herbert edelsbrunner:leonidas j. guibas:micha sharir:jorge stolfi<>lines in space: combinatorics and algorithms<>algorithmica<>bernard chazelle<>
1966<>6684_103<>jiri matousek<>on linear-time deterministic algorithms for optimization problems in fixed dimension<>jal<>bernard chazelle<>
1968<>6684_105<>gill barequet:leonidas j. guibas:joseph s. b. mitchell:ayellet tal<>boxtree: a hierarchical representation for surfaces in 3d<>cgf<>bernard chazelle<>
36894<>6689_2<>mary baker:stuart cheshire:jonathan stone<>supporting mobility in mosquitonet<>usenix<>xinhua zhao<>
5692<>6701_3<>yen-jen lee:horng-juing lee:wei-hsiu ma<>a systematic approach to design the network-based learning environment for home and office<>lcn<>david hung-chang du<>
5682<>6707_23<>warren d. smith<>disproofs of generalized gilbert - pollak conjecture on the steiner ratio in three or more dimensions<>jct<>ding-zhu du<>
5683<>6707_24<>d. frank hsu:yuh-dauh lyuu<>on the diameter vulnerability of kautz digraphs<>dm<>ding-zhu du<>
18406<>6710_3<>dieter gollmann<>observations on non-repudiation<>asiacrypt<>jianying zhou<>
18420<>6710_17<>dieter gollmann<>a fair non-repudiation protocol<>sp<>jianying zhou<>
18441<>6710_38<>dieter gollmann<>certified electronic mail<>esorics<>jianying zhou<>
31392<>6721_0<>r. srivaths<>content based image retrieval<>mta<>s. srinivasan<>
26366<>6741_8<>kyuseok shim<>developing tightly-coupled data mining applications on a relational database system<>kdd<>rakesh agrawal<>
26368<>6741_10<>manish mehta:jorma rissanen<>sliq: a fast scalable classifier for data mining<>edbt<>rakesh agrawal<>
26370<>6741_12<>john c. shafer:manish mehta<>sprint: a scalable parallel classifier for data mining<>vldb<>rakesh agrawal<>
26372<>6741_14<>ramakrishnan srikant<>mining quantitative association rules in large relational tables<>sigmod<>rakesh agrawal<>
26373<>6741_15<>ramakrishnan srikant<>mining sequential patterns: generalizations and performance improvements<>edbt<>rakesh agrawal<>
26374<>6741_16<>sameet agarwal:prasad deshpande:ashish gupta:jeffrey f. naughton:raghu ramakrishnan:sunita sarawagi<>on the computation of multidimensional aggregates<>vldb<>rakesh agrawal<>
26383<>6741_25<>andreas arning:prabhakar raghavan<>a linear method for deviation detection in large databases<>kdd<>rakesh agrawal<>
26385<>6741_27<>john c. shafer<>parallel mining of association rules<>tkde<>rakesh agrawal<>
26388<>6741_30<>manish mehta:john c. shafer:ramakrishnan srikant:andreas arning:toni bollinger<>the quest data mining system<>kdd<>rakesh agrawal<>
3340<>6743_8<>christian w. omlin<>rule revision with recurrent neural networks<>tkde<>c. lee giles<>
3351<>6743_19<>christian w. omlin<>extraction of rules from discrete-time recurrent neural networks<>nn<>c. lee giles<>
3352<>6743_20<>christian w. omlin<>constructing deterministic finite-state automata in recurrent neural networks<>jacm<>c. lee giles<>
3356<>6743_24<>christian w. omlin<>stable encoding of large finite-state automata in recurrent neural networks with sigmoid discriminants<>neco<>c. lee giles<>
29793<>6746_1<>pinaki mazumder:george i. haddad<>a high-speed 32-bit parallel correlator for spread spectrum communication<>vlsid<>shriram kulkarni<>
29781<>6748_18<>peter l. bartlett:shai ben-david<>learning changing concepts by exploiting the structure of change<>colt<>sanjeev r. kulkarni<>
29790<>6748_27<>wai-man lam<>extended synchronizing codewords for binary prefix codes<>tit<>s. r. kulkarni<>
2807<>6757_6<>nulo<>lower bounds on expected redundancy for nonparametric classes<>tit<>bin yu<>
19335<>6761_8<>dinesh p. mital<>practical issues of dynamic bit allocation in multimedia source compression<>ifip<>k.-k. ma<>
19350<>6762_1<>huaitang chen:huishan zhou<>the ascending star subgraph decomposition of some star forests<>arscom<>kejie ma<>
40787<>6771_2<>michael masuch:loszlo polos<>"alx, an action logic for agents with bounded rationality."<>ai<>zhisheng huang<>
40800<>6771_15<>john bell<>dynamic goal hierarchies<>pricai<>zhisheng huang<>
748<>6789_0<>nulo<>scoring noncovalent protein-ligand interactions: a continuous differentiable function tuned to compute binding affinities<>jcamd<>ajay n. jain<>
5648<>6804_28<>jignesh m. patel<>partition based spatial-merge join<>sigmod<>david j. dewitt<>
14<>6828_3<>j. william atwood<>a unified approach to fault-tolerance in communication protocols based on recovery procedures<>ton<>anjali agarwal<>
9069<>6831_4<>roger duke:cecily bailes<>a blocking model for reactive objects<>fac<>graeme smith<>
35343<>6841_1<>liqun qi<>a preconditioning proximal newton method for nondifferentiable convex optimization<>mp<>xiaojun chen<>
5143<>6880_0<>jau-hsiung huang<>a multimedia synchronization model and its implementation in transport protocols<>jsac<>chun-chuan yang<>
5167<>6886_0<>lori l. pollock<>towards a structural load testing tool<>issta<>cheer-sun d. yang<>
2316<>6889_3<>nulo<>the many faces of inheritance: a taxonomy of taxonomy<>computer<>bertrand meyer<>
2347<>6889_34<>nulo<>static typing<>isotas<>bertrand meyer<>
2350<>6889_37<>nulo<>why your next project should use eiffel<>joop<>bertrand meyer<>
2365<>6889_52<>nulo<>the reusability challenge<>computer<>bertrand meyer<>
2374<>6889_61<>nulo<>"schema evolution: concepts, terminology, and solutions."<>computer<>bertrand meyer<>
2375<>6889_62<>nulo<>the conceptual perspective<>computer<>bertrand meyer<>
2379<>6891_0<>helge kranz:volkmar vill<>prediction of material properties from chemical structures. the clearing temperature of nematic liquid crystals derived from their chemical structures by artificial neural networks<>jcisd<>bernd meyer<>
2378<>6892_1<>matjaz debevc:dali donlagic:rajko svecko<>design and evaluation of an adaptive icon toolbar<>umuai<>beth meyer<>
14353<>6897_0<>duk-ho chang:myoung-ho kim<>temporal query processing using spatially-partitioned method<>codas<>jong soo kim<>
17012<>6903_9<>mark h. nodine:michael t. goodrich<>blocking for external graph searching<>algorithmica<>jeffrey scott vitter<>
17018<>6903_15<>rakesh d. barve:edward f. grove<>simple randomized mergesort on parallel disks<>spaa<>jeffrey scott vitter<>
17029<>6903_26<>kathleen romanik<>using vapnik-chervonenkis dimension to analyze the testing complexity of program segments<>iandc<>jeffrey scott vitter<>
17067<>6903_64<>roberto tamassia<>optimal cooperative search in fractional cascaded data structures<>algorithmica<>jeffrey scott vitter<>
17071<>6903_68<>paul g. howard<>parallel lossless image compression using huffman and arithmetic coding<>ipl<>jeffrey scott vitter<>
17096<>6903_93<>p. krishnan<>optimal prefetching via data compression<>jacm<>jeffrey scott vitter<>
17098<>6903_95<>darren erik vengroff<>efficient 3-d range searching in external memory<>stoc<>jeffrey scott vitter<>
17100<>6903_97<>paris c. kanellakis:sridhar ramaswamy:darren erik vengroff<>indexing for data models with constraints and classes<>jcss<>jeffrey scott vitter<>
17104<>6903_101<>p. krishnan:balakrishna r. iyer<>estimating alphanumeric selectivity in the presence of wildcards<>sigmod<>jeffrey scott vitter<>
2083<>6909_0<>abhijit chatterjee:madhavan swaminathan<>low-cost diagnosis of defects in mcm substrate interconnections<>vts<>bruce c. kim<>
2084<>6909_1<>abhijit chatterjee:naveena nagi<>dc built-in self-test for linear analog circuits<>dt<>bruce c. kim<>
