15787<>0_13<>nulo<>a few results on table-based methods<>rc<>jean-michel muller<>
26571<>17_18<>walter cunto<>the adt proximity and text proximity problems<>spire<>ricardo a. baeza-yates<>
26573<>17_20<>jesus vegas:pablo de la fuente<>the ec query language applied to old manuscripts<>spire<>ricardo a. baeza-yates<>
26579<>17_26<>gaston h. gonnet<>a fast algorithm on average for all-against-all sequence matching<>spire<>ricardo a. baeza-yates<>
26582<>17_29<>gonzalo navarro<>faster approximate string matching<>algorithmica<>ricardo a. baeza-yates<>
26588<>17_35<>gonzalo navarro<>a new indexing method for approximate string matching<>cpm<>ricardo a. baeza-yates<>
26590<>17_37<>gonzalo navarro<>fast multi-dimensional approximate pattern matching<>cpm<>ricardo a. baeza-yates<>
26613<>17_60<>ricard gavalda:gonzalo navarro:r. scheihing<>bounding the expected length of longest common subsequences and forests<>mst<>ricardo a. baeza-yates<>
26625<>17_72<>gonzalo navarro<>very fast and simple approximate string matching<>ipl<>ricardo a. baeza-yates<>
26634<>17_81<>edgar chavez:josi l. marroquin<>spaghettis: an array based algorithm for similarity queries in metric spaces<>spire<>ricardo a. baeza-yates<>
23321<>18_10<>pankaj k. agarwal:boris aronov<>motion planning for a convex polygon in a polygonal environment<>dcg<>micha sharir<>
23324<>18_13<>gill barequet<>partial surface matching by using directed footprints<>comgeo<>micha sharir<>
23327<>18_16<>pankaj k. agarwal:alon efrat<>vertical decomposition of shallow levels in 3-dimensional arrangements and its applications<>siamcomp<>micha sharir<>
23354<>18_43<>marc j. van kreveld:joseph s. b. mitchell:peter rousseeuw:jack snoeyink:bettina speckmann<>efficient algorithms for maximum regression depth<>compgeom<>micha sharir<>
25069<>25_7<>binay k. bhattacharya:sandeep sen<>output-sensitive algorithms for uniform partitions of points<>isaac<>pankaj k. agarwal<>
25100<>25_38<>julien basch:mark de berg:leonidas j. guibas:john hershberger<>lower bounds for kinetic planar subdivisions<>compgeom<>pankaj k. agarwal<>
25122<>25_60<>lars arge:gerth stolting brodal:jeffrey scott vitter<>i/o-efficient dynamic point location in monotone planar subdivisions<>soda<>pankaj k. agarwal<>
25126<>25_64<>boris aronov:micha sharir<>motion planning for a convex polygon in a polygonal environment<>dcg<>pankaj k. agarwal<>
25158<>25_96<>alon efrat:micha sharir<>vertical decomposition of shallow levels in 3-dimensional arrangements and its applications<>siamcomp<>pankaj k. agarwal<>
25162<>25_100<>micha sharir<>motion planning of a ball amid segments in three dimensions<>soda<>pankaj k. agarwal<>
25166<>25_104<>micha sharir<>"pipes, cigars, and kreplach: the union of minkowski sums in three dimensions."<>compgeom<>pankaj k. agarwal<>
33452<>32_43<>forrest shull:filippo lanubile<>using experiments to build a body of knowledge<>ershov<>victor r. basili<>
33457<>32_48<>forrest shull:filippo lanubile<>building knowledge through families of experiments<>tse<>victor r. basili<>
33471<>32_62<>zhijun zhang:ben shneiderman<>perspective-based usability inspection: an empirical validation of efficacy<>ese<>victor r. basili<>
5989<>42_16<>georges r. harik:fernando g. lobo<>the compact genetic algorithm<>tec<>david e. goldberg<>
5990<>42_17<>siegfried vossner<>optimizing global-local search hybrids<>gecco<>david e. goldberg<>
6012<>45_9<>harel z. shouval:leon n. cooper<>lateral connectivity as a scaffold for developing orientation preference maps<>ijon<>david h. goldberg<>
26764<>53_19<>eyal felstaine:ofer hadar<>crankback prediction in hierarchical atm networks<>infocom<>reuven cohen<>
20107<>54_0<>terrence j. sejnowski<>neuronal tuning: to sharpen or broaden?<>neco<>kechen zhang<>
18759<>57_5<>chiaki sakama<>updating extended logic programs through abduction<>lpnmr<>katsumi inoue<>
18777<>57_23<>chiaki sakama<>abducing priorities to derive intended conclusions<>ijcai<>katsumi inoue<>
18780<>57_26<>chiaki sakama<>computing extended abduction through transaction programs<>amai<>katsumi inoue<>
37577<>66_0<>dong kyue kim:jee-soo lee:kunsoo park<>efficient algorithms for approximate string matching with swaps<>jc<>yookun cho<>
37578<>72_0<>dae-gab gweon<>conditional variance estimation using stochastic learning algorithm<>jifs<>young-bin cho<>
27205<>76_5<>mayur naik<>object-oriented symbol management in syntax-directed compiler systems<>sigplan<>rajeev kumar<>
32364<>83_0<>genta ueno:shinobu machida:nagatomo nakamura:tohru araki<>detection of the structure of particle velocity distribution by finite mixture distribution model<>dis<>tomoyuki higuchi<>
32368<>83_4<>genshiro kitagawa:fumiyo n. kondo<>smoothness prior approach to explore the mean structure in large time series data<>dis<>tomoyuki higuchi<>
10843<>99_2<>neill w. campbell:cliff randell<>combining positional information with visual media<>iswc<>henk l. muller<>
10854<>99_13<>david may<>using channels for multimedia communication<>ipps<>henk l. muller<>
34508<>100_17<>simon d. haynes:peter y. k. cheung:john stone<>sonic - a plug-in architecture for video processing<>fccm<>wayne luk<>
34532<>100_41<>simon d. haynes:peter y. k. cheung:john stone<>sonic - a plug-in architecture for video processing<>fpl<>wayne luk<>
34534<>100_43<>t. k. lee:j. rice:nabeel shirazi:peter y. k. cheung<>reconfigurable computing for augmented reality<>fccm<>wayne luk<>
34551<>100_60<>dan benyamin:john d. villasenor<>optimizing fpga-based vector product designs<>fccm<>wayne luk<>
34557<>100_66<>markus weinhardt<>pipeline vectorization for reconfigurable systems<>fccm<>wayne luk<>
23396<>106_2<>michael n. huhns<>multiagent treatment of agenthood<>aai<>munindar p. singh<>
23414<>106_20<>anuj k. jain:manuel aparicio iv<>agents for process coherence in virtual enterprises<>cacm<>munindar p. singh<>
23434<>106_40<>nulo<>an ontology for commitments in multiagent systems<>ail<>munindar p. singh<>
23462<>106_68<>mahadevan venkatraman<>verifying compliance with commitment protocols<>aamas<>munindar p. singh<>
6610<>122_0<>alan skousen<>using a distributed single address space operating system to support modern cluster computing<>hicss<>donald miller<>
6612<>122_2<>alan skousen<>using a single address space operating system for distributed computing and high performance<>ipccc<>donald miller<>
6606<>124_7<>ajit v. rao:kenneth rose:allen gersho<>a deterministic annealing approach for parsimonious design of piecewise regression models<>pami<>david j. miller<>
6563<>127_4<>catuscia palamidessi<>foundational aspects of syntax<>csur<>dale miller<>
32811<>135_13<>nulo<>data mining: granular computing approach<>pakdd<>tsau young lin<>
32815<>135_17<>qing liu<>first order rough logic-revisited<>rsfdgrc<>tsau young lin<>
32819<>135_21<>t. c. ting:ming-yuh huang:d. shayne pitcock:chris clifton<>panel on intrusion detection<>dbsec<>tsau young lin<>
32822<>135_24<>shusaku tsumoto<>context-free fuzzy sets in data mining context<>rsfdgrc<>tsau young lin<>
37242<>149_0<>guang-ming wu:michael shyu<>universal switch blocks for three-dimensional fpga design<>fpga<>yao-wen chang<>
5740<>153_11<>nulo<>subgraph isomorphism in planar graphs and related problems<>jgaa<>david eppstein<>
5743<>153_14<>nulo<>setting parameters by example<>focs<>david eppstein<>
5748<>153_19<>nulo<>setting parameters by example<>corr<>david eppstein<>
5763<>153_34<>marshall w. bern:brad l. hutchings<>algorithms for coloring quadtrees<>corr<>david eppstein<>
5766<>153_37<>nulo<>subgraph isomorphism in planar graphs and related problems<>corr<>david eppstein<>
5769<>153_40<>nulo<>linear complexity hexahedral mesh generation<>comgeo<>david eppstein<>
5780<>153_51<>marshall w. bern:erik d. demaine:eric kuo<>ununfoldable polyhedra<>cccg<>david eppstein<>
5782<>153_53<>david hart<>shortest paths in an arrangement with  line orientations<>soda<>david eppstein<>
5788<>153_59<>nulo<>fast hierarchical clustering and other applications of dynamic closest pairs<>corr<>david eppstein<>
5798<>153_69<>michael b. dillencourt:daniel s. hirschberg<>geometric thickness of complete graphs<>corr<>david eppstein<>
5822<>153_93<>xianping ge:padhraic smyth<>the distribution of cycle lengths in graphical models for iterative decoding<>corr<>david eppstein<>
5828<>153_99<>jeff erickson<>"raising roofs, crashing cycles, and playing pool: applications of a data structure for finding pairwise interactions."<>dcg<>david eppstein<>
5834<>153_105<>nulo<>beta-skeletons have unbounded dilation<>corr<>david eppstein<>
5837<>153_108<>marshall w. bern:erik d. demaine:eric kuo:andrea mantler:jack snoeyink<>ununfoldable polyhedra with convex faces<>corr<>david eppstein<>
5858<>153_129<>marshall w. bern<>quadrilateral meshing by circle packing<>corr<>david eppstein<>
5887<>153_158<>marshall w. bern:pankaj k. agarwal:nina amenta:l. paul chew:tamal k. dey:david p. dobkin:herbert edelsbrunner:cindy grimm:leonidas j. guibas:john harer:joel hass:andrew hicks:carroll k. johnson:gilad lerman:david letscher:paul e. plassmann:eric sedgwick:jack snoeyink:jeff weeks:chee-keng yap:denis zorin<>emerging challenges in computational topology<>corr<>david eppstein<>
5898<>153_169<>erik d. demaine:martin l. demaine:erich friedman<>hinged dissections of polyominoes and polyforms<>cccg<>david eppstein<>
5912<>153_183<>nina amenta:marshall w. bern<>optimal point placement for mesh smoothing<>jal<>david eppstein<>
5919<>153_190<>marshall w. bern:shang-hua teng<>parallel construction of quadtrees and quality triangulations<>ijcga<>david eppstein<>
5923<>153_194<>marshall w. bern<>multivariate regression depth<>corr<>david eppstein<>
5924<>153_195<>nulo<>incremental and decremental maintenance of planar width<>soda<>david eppstein<>
22314<>163_3<>sheayun lee:sang lyul min:chong-sang kim:chang-gun lee<>cache-conscious limited preemptive scheduling<>rts<>minsuk lee<>
22303<>165_2<>yong xie:changdong liu:tarek n. saadawi<>adaptive multimedia synchronization in a teleconference system<>mms<>myung j. lee<>
41370<>198_1<>olivier danvy<>an operational investigation of the cps hierarchy<>esop<>zhe yang<>
41378<>200_0<>chengzheng sun:abdul sattar:yanyan yang<>a new look at multimedia synchronization in distributed environments<>ispan<>zhonghua yang<>
27146<>202_1<>ashwin srinivasan:douglas w. bristol<>an assessment of submissions made to the predictive toxicology evaluation challenge<>ijcai<>ross d. king<>
27154<>202_9<>ashwin srinivasan<>feature construction with inductive logic programming: a study of quantitative predictions of biological activity aided by structural attributes<>datamine<>ross d. king<>
27161<>202_16<>ashwin srinivasan:douglas w. bristol<>an assessment of ilp-assisted models for toxicology and the pte-3 experiment<>ilp<>ross d. king<>
34801<>210_20<>nulo<>upper bounds of entire chromatic number of plane graphs<>ejc<>weifan wang<>
17235<>220_22<>srinivasan keshav<>efficient and accurate ethernet simulation<>lcn<>jia wang<>
17155<>228_5<>chun jin:yi deng<>performance analysis of traffic networks based on stochastic timed petri net models<>iceccs<>jiacun wang<>
17158<>228_8<>yi deng<>integrated architectural modeling and analysis for high-assurance command and control system design<>ansoft<>jiacun wang<>
17160<>228_10<>xudong he:yi deng<>introducing software architecture specification and analysis in sam through an example<>infsof<>jiacun wang<>
17114<>230_7<>jia li:robert m. gray:gio wiederhold<>multiresolution object-of-interest detection for images with low depth of field<>iciap<>james ze wang<>
17165<>234_4<>nulo<>packing of unequal spheres and automated radiosurgical treatment planning<>jco<>jie wang<>
17166<>234_5<>ming-yang kao<>linear-time approximation algorithms for computing numerical summation with provably small errors<>corr<>jie wang<>
17170<>234_9<>jared karro<>"towards a practical, secure, and very large scale online election."<>acsac<>jie wang<>
39121<>236_1<>megumi saito:hiroshi kashiwagi:katsushi ikeuchi<>measurement of surface orientations of transparent objects using polarization in highlight<>cvpr<>yoichi sato<>
39124<>236_4<>ko nishino:katsushi ikeuchi<>appearance compression and synthesis based on 3d model for mixed reality<>iccv<>yoichi sato<>
8119<>247_0<>rynson w. h. lau<>real-time rendering of deformable parametric free-form surfaces<>vrst<>frederick w. b. li<>
26944<>261_0<>bahareh sadeghi:edward w. knightly<>towards coarse-grained mobile qos<>wowmom<>rahul jain<>
34874<>264_0<>nulo<>guest editorial<>mms<>wayne wolf<>
30868<>269_35<>anish biswas<>influence of perspectives on help-giving behaviors<>agents<>sandip sen<>
30916<>270_6<>neelima gupta<>distribution-sensitive algorithms<>njc<>sandeep sen<>
30949<>270_39<>pankaj k. agarwal:binay k. bhattacharya<>output-sensitive algorithms for uniform partitions of points<>isaac<>sandeep sen<>
30902<>271_8<>jennifer rexford:donald f. towsley<>proxy prefix caching for multimedia streams<>infocom<>subhabrata sen<>
30909<>271_15<>donald f. towsley:zhi-li zhang:jayanta k. dey<>optimal multicast smoothing of streaming video over an internetwork<>infocom<>subhabrata sen<>
29176<>280_17<>paul ammann:catherine d. mccollum<>surviving information warfare attacks<>computer<>sushil jajodia<>
29216<>280_57<>elisa bertino:pierangela samarati<>a flexible authorization mechanism for relational data management systems<>tois<>sushil jajodia<>
29223<>280_64<>peng liu:catherine d. mccollum<>intrusion confinement by isolation in information systems<>dbsec<>sushil jajodia<>
29253<>280_94<>amgad fayad:catherine d. mccollum<>application-level isolation using data inconsistency detection<>acsac<>sushil jajodia<>
29271<>280_112<>neil f. johnson:zoran duric<>on fingerprinting images for recognition<>mis<>sushil jajodia<>
29295<>280_136<>chunru zhang:kwok-yan lam<>scalable threshold closure<>tcs<>sushil jajodia<>
29306<>280_147<>paul ammann<>the integrity challenge<>tc11-5<>sushil jajodia<>
29324<>280_165<>peng liu:paul ammann<>incorporating transaction semantics to reduce reprocessing overhead in replicated mobile data applications<>icdcs<>sushil jajodia<>
29355<>280_196<>catherine d. mccollum:paul ammann<>trusted recovery<>cacm<>sushil jajodia<>
3764<>287_0<>shaoping chu:laurie a. mcnair:scott elliott:omar a. hurricane:richard p. turco:richard c. dugdale<>ecodynamics and dissolved gas chemistry routines for ocean circulation models<>candc<>chung-chieng a. lai<>
33776<>296_0<>thomas eiter<>"heterogeneous active agents, ii: algorithms and complexity."<>ai<>v. s. subrahmanian<>
33777<>296_1<>thomas eiter:george pick<>"heterogeneous active agents, i: semantics."<>ai<>v. s. subrahmanian<>
25437<>306_2<>anthony j. w. hilton<>"the hall number, the hall index, and the total hall number of a graph."<>dam<>peter d. johnson jr.<>
18546<>307_3<>hector garcia-molina<>mind your vocabulary: query mapping across heterogeneous information sources<>sigmod<>kevin chen-chuan chang<>
18548<>307_5<>hector garcia-molina:andreas paepcke<>predicate rewriting for translating boolean queries in a heterogeneous information system<>tois<>kevin chen-chuan chang<>
18590<>307_47<>andreas paepcke:michelle q. wang baldonado:steve b. cousins:hector garcia-molina<>using distributed objects to build the stanford digital library infobus<>computer<>kevin chen-chuan chang<>
18591<>307_48<>wen-syan li:quoc vu:edward y. chang:divyakant agrawal:kyoji hirata:sougata mukherjea:yi-leh wu:corey bufi:yoshinori hara:reiko ito:yutaka kimura:kazuyuki shimazu:yukiyoshi saito<>"powerbookmarks: a system for personalizable web information organization, sharing, and management."<>sigmod<>kevin chen-chuan chang<>
18606<>314_1<>david chenho kung:pei hsia<>obl: a formal deduction method for object-oriented systems<>compsac<>kuangnan chang<>
3307<>318_6<>chi-hung chi:andrew lim<>word segmentation and recognition for web document framework<>cikm<>chen ding<>
3277<>319_13<>nulo<>a similarity-based probability model for latent semantic indexing<>sigir<>chris h. q. ding<>
9602<>324_1<>john c. s. lui:cedric c. f. fong<>location updates and probabilistic tracking algorithms for mobile cellular networks<>ispan<>h. w. chan<>
4892<>328_8<>xiaoyun lu:da-wei wang<>the strong hall property and symmetric chain orders<>dm<>c. k. wong<>
23561<>333_1<>ronald fagin:joseph y. halpern:yoram moses<>common knowledge revisited<>apal<>moshe y. vardi<>
23571<>333_11<>joan feigenbaum:sampath kannan:mahesh viswanathan<>the complexity of problems on graphs represented as obdds<>cjtcs<>moshe y. vardi<>
23572<>333_12<>ranan fraer:gila kamhi:limor fix<>evaluating semi-exhaustive verification techniques for bug hunting<>entcs<>moshe y. vardi<>
23574<>333_14<>diego calvanese:giuseppe de giacomo:maurizio lenzerini<>rewriting of regular expressions and regular path queries<>pods<>moshe y. vardi<>
23589<>333_29<>doron peled:mihalis yannakakis<>black box checking<>forte<>moshe y. vardi<>
23609<>333_49<>marco daniele:paolo traverso<>strong cyclic planning revisited<>ecp<>moshe y. vardi<>
23622<>333_62<>orna kupferman<>model checking of safety properties<>cav<>moshe y. vardi<>
23663<>333_103<>orna kupferman<>church's problem revisited<>bsl<>moshe y. vardi<>
23692<>333_132<>orna kupferman<>robust satisfaction<>concur<>moshe y. vardi<>
23693<>333_133<>orna kupferman<>vacuity detection in temporal model checking<>charme<>moshe y. vardi<>
23696<>333_136<>kathi fisler<>bisimulation and model checking<>charme<>moshe y. vardi<>
23720<>333_160<>orna kupferman<>the weakness of self-complementation<>stacs<>moshe y. vardi<>
23728<>333_168<>marco daniele:fausto giunchiglia<>improved automata generation for linear temporal logic<>cav<>moshe y. vardi<>
31410<>334_6<>john hershberger<>an optimal algorithm for euclidean shortest paths in the plane<>siamcomp<>subhash suri<>
31415<>334_11<>john hershberger<>kinetic connectivity of rectangles<>compgeom<>subhash suri<>
30465<>336_12<>paul skelly:donald f. towsley<>estimation and removal of clock skew from network delay measurements<>infocom<>sue b. moon<>
34430<>343_0<>chin-teng lin:hsi-wen nein<>a space-time delay neural network for motion recognition and its application to lipreading<>ijns<>wen-chieh lin<>
33280<>355_12<>huican zhu:ben smith<>scheduling optimization for resource-intensive web requests on server clusters<>spaa<>tao yang<>
33283<>355_15<>michel cosnard:emmanuel jeannot<>slc: symbolic scheduling for executing parameterized task graphs on multiprocessors<>icpp<>tao yang<>
33304<>355_36<>hong tang:kai shen<>compile/run-time support for threaded mpi execution on multiprogrammed shared memory machines<>ppopp<>tao yang<>
34435<>363_0<>chin-teng lin:hsi-wen nein<>speaker adaptation of fuzzy-perceptron-based speech recognition<>ijufks<>wei-fen lin<>
9646<>365_1<>chung j. kuo<>adaptive schemes for improving fractal block coding of images<>jise<>hsuan t. chang<>
10140<>369_1<>jennifer d. key<>"edward f. assmus, jr. (1931-1998)."<>dcc<>h. f. mattson jr.<>
14653<>396_0<>eui yong lee<>an optimal proportion of perfect repair<>orl<>jiyeon lee<>
38326<>408_0<>chengqi zhang<>information-based cooperation in multiple agent systems<>ausai<>yuefeng li<>
22786<>424_39<>robert-paul berretty:kenneth y. goldberg:lawrence cheung:gordon smith:a. frank van der stappen<>trap design for vibratory bowl feeders<>icra<>mark h. overmars<>
22789<>424_42<>therese c. biedl:erik d. demaine:martin l. demaine:sylvain lazard:anna lubiw:joseph o'rourke:steve robbins:ileana streinu:godfried t. toussaint:sue whitesides<>locked and unlocked polygonal chains in 3d<>soda<>mark h. overmars<>
22792<>424_45<>valerie boor:a. frank van der stappen<>the gaussian sampling strategy for probabilistic roadmap planners<>icra<>mark h. overmars<>
22797<>424_50<>robert-paul berretty:kenneth y. goldberg:a. frank van der stappen<>geometric algorithms for trap design<>compgeom<>mark h. overmars<>
22802<>424_55<>a. frank van der stappen:chantal wentink<>computing form-closure configurations<>icra<>mark h. overmars<>
22848<>424_101<>therese c. biedl:erik d. demaine:martin l. demaine:sylvain lazard:anna lubiw:joseph o'rourke:steve robbins:ileana streinu:godfried t. toussaint:sue whitesides<>locked and unlocked polygonal chains in 3d<>corr<>mark h. overmars<>
16363<>446_15<>richard a. brualdi<>discrepancy of matrices of zeros and ones<>combinatorics<>jian shen<>
5354<>470_0<>kanniah jagannathan:than myint<>prescribed synergy method based hybrid intelligent gait synthesis for biped robot<>icra<>changjiu zhou<>
5361<>470_7<>da ruan<>integration of linguistic and numerical information for biped control<>ras<>changjiu zhou<>
14687<>473_0<>dong kyue kim:kunsoo park:yookun cho<>efficient algorithms for approximate string matching with swaps<>jc<>jee-soo lee<>
1101<>480_2<>gerald i. cheong:monica s. lam<>an affine partitioning algorithm to maximize parallelism and minimize communication<>ics<>amy w. lim<>
1092<>481_0<>kui mok<>improving performance of adaptive media access control protocols for high-density wireless networks<>ispan<>alvin lim<>
19489<>483_9<>despina saparilla:martin reisslein<>periodic broadcasting with vbr-encoded video<>infocom<>keith w. ross<>
19505<>483_25<>martin reisslein:srinivas rajagopal<>guaranteeing statistical qos to regulated traffic: the single node case<>infocom<>keith w. ross<>
19454<>485_29<>hui lei<>"faster joins, self-joins and multi-way joins using join indices."<>dke<>kenneth a. ross<>
19471<>485_46<>zhe li<>fast joins using join indices<>vldb<>kenneth a. ross<>
19477<>485_52<>jun rao<>cache conscious indexing for decision-support in main memory<>vldb<>kenneth a. ross<>
38393<>493_0<>zhongfu zhang:baogen xu:linzhong liu<>a note on the lower bounds of signed domination number of a graph<>dm<>yinzhen li<>
13931<>504_18<>michael chen:marti a. hearst:james lin<>cha-cha: a system for organizing intranet search results<>usits<>jason i. hong<>
15339<>510_0<>daniela hall:james l. crowley<>statistical gesture recognition through modelling of parameter trajectories<>gw<>jorome martin<>
21774<>514_1<>mahesh c. bhandari:arbind k. lal<>some results on nqr codes<>dcc<>manish k. gupta<>
33910<>529_5<>fei song<>a general language model for information retrieval<>cikm<>w. bruce croft<>
33919<>529_14<>jinxi xu<>cluster-based language models for distributed retrieval<>sigir<>w. bruce croft<>
25371<>542_5<>fady alajaji<>optimistic shannon coding theorems for arbitrary single-user systems<>tit<>po-ning chen<>
25333<>546_10<>david e. lowell<>reliability hierarchies<>hotos<>peter m. chen<>
25343<>546_20<>wee teck ng<>the systematic improvement of fault tolerance in the rio file cache<>ftcs<>peter m. chen<>
25344<>546_21<>yuanyuan zhou:kai li<>fast cluster failover using virtual memory-mapped communication<>ics<>peter m. chen<>
6621<>551_0<>dennis moore:william f. smyth<>counting distinct strings<>algorithmica<>d. miller<>
42<>561_1<>steve muylle<>customization in online trade processes<>wecwis<>amit basu<>
32<>564_4<>rainer leupers:peter marwedel<>array index allocation under register constraints in dsp programs<>vlsid<>anupam basu<>
38846<>581_9<>tajana simunic:giovanni de micheli<>software controlled power management<>codes<>yung-hsiang lu<>
38850<>581_13<>giovanni de micheli<>adaptive hard disk power management on personal computers<>glvlsi<>yung-hsiang lu<>
27875<>582_11<>harold n. gabow:haim kaplan<>unique maximum matching algorithms<>stoc<>robert endre tarjan<>
6373<>587_2<>wesley w. chu<>semantic caching via query matching for web sources<>cikm<>dongwon lee<>
6223<>591_2<>wang-chien lee:qinglong hu<>a study on channel allocation for data dissemination in mobile computing environments<>monet<>dik lun lee<>
6232<>591_11<>qinglong hu:wang-chien lee<>indexing techniques for wireless data broadcast under data clustering and scheduling<>cikm<>dik lun lee<>
6235<>591_14<>wang-chien lee<>signature caching techniques for information filtering in mobile environments<>winet<>dik lun lee<>
6249<>591_28<>qinglong hu:wang-chien lee<>performance evaluation of a wireless hierarchical data dissemination system<>mobicom<>dik lun lee<>
6254<>591_33<>savio l. y. lam<>feature reduction for neural network based text categorization<>dasfaa<>dik lun lee<>
6339<>592_29<>evanthia papadopoulou<>critical area computation via voronoi diagrams<>tcad<>d. t. lee<>
6360<>599_4<>nicholas molton:stephen se:michael brady:penny probert<>robotic sensing for the partially sighted<>ras<>david lee<>
496<>620_0<>petros drineas:ravi kannan:santosh vempala:v. vinay<>clustering in large graphs and matrices<>soda<>alan m. frieze<>
471<>622_53<>andrei z. broder:eli upfal<>static and dynamic path selection on expander graphs: a random walk approach<>rsa<>alan m. frieze<>
476<>622_58<>lei zhao<>optimal construction of edge-disjoint paths in random regular graphs<>soda<>alan m. frieze<>
493<>622_75<>michal karonski:lubos thoma<>on perfect matchings and hamilton cycles in sums of random trees<>siamdm<>alan m. frieze<>
34349<>626_7<>rohini k. srihari<>information extraction supported question answering<>trec<>wei li<>
6545<>636_13<>tom m. kroeger<>the case for efficient file access pattern modeling<>hotos<>darrell d. e. long<>
11696<>652_0<>justine cassell:timothy w. bickmore:mark billinghurst:lee campbell:k. chang:hannes hagni vilhjalmsson<>embodiment in conversational interfaces: rea<>chi<>hao yan<>
29730<>666_0<>nulo<>cooperative tele-operation in virtual environment<>hci<>si-jung kim<>
29694<>696_1<>alberto maria segre<>amass: a structured pattern matching approach to shotgun sequence assembly<>jcb<>s. kim<>
25738<>702_2<>charu c. aggarwal:joel l. wolf<>caching on the world wide web<>tkde<>philip s. yu<>
25743<>702_7<>kun-lung wu<>load balancing and hot spot relief for hash routing among a collection of proxy caches<>icdcs<>philip s. yu<>
25787<>702_51<>valeria cardellini:michele colajanni<>dns dispatching algorithms with state estimators for scalable web-server clusters<>www<>philip s. yu<>
25789<>702_53<>charu c. aggarwal:mark s. squillante:joel l. wolf:jay sethuraman<>optimizing profits in the broadcast delivery of multimedia products<>mis<>philip s. yu<>
25797<>702_61<>kun-lung wu:james z. teng<>run placement policies for concurrent mergesorts using parallel prefetching<>kais<>philip s. yu<>
25815<>702_79<>valeria cardellini:michele colajanni<>dynamic load balancing on web-server systems<>internet<>philip s. yu<>
25822<>702_86<>charu c. aggarwal:joel l. wolf<>a new method for similarity indexing of market basket data<>sigmod<>philip s. yu<>
25825<>702_89<>kun-lung wu<>local replication for proxy web caches with hash routing<>cikm<>philip s. yu<>
25827<>702_91<>charu c. aggarwal<>"data mining techniques for associations, clustering and classification."<>pakdd<>philip s. yu<>
25830<>702_94<>charu c. aggarwal<>on text mining techniques for personalization<>rsfdgrc<>philip s. yu<>
25834<>702_98<>charu c. aggarwal:joel l. wolf:kun-lung wu<>horting hatches an egg: a new graph-theoretic approach to collaborative filtering<>kdd<>philip s. yu<>
25867<>702_131<>kun-lung wu<>replication issues on proxy cache array<>pdpta<>philip s. yu<>
25870<>702_134<>charu c. aggarwal:joel l. wolf<>design and analysis of permutation-based pyramid broadcasting<>mms<>philip s. yu<>
25890<>702_154<>valeria cardellini:michele colajanni<>redirection algorithms for load sharing in distributed web-server systems<>icdcs<>philip s. yu<>
25894<>702_158<>charu c. aggarwal:cecilia magdalena procopiuc:joel l. wolf:jong soo park<>fast algorithms for projected clustering<>sigmod<>philip s. yu<>
29655<>715_1<>marc joye:narn-yih lee<>cryptanalysis of two group signature schemes<>isw<>seungjoo kim<>
29668<>715_14<>insoo lee:masahiro mambo:sungjun park<>on the difficulty of key recovery systems<>isw<>seungjoo kim<>
39173<>721_0<>jin-oh choi:bonghee hong<>update propagation of replicated data in distributed spatial databases<>dexa<>young sang shin<>
29630<>723_1<>dong-ho shin:yu-hwan kim:jae-hong eom:hyung-joo shin:byoung-tak zhang<>scai trec-8 experiments<>trec<>sun kim<>
18164<>731_7<>edwin k. p. chong<>cdma systems with random spreading in fading channels: network capacity and power control<>infocom<>junshan zhang<>
40011<>736_9<>paul e. debevec:jitendra malik:tim hawkins<>inverse global illumination: recovering reflectance models of real scenes from photographs<>siggraph<>yizhou yu<>
40019<>736_17<>nulo<>efficient visibility processing for projective texture mapping<>cg<>yizhou yu<>
40044<>740_1<>jian xu:wei-kang huang:fabrizio lombardi<>minimizing the number of programming steps for diagnosis of interconnect faults in fpgas<>ats<>yinlei yu<>
40047<>741_1<>kristof beyls:erik h. d'hollander<>jpt: a java parallelization tool<>pvm<>yijun yu<>
31946<>744_2<>m. ronnier luo<>an evaluation of colour models - performance using image compression algorithms<>imaging<>shao ying zhu<>
31914<>748_17<>nulo<>stochastic jump-diffusion process for computing medial axes in markov random fields<>pami<>song chun zhu<>
21557<>749_1<>mike paterson<>optimal layout of edge-weighted forests<>dam<>michael j. fischer<>
21551<>753_4<>tamas lukovszki:martin ziegler<>partitioned neighborhood spanners of minimal outdegree<>cccg<>matthias fischer<>
12294<>759_1<>nicolas nicolov:olga shaumyan:martine smets:david j. weir<>parsing with an extended domain of locality<>eacl<>john a. carroll<>
12308<>759_15<>bernd kiefer:hans-ulrich krieger:rob malouf<>a bag of useful techniques for efficient and robust parsing<>acl<>john carroll<>
12313<>759_20<>guido minnen:ted briscoe<>corpus annotation for parser evaluation<>corr<>john carroll<>
12315<>759_22<>nicolas nicolov:olga shaumyan:martine smets:david j. weir<>parsing with an extended domain of locality<>eacl<>john a. carroll<>
20062<>784_2<>kelly maglaughlin<>iris at trec-8<>trec<>kiduk yang<>
5479<>818_15<>dan l. grecu<>expectation-based learning in design<>aaai<>david c. brown<>
40656<>828_1<>michelangelo grigni:christos h. papadimitriou<>map graphs<>corr<>zhi-zhong chen<>
40661<>828_6<>xin he:chun-hsi huang<>finding double euler trails of planar graphs in linear time<>focs<>zhi-zhong chen<>
40666<>830_0<>charles a. micchelli:yuesheng xu<>a construction of interpolating wavelets on invariant sets<>moc<>zhongying chen<>
21231<>832_0<>birgit schieder<>adapting calculational logic to the undefined<>cj<>manfred broy<>
21237<>832_6<>klaus bergner:radu grosu:andreas rausch:alexander schmidt:peter scholz<>focusing on mobility<>hicss<>manfred broy<>
21241<>832_10<>klaus bergner:andreas rausch:marc sihling:alexander vilbig<>a formal model for componentware<>fbt<>manfred broy<>
21261<>832_30<>nulo<>from states to histories<>wadt<>manfred broy<>
40682<>839_0<>victor y. pan<>the complexity of the matrix eigenproblem<>stoc<>zhao q. chen<>
30800<>849_0<>vipin chaudhary<>evaluation of cluster interconnects for a distributed shared memory<>ipccc<>sumit roy<>
30802<>849_2<>vipin chaudhary<>design issues for a high-performance distributed shared memory on symmetrical multiprocessor clusters<>cluster<>sumit roy<>
30804<>849_4<>darshan thaker:vipin chaudhary:guy edjlali<>cost-performance evaluation of smp clusters<>pdpta<>sumit roy<>
30768<>854_2<>rana barua:zhou chaochen<>completeness of neighbourhood logic<>stacs<>suman roy<>
30769<>856_0<>michael werman:maolin qiu:subhashis banerjee<>robot localization using uncalibrated camera invariants<>cvpr<>sumantra dutta roy<>
16329<>873_0<>luiz faria:carlos ramos:zita a. vale:albino marques<>verification of knowledge based-systems for power system control centres<>ieaaie<>jorge santos<>
16330<>873_1<>carlos ramos:zita a. vale:albino marques<>veritas - an application for knowledge verification<>ictai<>jorge santos<>
16334<>873_5<>luiz faria:carlos ramos:zita a. vale:albino marques<>veritas - a verification tool for real-time applications in power system control centers<>flairs<>jorge santos<>
37633<>882_2<>charles e. lawrence<>a bayesian statistical algorithm for rna secondary structure prediction<>candc<>ye ding<>
16339<>883_0<>ernesto de queiros vieira martins:marta m. b. pascoal<>deviation algorithms for ranking shortest paths<>ijfcs<>jose luis e. dos santos<>
16335<>885_0<>claude f. touzet<>exploration tuned reinforcement function<>ijon<>juan miguel santos<>
16337<>885_2<>claude f. touzet<>dynamic update of the reinforcement function during learning<>connection<>juan miguel santos<>
19754<>890_0<>jun cai<>energy-efficient selective cache invalidation<>winet<>kian-lee tan<>
19733<>891_8<>k. k. tan:k. z. tang<>vehicle dispatching system based on taguchi-tuned fuzzy rules<>icscCd<>kay chen tan<>
6050<>894_0<>allison waingold<>lightweight extraction of object models from bytecode<>icse<>daniel jackson<>
6061<>899_0<>rance cleaveland<>guest editorial<>ase<>daniel jackson<>
6060<>903_1<>t. i. visentin<>a combinatorial relationship between eulerian maps and hypermaps in orientable surfaces<>jct<>david m. jackson<>
14606<>914_8<>sang-kwon lee:minhee cho:hyeon-ju yoon:seong bae eun:hyunsoo yoon:jung wan cho<>design and implementation of a multi-threaded tmn agent system<>icppw<>joonwon lee<>
12651<>919_2<>nulo<>a strong relevant logic model of epistemic processes in scientific discovery<>ejc<>jingde cheng<>
12659<>919_10<>yusuke nonaka:katsuhiko hatano:yoshinari nomura:kazuo ushijima<>a system dependence net generator for ada programs<>apsec<>jingde cheng<>
12680<>923_0<>po shun ngan:man leung wong:wai lam:kwong-sak leung<>medical data mining using evolutionary computation<>artmed<>jack c. y. cheng<>
12682<>925_1<>russell greiner<>comparing bayesian network classifiers<>uai<>jie cheng<>
26088<>939_5<>kevin stanley:ali jerbi:william a. gruver<>neural network-based vision guided robotics<>icra<>q. m. jonathan wu<>
14571<>950_7<>brian tierney:brian crowley:mason holding:jeremy hylton:fred l. drake<>a network-aware distributed storage cache for data intensive environments<>hpdc<>jason lee<>
14552<>954_5<>ross j. anderson<>jikzi: a new framework for secure publishing<>spw<>jong-hyeon lee<>
22892<>956_7<>amir h. salek:jinan lou<>an integrated logical and physical design flow for deep submicron circuits<>tcad<>massoud pedram<>
22894<>956_9<>bryan preas<>interconnection analysis for standard cell layouts<>tcad<>massoud pedram<>
22909<>956_24<>hirendu vaishnav<>delay-optimal clustering targeting low-power vlsi circuits<>tcad<>massoud pedram<>
22910<>956_25<>chi-ying tsui:qing wu<>an integrated battery-hardware model for portable electronics<>aspdac<>massoud pedram<>
22948<>956_63<>radu marculescu:diana marculescu<>non-stationary effects in trace-driven power analysis<>islped<>massoud pedram<>
22977<>956_92<>shihliang ou<>timing-driven bipartitioning with replication using iterative quadratic programming<>aspdac<>massoud pedram<>
22984<>956_99<>payam rabiei<>model order reduction of large circuits using balanced truncation<>aspdac<>massoud pedram<>
22990<>956_105<>qinru qiu<>dynamic power management based on continuous-time markov decision processes<>dac<>massoud pedram<>
23012<>956_127<>wei chen:cheng-ta hsieh<>gate sizing with controlled displacement<>ispd<>massoud pedram<>
23027<>956_142<>jinan lou:wei chen<>concurrent logic restructuring and placement for timing closure<>iccad<>massoud pedram<>
23031<>956_146<>radu marculescu:diana marculescu<>sequence compaction for power estimation: theory and practice<>tcad<>massoud pedram<>
30723<>968_0<>s. v. raghavan<>fast techniques for the optimal smoothing of stored video<>mms<>sanjay g. rao<>
20675<>970_3<>luis miguel silveira:joao p. marques silva<>algorithms for solving boolean satisfiability in combinational circuits<>date<>luis guerra e silva<>
20645<>974_6<>paulo simoes:guilherme soares:paulo martins:victor batista:carlos renato:leonor almeida:norbert stohr<>james: a platform of mobile agents for the management of telecommunication networks<>iata<>luis moura silva<>
20647<>974_8<>paulo marques:joao gabriel silva<>security mechanisms for using mobile agents in electronic commerce<>srds<>luis moura silva<>
20663<>974_24<>joao gabriel silva<>the performance of coordinated and independent checkpointing<>ipps<>luis moura silva<>
20665<>974_26<>paulo simoes:fernando boavida<>integrating snmp into a mobile agent infrastructure<>dsom<>luis moura silva<>
30743<>975_0<>mark w. goudreau:kevin lang:torsten suel:thanasis tsantilas<>portable and efficient parallel computing using the bsp model<>tc<>satish rao<>
30744<>975_1<>nulo<>small distortion and volume preserving embeddings for planar and euclidean metrics<>compgeom<>satish rao<>
10216<>986_0<>nulo<>segmentation-free printed character recognition by relaxed nearest neighbor learning of windowed operator<>sibgrapi<>hae yong kim<>
10233<>986_17<>paulo s. l. m. barreto<>pitfalls in public key watermarking<>sibgrapi<>hae yong kim<>
31987<>988_15<>stefan savage:neal cardwell<>the case for informed transport protocols<>hotos<>thomas e. anderson<>
31992<>988_20<>stefan savage:andy collins:eric hoffman:john snell<>the end-to-end effects of internet path selection<>sigcomm<>thomas e. anderson<>
31993<>988_21<>randolph y. wang:david a. patterson<>virtual log based file systems for a programmable disk<>osdi<>thomas e. anderson<>
3169<>995_0<>chi lap yip:k. k. loo:ben kao:david wai-lok cheung<>lgen - a lattice-based candidate set generation algorithm for i/o efficient association rule mining<>pakdd<>c. k. cheng<>
3160<>1005_4<>christian a. duncan:michael t. goodrich:stephen g. kobourov<>drawing planar graphs with circular arcs<>gd<>c. c. cheng<>
11775<>1006_0<>sangkeun lee:chong-sun hwang<>caching and concurrency control in mobile client/server database systems<>codas<>heon-chang yu<>
11778<>1006_3<>sangkeun lee:chong-sun hwang<>supporting transactional cache consistency in mobile database systems<>mobide<>heon-chang yu<>
15870<>1012_0<>avigdor gal:scott kerr<>information services for the web: building and maintaining domain models<>ijcis<>john mylopoulos<>
741<>1034_0<>dale o. stahl:andrew b. whinston<>the economics of network management<>cacm<>alok gupta<>
8246<>1037_2<>penousal machado:amilcar cardoso:ernesto costa<>busy beaver - the influence of representation<>eurogp<>francisco b. pereira<>
22062<>1047_39<>nulo<>randomized complexity of linear arrangements and polyhedra<>fct<>marek karpinski<>
22064<>1047_41<>sanjeev arora:david r. karger<>polynomial time approximation schemes for dense instances of np-hard problems<>jcss<>marek karpinski<>
22065<>1047_42<>igor shparlinski<>on the computational hardness of testing square-freeness of sparse polynomials<>eccc<>marek karpinski<>
22067<>1047_44<>nulo<>randomized complexity of linear arrangements and polyhedra<>eccc<>marek karpinski<>
22086<>1047_63<>wenceslas fernandez de la vega<>on the approximation hardness of dense tsp and other path problems<>ipl<>marek karpinski<>
22090<>1047_67<>igor shparlinski<>on the computational hardness of testing square-freeness of sparse polynomials<>aaecc<>marek karpinski<>
9303<>1060_0<>chandrajit l. bajaj<>error bounded regular algebraic spline curves<>compgeom<>guoliang xu<>
9316<>1060_13<>chandrajit l. bajaj<>smooth shell construction with mixed prism fat surfaces<>gm<>guoliang xu<>
37057<>1068_6<>nulo<>the game coloring number of planar graphs<>jct<>xuding zhu<>
37060<>1068_9<>ko-wei lih:daphne der-fen liu<>star extremal circulant graphs<>siamdm<>xuding zhu<>
37083<>1068_32<>nulo<>planar graphs with circular chromatic numbers between 3 and 4<>jct<>xuding zhu<>
37089<>1068_38<>thomas dinski<>a bound for the game chromatic number of graphs<>dm<>xuding zhu<>
36413<>1071_0<>jason tsong-li wang:king-ip lin:dennis shasha:bruce a. shapiro:kaizhong zhang<>evaluating a class of distance-mapping algorithms for data mining and clustering<>kdd<>xiong wang<>
30393<>1075_1<>pabitra mitra:sankar k. pal<>modular rough fuzzy mlp: evolutionary design<>rsfdgrc<>sushmita mitra<>
30407<>1077_12<>nirmal r. saxena:edward j. mccluskey<>a design diversity metric and reliability analysis for redundant systems<>itc<>subhasish mitra<>
30417<>1077_22<>lanae j. avra:edward j. mccluskey<>an output encoding problem and a solution technique<>tcad<>subhasish mitra<>
22127<>1078_1<>seungyun lee:injae park:jintae kim:sooyong park<>agent-oriented software modeling<>apsec<>minjeong kim<>
22142<>1085_1<>jong soo kim:sung tak kang<>effective temporal aggregation using point-based trees<>dexa<>myoung-ho kim<>
22143<>1085_2<>jong soo kim:sung tak kang<>on temporal aggregate processing based on time points<>ipl<>myoung-ho kim<>
33086<>1088_2<>yong zhu:yunhong wang<>font recognition based on global texture analysis<>icdar<>tieniu tan<>
12226<>1090_3<>aduri pavan:d. sivakumar<>on the hardness of permanent<>stacs<>jin-yi cai<>
12241<>1090_18<>ajay nerurkar:d. sivakumar<>hardness and hierarchy theorems for probabilistic quasi-polynomial time<>stoc<>jin-yi cai<>
12243<>1091_1<>yanpei liu<>the enumeration of rooted nonseparable nearly cubic maps<>dm<>junliang cai<>
12244<>1092_0<>nulo<>a new transference theorem in the geometry of numbers<>cocoon<>jin-yi cai<>
12246<>1094_0<>kian-lee tan<>energy-efficient selective cache invalidation<>winet<>jun cai<>
38444<>1100_33<>jeu-yih jeng<>equal resource sharing scheduling for pcs data services<>winet<>yi-bing lin<>
28342<>1114_15<>nulo<>new results on quantifier elimination over real closed fields and applications to constraint databases<>jacm<>saugata basu<>
35400<>1124_0<>halbert white<>improved rates and asymptotic normality for nonparametric neural network estimators<>tit<>xiaohong chen<>
3322<>1128_6<>michalis faloutsos:petros faloutsos<>on power-law relationships of the internet topology<>sigcomm<>christos faloutsos<>
15245<>1156_18<>nulo<>the asymptotic memory capacity of the generalized hopfield network<>nn<>jinwen ma<>
15247<>1156_20<>nulo<>the object perceptron learning algorithm on generalised hopfield networks for associative memory<>nca<>jinwen ma<>
15268<>1162_4<>yih-jia tsai:timothy k. shih<>a distributed web document database and its supporting environment<>iscc<>jianhua ma<>
15271<>1162_7<>timothy k. shih:runhe huang<>the design and implementation of a distributed web document database<>icppw<>jianhua ma<>
15275<>1162_11<>runhe huang<>a general purpose virtual collaboration room<>iceccs<>jianhua ma<>
19387<>1186_1<>kathleen burnett:soyeon park<>a comparison of the two traditions of metadata development<>jasis<>kwong bor ng<>
1558<>1193_3<>dhrubajyoti goswami:bruno r. preiss<>using object-oriented techniques for realizing parallel architectural skeletons<>iscope<>ajit singh<>
1553<>1194_0<>raimondas lencevicius:urs holzle<>dynamic query-based debugging<>ecoop<>ambuj k. singh<>
37620<>1199_3<>chia-rung yang<>architecture-driven modeling of real-time concurrent systems with applications in fms<>jss<>yi deng<>
15366<>1204_9<>roberto bruni:ugo montanari:vladimiro sassone<>functorial semantics for petri nets under the individual token philosophy<>tcs<>jose meseguer<>
8802<>1214_0<>m. beck:prabhudev konana:yanbin liu:aloysius k. mok<>active and real-time functionalities for electronic brokerage design<>wecwis<>guangtian liu<>
27540<>1230_0<>mark lycett<>development barriers to international information systems<>electronicmarkets<>ray j. paul<>
27542<>1230_2<>jalal nikoukaran:vlatka hlupic<>a hierarchical framework for evaluating simulation software<>simpra<>ray j. paul<>
2146<>1240_1<>klara nahrstedt<>dynamic reconfiguration for complex multimedia applications<>icmcs<>baochun li<>
36382<>1248_1<>jianliang xu:dik lun lee:qinglong hu<>cache coherency in location-dependent information services for mobile environment<>mda<>xueyan tang<>
34316<>1250_0<>nulo<>evolving complex robot behaviors<>isci<>wei-po lee<>
34307<>1253_2<>marc escher:gael sannier:nadia magnenat-thalmann<>mpeg-4 compatible faces from orthogonal photos<>ca<>won-sook lee<>
34311<>1253_6<>yin wu:nadia magnenat-thalmann<>cloning and aging in a vr family<>vr<>won-sook lee<>
19936<>1265_1<>m. l. liu<>pose estimation using four corresponding points<>prl<>k. h. wong<>
19950<>1265_15<>siu-hang or:kam-sum lee:tze-kin lao:tien-tsin wong:yiu-fai fung<>on using longuet-higgins equation in pose estimation framework by lowe<>icai<>kin-hong wong<>
41187<>1274_0<>ilias andrikopoulos:a. liakopoulos:george pavlou<>providing rate guarantees for internet application traffic across atm networks<>comsur<>zhili sun<>
19924<>1275_4<>paulo r. s. mendonca:roberto cipolla<>reconstruction and motion estimation from apparent contours under circular motion<>bmvc<>kwan-yee kenneth wong<>
19845<>1276_4<>tao guan<>kps: a web information mining algorithm<>cn<>kam-fai wong<>
19855<>1276_14<>dawei song:peter bruza:chun hung cheng<>towards functional benchmarking of information retrieval models<>flairs<>kam-fai wong<>
19862<>1276_21<>kwok-shing cheng:gilbert h. young<>a study on word-based and integral-bit chinese text compression algorithms<>jasis<>kam-fai wong<>
19867<>1276_26<>yongjie ren:boon toh low<>an integrated approach for flexible workflow modeling<>icsc<>kam-fai wong<>
9687<>1285_17<>marshall ramsey:bin zhu:bruce r. schatz<>a collection of visual thesauri for browsing large collections of geographic images<>jasis<>hsinchun chen<>
9700<>1285_30<>christopher c. yang:k. k. hong<>visualization tools for self-organizing maps<>dl<>hsinchun chen<>
9909<>1289_4<>marshall w. bern:david eppstein:pankaj k. agarwal:nina amenta:l. paul chew:tamal k. dey:david p. dobkin:cindy grimm:leonidas j. guibas:john harer:joel hass:andrew hicks:carroll k. johnson:gilad lerman:david letscher:paul e. plassmann:eric sedgwick:jack snoeyink:jeff weeks:chee-keng yap:denis zorin<>emerging challenges in computational topology<>corr<>herbert edelsbrunner<>
9874<>1291_2<>siu-wing cheng:tamal k. dey:michael a. facello:shang-hua teng<>sliver exudation<>compgeom<>herbert edelsbrunner<>
12720<>1297_1<>sougata mukherjea<>automatically determining semantics for world wide web multimedia information retrieval<>vlc<>junghoo cho<>
12724<>1297_5<>orkut buyukkokten:hector garcia-molina:luis gravano:narayanan shivakumar<>exploiting geographical location information of web pages<>webdb<>junghoo cho<>
24291<>1300_0<>preeti ranjan panda:hiroshi nakamura:alexandru nicolau<>augmenting loop tiling with data alignment for improved cache performance<>tc<>nikil d. dutt<>
29858<>1302_1<>dinesh manocha:william f. garrett:ming c. lin<>hierarchical back-face computation<>cg<>subodh kumar<>
29619<>1327_5<>shahram ghandeharizadeh<>a comparison of alternative continuous display techniques with heterogeneous multi-zone disks<>cikm<>seon ho kim<>
9923<>1338_1<>tak w. yan<>the sift information dissemination system<>tods<>hector garcia-molina<>
4866<>1350_0<>francis y. l. chin:fu lee wang<>maximum stabbing line in 2d plane<>cocoon<>cao an wang<>
4851<>1352_5<>francis y. l. chin:der-tsai lee<>a parallel algorithm for finding the constrained voronoi diagram of line segments in the plane<>wads<>cao an wang<>
32783<>1365_0<>christopher lusena:shelia sittinger:chris wells:judy goldsmith<>my brain is full: when more memory helps<>uai<>tong li<>
3748<>1368_4<>jin li<>image compression with a hybrid wavelet-fractal coder<>tip<>c. c. jay kuo<>
3761<>1372_1<>tien-ying kuo:jongwon kim<>motion-compensated frame interpolation scheme for h.263 codec<>iscas<>c. c. jay kuo<>
19416<>1377_2<>dong kyue kim:jee-soo lee:yookun cho<>efficient algorithms for approximate string matching with swaps<>jc<>kunsoo park<>
19399<>1382_2<>tsunyi tuan<>multiple time scale congestion control for self-similar network traffic<>pe<>kihong park<>
19407<>1382_10<>shaogang chen<>an architecture for noncooperative qos provision in many-switch systems<>infocom<>kihong park<>
23052<>1403_3<>inki hong:darko kirovski:gang qu:mani b. srivastava<>power optimization of variable-voltage core-based systems<>tcad<>miodrag potkonjak<>
29579<>1426_4<>david a. carrington<>formalizing the uml class diagram using object-z<>uml<>soon-kyeong kim<>
29582<>1426_7<>david a. carrington<>visualization of formal specifications<>apsec<>soon-kyeong kim<>
29585<>1428_0<>choong-gyoo park:kyung-sam park<>an application of data envelopment analysis in telephone offices evaluation with partial data<>cor<>soung-hie kim<>
29586<>1428_1<>chang hee han<>an interactive procedure for multi-attribute group decision making with incomplete information<>cor<>soung hie kim<>
23210<>1433_5<>motohiko matsuda:yoshio tanaka:kazuto kubota<>network interface active messages for low overhead communication on smp pc clusters<>hpcn<>mitsuhisa sato<>
23253<>1433_48<>yoshio tanaka:motonori hirano:hidemoto nakada:satoshi sekiguchi<>resource manager for globus-based wide-area cluster computing<>iwcc<>mitsuhisa sato<>
23258<>1434_3<>takafumi sakurai:rod m. burstall<>explicit environments<>tlca<>masahiko sato<>
12362<>1436_28<>ka-an agun<>reusable internal hardware templates<>ipps<>j. morris chang<>
16150<>1441_24<>hongyan wang<>social potential fields: a distributed behavioral control for autonomous robots<>ras<>john h. reif<>
14489<>1457_1<>chris baber:david j. haniff:lee cooper<>ergonomics of wearable computers<>monet<>james f. knight<>
13131<>1465_10<>peter arbenz:andrew j. cleary:markus hegland<>a comparison of parallel solvers for diagonally dominant and general narrow-banded linear systems ii<>europar<>jack dongarra<>
13143<>1465_22<>henri casanova:michael g. thomason<>stochastic performance prediction for iterative algorithms in distributed environments<>jpdc<>jack dongarra<>
13165<>1465_44<>david m. doolin:keith seymour<>jlapack-compiling lapack fortran to java<>sp<>jack dongarra<>
13175<>1465_54<>micah beck:henri casanova:terry moore:james s. plank:francine berman:richard wolski<>logistical quality of service in netsolve<>comcom<>jack dongarra<>
13185<>1465_64<>antoine petitet<>algorithmic redistribution methods for block-cyclic decompositions<>tpds<>jack dongarra<>
13201<>1465_80<>micah beck:graham e. fagg:al geist:paul gray:james arthur kohl:mauro migliardi:keith moore:terry moore:philip papadopoulous<>harness: a next generation distributed virtual machine<>fgcs<>jack dongarra<>
13205<>1465_84<>pierre boulet:fabrice rastello:yves robert:frederic vivien<>algorithmic issues on heterogeneous computing platforms<>ppl<>jack dongarra<>
13215<>1465_94<>erich strohmaier:hans werner meuer:horst d. simon<>the marketplace of high-performance computing<>pc<>jack dongarra<>
13228<>1465_107<>r. clinton whaley<>automatically tuned linear algebra software<>ppsc<>jack dongarra<>
13247<>1465_126<>pierre boulet:yves robert:frederic vivien<>static tiling for heterogeneous computing platforms<>pc<>jack dongarra<>
13250<>1465_129<>graham e. fagg:keith moore<>scalable networked information processing environment (snipe)<>fgcs<>jack dongarra<>
13263<>1465_142<>pierre-yves calland:yves robert<>tiling on systems with communication/computation overlap<>concurrency<>jack dongarra<>
13267<>1465_146<>henri casanova:myungho kim:james s. plank<>adaptive scheduling for task farming with grid middleware<>europar<>jack dongarra<>
40578<>1473_0<>richard fox:xiannong meng:richard h. fowler:wendy a. lawrence-fowler<>strategies for personalized search engines<>icai<>zhixiang chen<>
40587<>1473_9<>xiannong meng:richard h. fowler<>searching the web with queries<>kais<>zhixiang chen<>
19296<>1481_7<>tina ong<>a modelling approach for handling business rules and exceptions<>cj<>kecheng liu<>
19303<>1482_1<>weiyi meng:clement t. yu:wensheng wu:naphtali rishe<>estimating the usefulness of search engines<>icde<>king-lup liu<>
19306<>1482_4<>clement t. yu:weiyi meng:naphtali rishe<>discovery of similarity computations on the internet<>dl<>king-lup liu<>
19312<>1482_10<>clement t. yu:weiyi meng:wensheng wu:naphtali rishe<>efficient and effective metasearch for a large number of text databases<>cikm<>king-lup liu<>
30209<>1485_4<>thyagarajan nandagopal:vaduvur bharghavan<>a unified architecture for the design and evaluation of wireless fair queueing algorithms<>mobicom<>songwu lu<>
30216<>1485_11<>vaduvur bharghavan:rayadurgam srikant<>fair scheduling in wireless packet networks<>ton<>songwu lu<>
30250<>1486_7<>michael p. case<>a discourse model for collaborative design<>prolamat<>stephen c. y. lu<>
30284<>1488_21<>scott a. smolka<>model checking the secure electronic transaction (set) protocol<>mascots<>shiyong lu<>
35740<>1491_1<>horst bunke<>optimal vertex ordering of graphs<>ipl<>xiaoyi jiang<>
8995<>1492_10<>agostino dovier:carla piazza:enrico pontelli<>aci1 constraints<>iclp<>gianfranco rossi<>
8997<>1492_12<>davide aliffi:agostino dovier<>from set to hyperset unification<>jflp<>gianfranco rossi<>
9011<>1492_26<>agostino dovier:carla piazza:enrico pontelli<>aci1 constraints<>agp<>gianfranco rossi<>
9013<>1494_0<>daniel schwabe:fernando lyardet<>improving web information systems with navigational patterns<>cn<>gustavo rossi<>
9014<>1494_1<>daniel schwabe:fernando lyardet<>designing hypermedia applications with objects and patterns<>ijseke<>gustavo rossi<>
12863<>1499_12<>tianming kong:dongmin xu:faming liang:jun s. liu:wing hung wong<>relaxed simulated tempering for vlsi floorplan designs<>aspdac<>jason cong<>
12883<>1499_32<>jie fang:kei-yong khoo<>an implicit connection graph maze routing algorithm for eco routing<>iccad<>jason cong<>
12901<>1499_50<>jie fang:kei-yong khoo<>via design rule consideration in multi-layer maze routing algorithms<>ispd<>jason cong<>
12926<>1499_75<>lei he<>theory and algorithm of local-refinement-based optimization with application to device and interconnect sizing<>tcad<>jason cong<>
12930<>1499_79<>honching li:chang wu<>simultaneous circuit partitioning/clustering with retiming for performance optimization<>dac<>jason cong<>
12931<>1499_80<>chang wu:yuzheng ding<>cut ranking and pruning: enabling a general and efficient fpga mapping solution<>fpga<>jason cong<>
12940<>1499_89<>yean-yow hwang:songjie xu<>technology mapping for fpgas with nonuniform pin delays and fast interconnections<>dac<>jason cong<>
12946<>1499_95<>tianming kong:david zhigang pan<>buffer block planning for interconnect-driven floorplanning<>iccad<>jason cong<>
12951<>1499_100<>chang wu<>optimal fpga mapping and retiming with efficient initial state computation<>tcad<>jason cong<>
12979<>1499_128<>david zhigang pan<>interconnect delay estimation models for synthesis and design planning<>aspdac<>jason cong<>
10312<>1505_1<>jong woo kim:sung joo park<>kwm: knowledge-based workflow model for agile organization<>jiis<>ha bin lee<>
10284<>1508_7<>alan f. smeaton:jonathan furner<>user interface issues for browsing digital video<>ecir<>hyowon lee<>
7627<>1520_14<>david d. lewis<>approximating matrix multiplication for pattern recognition tasks<>jal<>edith cohen<>
7643<>1520_30<>haim kaplan:jeffrey d. oldham<>managing tcp connections under persistent http<>cn<>edith cohen<>
7648<>1520_35<>haim kaplan<>lp-based analysis of greedy-dual-size<>soda<>edith cohen<>
7660<>1520_47<>haim kaplan<>exploiting regularities in web traffic patterns for cache replacement<>stoc<>edith cohen<>
7678<>1520_65<>haim kaplan:uri zwick<>connection caching<>stoc<>edith cohen<>
7679<>1520_66<>balachander krishnamurthy:jennifer rexford<>efficient algorithms for predicting requests to web servers<>infocom<>edith cohen<>
5034<>1522_4<>maryam e. rettmann:dzung l. pham:jerry l. prince<>automated segmentation of sulcal regions<>miccai<>chenyang xu<>
5039<>1522_9<>dzung l. pham:maryam e. rettmann:daphne n. yu:jerry l. prince<>reconstruction of the human cerebral cortex from magnetic resonance images<>tmi<>chenyang xu<>
8188<>1532_15<>xiao-tao chen:wei-kang huang:nohpill park:fred j. meyer<>design verification of fpga implementations<>dt<>fabrizio lombardi<>
8189<>1532_16<>yinlei yu:jian xu:wei-kang huang<>diagnosing single faults for interconnects in sram based fpgas<>aspdac<>fabrizio lombardi<>
8190<>1532_17<>fred j. meyer:jun zhao<>good processor identification in two-dimensional grids<>dft<>fabrizio lombardi<>
8194<>1532_21<>jun zhao:fred j. meyer<>maximal diagnosis of interconnects of random access memories<>vts<>fabrizio lombardi<>
8200<>1532_27<>lan zhao:d. m. h. walker<>iddq testing of input/output resources of sram-based fpgas<>ats<>fabrizio lombardi<>
8215<>1532_42<>jun zhao:fred j. meyer<>interconnect diagnosis of bus-connected multi-ram systems<>mtdt<>fabrizio lombardi<>
13420<>1534_1<>paulo ferreira:marc shapiro:xavier blondel:olivier fambon:sytse kloosterman:nicolas richer:marcus roberts:fadi sandakly:george coulouris:jean dollimore:paulo guedes:daniel hagimont:sacha krakowiak<>"perdis: design, implementation, and use of a persistent distributed store."<>ac<>joao garcia<>
28874<>1544_18<>robert castaneda<>query localization techniques for on-demand routing protocols in ad hoc networks<>mobicom<>samir ranjan das<>
18939<>1553_12<>joan boyar<>the seat reservation problem<>algorithmica<>kim s. larsen<>
18946<>1553_19<>nulo<>on grouping in relational algebra<>ijfcs<>kim s. larsen<>
18977<>1554_9<>klaus havelund:arne skou<>formal verification of a power controller using the real-time model checker uppaal<>arts<>kim guldstrand larsen<>
18999<>1554_31<>gerd behrmann:henrik reif andersen:henrik hulgaard:jorn lind-nielsen<>verification of hierarchical state/event systems using reusability and compositionality<>tacas<>kim guldstrand larsen<>
19021<>1554_53<>gerd behrmann:justin pearson:carsten weise:wang yi<>efficient timed reachability analysis using clock difference diagrams<>cav<>kim guldstrand larsen<>
19031<>1554_63<>justin pearson:carsten weise:wang yi<>clock difference diagrams<>njc<>kim guldstrand larsen<>
19137<>1558_1<>nulo<>a kalman-filter method for power control in broadband wireless networks<>infocom<>kin k. leung<>
12773<>1561_3<>sam h. noh:sang lyul min:yookun cho<>an implementation study of a detection-based adaptive block replacement scheme<>usenix<>jongmoo choi<>
19095<>1563_14<>man leung wong:wai lam<>using evolutionary programming and minimum description length principle for data mining of bayesian networks<>pami<>kwong-sak leung<>
19114<>1563_33<>yee leung:jian zhong he<>a generic concept-based object-oriented geographical information system<>gis<>kwong-sak leung<>
19121<>1563_40<>yuk-yin wong:kin-hong lee<>a stochastic load balancing algorithm for internet computing environment<>pdpta<>kwong-sak leung<>
19125<>1563_44<>po shun ngan:man leung wong:wai lam:jack c. y. cheng<>medical data mining using evolutionary computation<>artmed<>kwong-sak leung<>
19127<>1563_46<>yui-wah lee:mahadev satyanarayanan<>operation-based update propagation in a mobile file system<>usenix<>kwong-sak leung<>
19142<>1566_0<>philip k. t. mok:wing-hung ki<>a novel frequency compensation technique for low-voltage low-dropout regulator<>iscas<>ka nang leung<>
19143<>1566_1<>philip k. t. mok:wing-hung ki<>optimum nested miller compensation for low-voltage low-power cmos amplifier design<>iscas<>ka nang leung<>
12764<>1567_0<>michael hind:michael g. burke:paul r. carini<>interprocedural pointer alias analysis<>toplas<>jong-deok choi<>
12765<>1567_1<>manish gupta:mauricio j. serrano:vugranam c. sreedhar:samuel p. midkiff<>escape analysis for java<>oopsla<>jong-deok choi<>
32530<>1588_4<>dhruv mubayi:aditya shastri:douglas b. west<>edge-bandwidth of graphs<>siamdm<>tao jiang<>
32548<>1592_1<>daniel p. fasulo:richard m. karp:reuben settergren:edward c. thayer<>an algorithmic approach to multiple complete digest mapping<>jcb<>tao jiang<>
10719<>1596_23<>xin he:ming-yang kao<>linear-time succinct encodings of planar graphs via canonical orderings<>siamdm<>hsueh-i lu<>
10720<>1596_24<>xin he:ming-yang kao<>a fast general methodology for information - theoretically optimal encodings of graphs<>esa<>hsueh-i lu<>
10767<>1600_8<>y. charlie hu:alan l. cox:willy zwaenepoel<>openmp for networks of smps<>ipps<>honghui lu<>
10769<>1600_10<>alex scherer:thomas r. gross:willy zwaenepoel<>transparent adaptive parallelism on nows using openmp<>ppopp<>honghui lu<>
10745<>1602_1<>zhongfei zhang:y. r. yao<>robust gradual scene change detection<>icip<>haibin lu<>
10747<>1602_3<>yu jin zhang<>detecting abrupt scene change using neural network<>visual<>haibin lu<>
37389<>1615_4<>guoan bi<>on texture classification using fractal dimension<>ijprai<>yan qiu chen<>
13756<>1619_14<>khaled m. khan:yuliang zheng<>security properties of software components<>isw<>jun han<>
13764<>1619_22<>nulo<>semantic and usage packaging for software components<>ecoopw<>jun han<>
30533<>1627_32<>rajmohan rajaraman:anthony shaheen:johannes gehrke<>online scheduling to minimize average stretch<>focs<>s. muthukrishnan<>
30534<>1627_33<>bhaskar ghosh:frank thomson leighton:bruce m. maggs:c. greg plaxton:rajmohan rajaraman:andrea w. richa:robert endre tarjan:david zuckerman<>tight analyses of two local load balancing algorithms<>siamcomp<>s. muthukrishnan<>
30551<>1627_50<>viswanath poosala:torsten suel<>"on rectangular partitionings in two dimensions: algorithms, complexity, and applications."<>icdt<>s. muthukrishnan<>
30558<>1627_57<>h. v. jagadish:nick koudas<>mining deviants in a time series database<>vldb<>s. muthukrishnan<>
30598<>1627_97<>sachin more:elizabeth a. m. shriver<>efficient sequencing tape-resident jobs<>pods<>s. muthukrishnan<>
30615<>1627_114<>mike paterson:suleyman cenk sahinalp:torsten suel<>compact grid layouts of multi-level networks<>stoc<>s. muthukrishnan<>
30616<>1627_115<>paolo ferragina:mark de berg<>multi-method dispatching: a geometric approach with applications to string matching problems<>stoc<>s. muthukrishnan<>
30692<>1637_1<>nulo<>user preferences when searching individual and integrated full-text databases<>dl<>soyeon park<>
30694<>1637_3<>kathleen burnett:kwong bor ng<>a comparison of the two traditions of metadata development<>jasis<>soyeon park<>
23739<>1638_3<>karen zita haigh<>learning situation-dependent costs: improving planning from probabilistic robot execution<>ras<>manuela m. veloso<>
23744<>1638_8<>peter stone<>"task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork."<>ai<>manuela m. veloso<>
23753<>1638_17<>michael h. bowling<>motion control in dynamic multi-robot environments<>robocup<>manuela m. veloso<>
20614<>1658_0<>hong shen:ling cheng<>new algorithms for efficient mining of association rules<>isci<>li shen<>
28636<>1669_2<>shuenn-shi chen:jong-jang chen:chia-chun tsai<>an even wiring approach to the ball grid array package routing<>iccd<>sao-jie chen<>
25719<>1678_11<>paul whitney:jim thomas<>visualizing association rules for text mining<>infovis<>pak chung wong<>
25730<>1682_7<>oscar c. au:ming sun fu:justy w. c. wong:zihua guo<>hybrid inverse halftoning using adaptive filtering<>iscas<>peter h. w. wong<>
6707<>1691_41<>fred kuhns:david l. levine<>the performance of a real-time i/o subsystem for qos-enabled orb middleware<>doa<>douglas c. schmidt<>
6708<>1691_42<>nulo<>"middleware techniques and optimizations for real-time, embedded systems."<>isss<>douglas c. schmidt<>
6709<>1691_43<>aniruddha s. gokhale<>techniques for optimizing corba middleware for distributed embedded systems<>infocom<>douglas c. schmidt<>
6726<>1691_60<>panrit tosukhowong:frederic andres:kinji ono:nicolas dessaigne:jose martinez:noureddine mouaddib<>a flexible image search engine<>mm<>douglas c. schmidt<>
6732<>1691_66<>fred kuhns:david l. levine<>the design and performance of a real-time i/o subsystem<>rtas<>douglas c. schmidt<>
18737<>1701_0<>bor-liang chen:lei dong:qi zhang liu<>total colorings of equibipartite graphs<>dm<>kuo-ching huang<>
11220<>1705_2<>adam kalai:steven m. seitz<>omnivergent stereo<>iccv<>heung-yeung shum<>
11221<>1705_3<>zhengyou zhang:qifa ke<>efficient bundle adjustment with virtual key frames: a hierarchical approach to multi-frame structure from motion<>cvpr<>heung-yeung shum<>
33679<>1707_26<>kiran bondalapati<>dynamic precision management for loop computations on reconfigurable architectures<>fccm<>viktor k. prasanna<>
33681<>1707_28<>ammar h. alhusaini:cauligi s. raghavendra<>a unified resource scheduling framework for heterogeneous computing environments<>hcw<>viktor k. prasanna<>
33709<>1707_56<>andreas dandalis:alessandro mei<>domain specific mapping for solving graph problems on reconfigurable devices<>ipps<>viktor k. prasanna<>
33715<>1707_62<>reetinder p. s. sidhu:alessandro mei<>genetic programming using self-reconfigurable fpgas<>fpl<>viktor k. prasanna<>
33734<>1707_81<>prashanth b. bhat:cauligi s. raghavendra<>efficient collective communication in distributed heterogeneous systems<>icdcs<>viktor k. prasanna<>
33739<>1707_86<>neungsoo park:cauligi s. raghavendra<>efficient algorithms for block-cyclic array redistribution between processor sets<>tpds<>viktor k. prasanna<>
33742<>1707_89<>young won lim:prashanth b. bhat<>efficient algorithms for block-cyclic redistribution of arrays<>algorithmica<>viktor k. prasanna<>
23832<>1717_0<>po shun ngan:wai lam:kwong-sak leung:jack c. y. cheng<>medical data mining using evolutionary computation<>artmed<>man leung wong<>
23838<>1717_6<>wai lam:kwong-sak leung<>using evolutionary programming and minimum description length principle for data mining of bayesian networks<>pami<>man leung wong<>
29835<>1744_12<>dongming jiang:rohit chandra:jaswinder pal singh<>evaluating synchronization on shared address space multiprocessors: methodology and performance<>sigmetrics<>sanjeev kumar<>
29837<>1755_0<>risto miikkulainen<>confidence based dual reinforcement q-routing: an adaptive online network routing algorithm<>ijcai<>shailesh kumar<>
33244<>1759_2<>craig g. nevill-manning:douglas l. brutlag<>minimal-risk scoring matrices for sequence analysis<>jcb<>thomas d. wu<>
8713<>1762_1<>nicola leone:francesco scarcello<>a comparison of structural csp decomposition methods<>ijcai<>georg gottlob<>
14497<>1769_6<>david a. padua:samuel p. midkiff<>basic compiler algorithms for parallel programs<>ppopp<>jaejin lee<>
36592<>1780_7<>h. sebastian seung<>spike-based learning rules and stabilization of persistent neural activity<>nips<>xiaohui xie<>
41079<>1783_15<>henny sipma:tomas e. uribe<>deductive model checking<>fmsd<>zohar manna<>
41115<>1783_51<>henny sipma<>verification of parameterized systems by dynamic induction on diagrams<>cav<>zohar manna<>
3913<>1784_1<>nulo<>finite abelian groups with the m-dci property<>arscom<>cai heng li<>
3951<>1789_7<>ramana yerneni:hector garcia-molina:jeffrey d. ullman<>computing capabilities of mediators<>sigmod<>chen li<>
3966<>1789_22<>ramana yerneni:jeffrey d. ullman:hector garcia-molina<>optimizing large join queries in mediation systems<>icdt<>chen li<>
8839<>1796_33<>claudson f. bornstein:bruce m. maggs<>tradeoffs between parallelism and fill in nested dissection<>spaa<>gary l. miller<>
8845<>1796_39<>guy e. blelloch:jonathan c. hardwick:dafna talmor<>design and implementation of a practical parallel delaunay algorithm<>algorithmica<>gary l. miller<>
8851<>1796_45<>stephen guattery:frank thomson leighton<>the path resistance method for bounding the smallest nontrivial eigenvalue of a laplacian<>cpc<>gary l. miller<>
8864<>1796_58<>dafna talmor:shang-hua teng<>optimal coarsening of unstructured meshes<>jal<>gary l. miller<>
8865<>1796_59<>stephen guattery:noel walkington<>estimating interpolation error: a combinatorial approach<>soda<>gary l. miller<>
4154<>1802_0<>hsi-wen nein:wen-chieh lin<>a space-time delay neural network for motion recognition and its application to lipreading<>ijns<>chin-teng lin<>
4162<>1806_3<>samuel z. guyer<>an annotation language for optimizing software libraries<>dsl<>calvin lin<>
4150<>1812_5<>nulo<>training a selection function for extraction<>cikm<>chin-yew lin<>
1487<>1816_5<>felice balarin:massimiliano chiodo:paolo giusto:harry hsieh:attila jurecska:luciano lavagno:ellen sentovich:kei suzuki<>synthesis of software programs for embedded control applications<>tcad<>alberto l. sangiovanni-vincentelli<>
27684<>1819_0<>steven crooks<>directed web searching<>webnet<>randall e. smith<>
27701<>1822_0<>david w. embley:douglas m. campbell:y. s. jiang:stephen w. liddle:yiu-kai ng:dallan quass<>conceptual-model-based data extraction from multiple-record web pages<>dke<>randy d. smith<>
27696<>1824_5<>antero taivalsaari<>generalized and stationary scrolling<>uist<>randall b. smith<>
37490<>1833_1<>jan edler:andrew v. goldberg:allan gottlieb:sumeet sobti:peter n. yianilos<>a prototype implementation of archival intermemory<>dl<>yuan chen<>
37446<>1854_0<>herman chung-hwa rao:ming-feng chen:josie chang<>a proxy-based personal portal<>webnet<>yih-farn chen<>
37451<>1854_5<>jeffrey l. korn:eleftherios koutsofios<>chava: reverse engineering and tracking of java applets<>wcre<>yih-farn chen<>
37454<>1854_8<>premkumar t. devanbu:emden r. gansner:hausi a. muller:johannes martin<>chime: customizable hyperlink insertion and maintenance engine for software engineering environments<>icse<>yih-farn chen<>
37455<>1854_9<>hongqing cao:lishan kang<>evolutionary modeling of ordinary differential equations for dynamic systems<>gecco<>yuping chen<>
37466<>1855_10<>jorng-tzong horng:cheng-yan kao<>stochastic sketching: a new method for global optimization<>soco<>ying-ping chen<>
38946<>1870_8<>michael j. kearns:andrew y. ng<>approximate planning in large pomdps via reusable trajectories<>nips<>yishay mansour<>
38951<>1870_13<>amotz bar-noy:ran canetti:shay kutten:baruch schieber<>bandwidth allocation with preemption<>siamcomp<>yishay mansour<>
38998<>1870_60<>dahlia malkhi:michael k. reiter<>on diffusing updates in a byzantine environment<>srds<>yishay mansour<>
39004<>1870_66<>david a. mcallester<>boosting with multi-way branching in decision trees<>nips<>yishay mansour<>
39034<>1870_96<>nulo<>reinforcement learning and mistake bounded algorithms<>colt<>yishay mansour<>
39046<>1870_108<>yoav freund<>estimating a mixture of two product distributions<>colt<>yishay mansour<>
39055<>1870_117<>michael j. kearns<>on the boosting ability of top-down decision tree learning algorithms<>jcss<>yishay mansour<>
39058<>1870_120<>satinder p. singh<>on the complexity of policy iteration<>uai<>yishay mansour<>
39062<>1870_124<>richard s. sutton:david a. mcallester:satinder p. singh<>policy gradient methods for reinforcement learning with function approximation<>nips<>yishay mansour<>
17806<>1884_4<>brian randell:alexander b. romanovsky:robert j. stroud:avelino f. zorzo:ercument canver:friedrich w. von henke<>rigorous development of a safety-critical system based on coordinated atomic actions<>ftcs<>jie xu<>
17773<>1887_13<>danny z. chen:ovidiu daescu:xiaobo hu:xiaodong wu<>determining an optimal penetration among weighted regions in two and three dimensions<>compgeom<>jinhui xu<>
2932<>1891_0<>james r. vallino<>haptics in augmented reality<>icmcs<>christopher m. brown<>
32491<>1894_0<>hiroshi nagamochi:tibor jordan:yoshitaka nakao<>bisecting two subsets in 3-connected graphs<>isaac<>toshihide ibaraki<>
2929<>1897_0<>iris vessey<>erp implementation approaches: toward a contingency framework<>icis<>carol v. brown<>
32448<>1898_31<>liang zhao:hiroshi nagamochi<>approximating the minimum k-way cut in a graph via minimum 3-way cuts<>isaac<>toshihide ibaraki<>
32462<>1898_45<>endre boros:kazuhisa makino<>logical analysis of binary data with missing bits<>ai<>toshihide ibaraki<>
32463<>1898_46<>thomas eiter:kazuhisa makino<>on the difference of horn theories<>stacs<>toshihide ibaraki<>
32464<>1898_47<>alexander kogan:kazuhisa makino<>functional dependencies in horn theories<>ai<>toshihide ibaraki<>
32474<>1898_57<>kazuhisa makino<>inner-core and outer-core functions of partially defined boolean functions<>dam<>toshihide ibaraki<>
32479<>1898_62<>kazuhisa makino:yushi uno<>on minimum edge ranking spanning trees<>mfcs<>toshihide ibaraki<>
32482<>1898_65<>hiroshi nagamochi<>a fast algorithm for computing minimum 3-way and 4-way cuts<>ipco<>toshihide ibaraki<>
32485<>1898_68<>thomas eiter:kazuhisa makino<>bidual horn functions and extensions<>dam<>toshihide ibaraki<>
3528<>1907_0<>rasa bliujute:simonas saltenis:giedrius slivinskas<>developing a datablade for a new index<>icde<>christian s. jensen<>
3550<>1907_22<>dieter pfoser<>capturing the uncertainty of moving-object representations<>ssd<>christian s. jensen<>
3561<>1907_33<>richard t. snodgrass<>temporal data management<>tkde<>christian s. jensen<>
3566<>1907_38<>nectaria tryfona<>conceptual data modeling for spatiotemporal applications<>geoinformatica<>christian s. jensen<>
3571<>1907_43<>curtis e. dyreson:michael h. bohlen<>capturing and querying multiple aspects of semistructured data<>vldb<>christian s. jensen<>
3599<>1907_71<>torben bach pedersen:curtis e. dyreson<>supporting imprecision in multidimensional databases using granularities<>ssdbm<>christian s. jensen<>
3608<>1907_80<>torben bach pedersen:curtis e. dyreson<>extending practical pre-aggregation in on-line analytical processing<>vldb<>christian s. jensen<>
3612<>1907_84<>torben bach pedersen<>multidimensional data modeling for complex data<>icde<>christian s. jensen<>
3614<>1907_86<>heidi gregersen<>on the ontological expressiveness of temporal extensions to the entity-relationship model<>er<>christian s. jensen<>
16409<>1932_0<>nulo<>sign types associated to posets<>jct<>jian-yi shi<>
27272<>1933_4<>nulo<>"a note on hamiltonian cycles in k(1, r)-free graphs."<>arscom<>rao li<>
9529<>1943_64<>koichi yamazaki:babette de fluiter:dimitrios m. thilikos<>isomorphism for graphs of bounded distance width<>algorithmica<>hans l. bodlaender<>
9531<>1943_66<>nulo<>a note on domino treewidth<>dmtcs<>hans l. bodlaender<>
9587<>1943_122<>dimitrios m. thilikos<>graphs with branchwidth at most three<>jal<>hans l. bodlaender<>
9589<>1943_124<>h. n. de ridder<>graph automorphisms with maximal projection distances<>fct<>hans l. bodlaender<>
26328<>1945_17<>brian dunkel:wing lau:suyun chen<>multiple-granularity interleaving for piggyback query processing<>cascon<>qiang zhu<>
34957<>1946_2<>xiaolin wu:jiang wen<>conditional entropy coding of vq indexes for image compression<>tip<>wing hung wong<>
34959<>1946_4<>jason cong:tianming kong:dongmin xu:faming liang:jun s. liu<>relaxed simulated tempering for vlsi floorplan designs<>aspdac<>wing hung wong<>
34879<>1954_4<>norman wilde:randy justice:kristin blackwell<>dynamic analysis methods for the year 2000 problem<>smr<>w. eric wong<>
34903<>1954_28<>joseph robert horgan:aditya p. mathur:alberto pasquini<>test set size minimization and fault detection effectiveness: a case study in a space application<>jss<>w. eric wong<>
34921<>1955_0<>nulo<>optimizing floating point operations in scheme<>cl<>w. f. wong<>
34932<>1955_11<>nulo<>source level static branch prediction<>cj<>w. f. wong<>
34944<>1956_1<>jeff g. schneider:andrew w. moore:martin a. riedmiller<>distributed value functions<>icml<>weng-keen wong<>
31340<>1959_1<>e. l. g. saukas<>a note on parallel selection on coarse-grained multicomputers<>algorithmica<>s. w. song<>
31343<>1959_4<>henrique mongelli<>a range minima parallel algorithm for coarse grained multicomputers<>ipps<>siang w. song<>
31369<>1959_30<>henrique mongelli<>parallel range minima on coarse grained multicomputers<>ijfcs<>siang w. song<>
9203<>1961_24<>nulo<>information systems that  support decision-making<>ismis<>gio wiederhold<>
11992<>1964_5<>vitaly i. voloshin<>pseudo-chordal mixed hypergraphs<>dm<>huishan zhou<>
11949<>1967_12<>hung-ming chen:fung yu young:d. f. wong:hannah honghua yang:naveed a. sherwani<>integrated floorplanning and interconnect planning<>iccad<>hai zhou<>
11966<>1967_29<>martin d. f. wong<>global routing with crosstalk constraints<>tcad<>hai zhou<>
29081<>1975_1<>jun-hai yong:jia-guang sun<>a note on approximation of discrete data by g1 arc splines<>cad<>shi-min hu<>
4657<>1995_3<>bang ye wu:kun-mao chao<>constructing light spanning trees with small routing cost<>stacs<>chuan yi tang<>
4659<>1995_5<>bang ye wu:giuseppe lancia:vineet bafna:kun-mao chao:r. ravi<>a polynomial-time approximation scheme for minimum routing cost spanning trees<>siamcomp<>chuan yi tang<>
4663<>1995_9<>bang ye wu:kun-mao chao<>an efficient algorithm for the length-constrained heaviest path problem on a tree<>ipl<>chuan yi tang<>
27933<>1999_0<>seth copen goldstein<>a high-performance flexible architecture for cryptography<>ches<>r. reed taylor<>
4411<>2008_1<>lloyd g. williams<>a performance model interchange format<>jss<>connie u. smith<>
9596<>2016_1<>xiaoyi jiang<>optimal vertex ordering of graphs<>ipl<>horst bunke<>
29510<>2019_0<>chulwoo kim:seung-moon yoo<>nmos energy recovery logic<>glvlsi<>sung-mo kang<>
29533<>2019_23<>ki-wook kim:tingting hwang:c. l. liu<>logic transformation for low power synthesis<>date<>sung-mo kang<>
29471<>2020_2<>huong quynh dinh<>multi-layered image-based rendering<>graphicsinterface<>sing bing kang<>
29501<>2020_32<>david difranco<>is appearance-based structure from motion viable?<>3dim<>sing bing kang<>
29505<>2020_36<>richard s. weiss<>characterization of errors in compositing panoramic images<>cviu<>sing bing kang<>
27954<>2031_9<>martin juvan:bojan mohar<>list edge-colorings of series-parallel graphs<>combinatorics<>robin thomas<>
27977<>2031_32<>reinhard diestel<>excluding a countable clique<>jct<>robin thomas<>
39832<>2041_9<>xin liu<>a re-examination of text categorization methods<>sigir<>yiming yang<>
39851<>2041_28<>nulo<>an evaluation of statistical approaches to text categorization<>ir<>yiming yang<>
39817<>2044_0<>zhonghua yang:chengzheng sun:abdul sattar<>a new look at multimedia synchronization in distributed environments<>ispan<>yanyan yang<>
12028<>2049_1<>ding-chau wang:chih-ping chu<>response time behavior of voting schemes for managing replicated data<>compsac<>ing-ray chen<>
12032<>2049_5<>sayed atef banawan<>performance and stability analysis of multilevel data structures with deferred reorganization<>tse<>ing-ray chen<>
24446<>2083_2<>ganesh lakshminarayana:kamal s. khouri<>wavesched: a novel scheduling technique for control-flow intensive designs<>tcad<>niraj k. jha<>
24456<>2083_12<>bharat p. dave<>cofta: hardware-software co-synthesis of heterogeneous distributed embedded systems<>tc<>niraj k. jha<>
24465<>2083_21<>ganesh lakshminarayana<>high-level synthesis of power-optimized and area-optimized circuits from hierarchical data-flow intensive behaviors<>tcad<>niraj k. jha<>
24535<>2083_91<>anand raghunathan:sujit dey<>register transfer level power optimization with emphasis on glitch analysis and reduction<>tcad<>niraj k. jha<>
24545<>2083_101<>ganesh lakshminarayana<>fact: a framework for applying throughput and power optimizing transformations to control-flow-intensive behavioral descriptions<>tcad<>niraj k. jha<>
24551<>2083_107<>kamal s. khouri:ganesh lakshminarayana<>high-level synthesis of low-power control-flow intensive circuits<>tcad<>niraj k. jha<>
24577<>2083_133<>srivaths ravi:ganesh lakshminarayana<>a framework for testing core-based systems-on-a-chip<>iccad<>niraj k. jha<>
24581<>2083_137<>indradeep ghosh:anand raghunathan<>hierarchical test generation and design for testability methods for aspps and asips<>tcad<>niraj k. jha<>
24591<>2083_147<>indradeep ghosh:sujit dey<>a low overhead design for testability and test generation technique for core-based systems-on-a-chip<>tcad<>niraj k. jha<>
24594<>2083_150<>kamal s. khouri:ganesh lakshminarayana<>memory binding for performance optimization of control-flow intensive behaviors<>iccad<>niraj k. jha<>
24609<>2083_165<>robert p. dick<>mocsyn: multiobjective core-based single-chip system synthesis<>date<>niraj k. jha<>
24620<>2083_176<>sujit dey:anand raghunathan:kazutoshi wakabayashi<>controller-based power management for control-flow intensive designs<>tcad<>niraj k. jha<>
41560<>2107_4<>baogen xu:yinzhen li:linzhong liu<>a note on the lower bounds of signed domination number of a graph<>dm<>zhongfu zhang<>
40986<>2126_3<>qian huang<>detecting news reporting using audio/visual information<>icip<>zhu liu<>
40970<>2129_9<>mathai joseph<>"specification and verification of fault-tolerance, timing, and scheduling."<>toplas<>zhiming liu<>
41588<>2143_0<>chengqi zhang<>a serving agent for integrating soft computing and software agents<>ausai<>zili zhang<>
14299<>2164_1<>william t. rankin:valerie l. henderson<>the impact of data ordering strategies on a distributed hierarchical multipole algorithm<>ppsc<>john a. board jr.<>
31223<>2179_7<>nulo<>working group 1 report<>dsvis<>shamus p. smith<>
31224<>2179_8<>david j. duke:mieke massink<>the hybrid world of virtual environments<>cgf<>shamus p. smith<>
31244<>2180_13<>amedeo cesta:angelo oddi<>an iterative sampling procedure for resource constrained project scheduling with time windows<>ijcai<>stephen f. smith<>
31247<>2180_16<>stephen y. chen:cesar guerra-salcedo<>non-standard crossover for a standard representation - commonality-based feature subset selection<>gecco<>stephen f. smith<>
31249<>2180_18<>stephen y. chen<>improving genetic algorithms by search space reductions (with applications to flow shop scheduling)<>gecco<>stephen f. smith<>
31251<>2180_20<>stephen y. chen<>introducing a new advantage of crossover: commonality-based selection<>gecco<>stephen f. smith<>
31257<>2180_26<>amedeo cesta:angelo oddi<>greedy algorithms for the multi-capacitated metric scheduling problem<>ecp<>stephen f. smith<>
41282<>2190_3<>s. summerfield:keshab k. parhi<>area-power-time efficient pipeline-interleaved architectures for wave digital filters<>iscas<>zhongfeng wang<>
40181<>2192_5<>m. sami fadali:sushil j. louis<>robust stability analysis of discrete-time systems using genetic algorithms<>tsmc<>yongmian zhang<>
40124<>2193_4<>nulo<>monotonicity in rule based update<>iclp<>yan zhang<>
40129<>2193_9<>cheng-min wu<>implementing prioritized logic programming<>ismis<>yan zhang<>
40188<>2200_0<>qing hu:xiaojun shen<>rearrangeable graphs<>ipl<>yixin zhang<>
26807<>2237_1<>amit chowdhary:sudhakar kale:phani k. saripella:naresh sehgal<>extraction of functional regularity in datapath circuits<>tcad<>rajesh k. gupta<>
40255<>2242_1<>chun hung cheng:ada wai-chee fu<>entropy-based subspace clustering for mining numerical data<>kdd<>yi zhang<>
40265<>2246_0<>xiuzhen zhang:joseph fong:xiaohua jia<>transforming rdb schema into well-structured oodb schema<>infsof<>yanchun zhang<>
6979<>2267_1<>shannon r. campbell:ciriyam jayaprakash<>synchrony and desynchrony in integrate-and-fire oscillators<>neco<>deliang l. wang<>
6997<>2267_19<>naeem shareef:roni yagel<>segmentation of medical images using legion<>tmi<>deliang l. wang<>
6999<>2267_21<>xiuwen liu<>perceptual organization based on temporal dynamics<>nips<>deliang l. wang<>
7007<>2267_29<>nulo<>object selection based on oscillatory correlation<>nn<>deliang wang<>
7018<>2268_10<>nulo<>polynomial systems from certain differential equations<>jsc<>dongming wang<>
29865<>2278_0<>yuh-rong leu<>distributed fault-tolerant ring embedding and reconfiguration in hypercubes<>tc<>sy-yen kuo<>
23366<>2280_6<>ana paula afonso:joao p. campos:francisco s. regateiro<>the design and implementation of the ubidata information dissemination framework<>huc<>mario j. silva<>
23379<>2280_19<>ana paula afonso:francisco s. regateiro<>dynamic data delivery to mobile users<>dexaw<>mario j. silva<>
23386<>2280_26<>ana paula afonso<>designing information appliances using a resource replication model<>huc<>mario j. silva<>
3481<>2298_13<>jing-reng huang:chi-feng wu:cheng-wen wu:tsin-yuan chang<>a programmable bist core for embedded dram<>dt<>chih-tsun huang<>
27743<>2308_2<>nulo<>advances in the theory and practice of graph drawing<>tcs<>roberto tamassia<>
27748<>2308_7<>stina s. bridgeman:ashim garg<>a graph drawing and translation service on the world wide web<>ijcga<>roberto tamassia<>
27775<>2308_34<>michael t. goodrich<>using randomization in the teaching of data structures and algorithms<>sigcse<>roberto tamassia<>
27796<>2308_55<>ryan shaun baker:michael boilen:michael t. goodrich:b. aaron stibel<>testers and visualizers for teaching data structures<>sigcse<>roberto tamassia<>
27808<>2308_67<>james e. baker:isabel f. cruz:giuseppe liotta<>visualizing geometric algorithms over the web<>comgeo<>roberto tamassia<>
27809<>2308_68<>giuseppe di battista:luca vismara<>output-sensitive reporting of disjoint paths<>algorithmica<>roberto tamassia<>
27812<>2308_71<>michael t. goodrich:mark handy:benoit hudson<>accessing the internal organization of data structures in the jdsl library<>alenex<>roberto tamassia<>
41309<>2311_12<>nikolaos g. bourbakis:weiyi meng:changqin zhang:john salerno:stan borek<>retrieval of multimedia web documents and removal of redundant information<>ijait<>zonghuan wu<>
32018<>2317_3<>nulo<>a near-linear area bound for drawing binary trees<>soda<>timothy m. chan<>
32019<>2317_4<>nulo<>dynamic planar convex hull operations in near-logarithmic amortized time<>focs<>timothy m. chan<>
32067<>2317_52<>nulo<>more planar two-center algorithms<>comgeo<>timothy m. chan<>
32073<>2317_58<>nulo<>geometric applications of a randomized optimization technique<>dcg<>timothy m. chan<>
32082<>2319_0<>raymond h. chan:chiu-kwong wong<>cosine transform based preconditioners for total variation deblurring<>tip<>tony f. chan<>
21466<>2324_0<>herman chung-hwa rao:yih-farn chen:josie chang<>a proxy-based personal portal<>webnet<>ming-feng chen<>
21367<>2326_9<>jen-chang liu:wen-liang hwang:wen-jyi hwang<>robust block-based ezw image compression with channel noise optimized rate-distortion functions<>icip<>ming-syan chen<>
21447<>2326_89<>i-yuan lin:xin-mao huang<>capturing user access patterns in the web for data mining<>ictai<>ming-syan chen<>
7072<>2339_2<>xiaoyun lu:c. k. wong<>the strong hall property and symmetric chain orders<>dm<>da-wei wang<>
23815<>2355_12<>salem benferhat:didier dubois:henri prade<>a practical approach to fusing prioritized knowledge bases<>epia<>mary-anne williams<>
23823<>2356_2<>nulo<>about this issue<>annals<>michael r. williams<>
17700<>2360_0<>shahram shirani:ali jerbi:faouzi kossentini:rabab kreidieh ward<>content-based retrieval of video sequences under partial occlusion<>icip<>jonathan wu<>
17565<>2361_28<>fusen he<>a parallel implementation of the everglades landscape fire model in networks of workstations<>canpc<>jie wu<>
17587<>2361_50<>dharma p. agrawal<>guest editors' introduction: challenges in designing fault-tolerant routing in networks<>tpds<>jie wu<>
17691<>2361_154<>hailan li<>on calculating connected dominating set for efficient routing in ad hoc wireless networks<>dialm<>jie wu<>
25587<>2366_0<>sushil jajodia:catherine d. mccollum<>intrusion confinement by isolation in information systems<>dbsec<>peng liu<>
1705<>2381_27<>nulo<>improved approximation guarantees for packing and covering integer programs<>siamcomp<>aravind srinivasan<>
1715<>2381_37<>ping bai:b. prabhakaran<>application-layer broker for scalable internet services with resource reservation<>mm<>aravind srinivasan<>
1728<>2381_50<>david zuckerman<>computing with very weak random sources<>siamcomp<>aravind srinivasan<>
1746<>2381_68<>michael e. saks:shiyu zhou:david zuckerman<>low discrepancy sets yield approximate min-wise independent permutation families<>random<>aravind srinivasan<>
1749<>2381_71<>frank thomson leighton:satish rao<>new algorithmic aspects of the local lemma with applications to routing and partitioning<>soda<>aravind srinivasan<>
1766<>2383_4<>ross d. king:douglas w. bristol<>an assessment of submissions made to the predictive toxicology evaluation challenge<>ijcai<>ashwin srinivasan<>
12793<>2394_17<>nulo<>guest editorial<>constraints<>jacques cohen<>
16061<>2396_5<>charu c. aggarwal:cecilia magdalena procopiuc:joel l. wolf:philip s. yu<>fast algorithms for projected clustering<>sigmod<>jong soo park<>
12832<>2399_12<>daniel g. aliaga:andrew wilson:eric baker:hansong zhang:carl erikson:kenneth e. hoff iii:thomas c. hudson:wolfgang sturzlinger:rui bastos:mary c. whitton:frederick p. brooks jr.:dinesh manocha<>mmr: an interactive massive model rendering system using geometric and image-based acceleration<>si3d<>jonathan d. cohen<>
16028<>2400_0<>ravi s. sandhu:sreelatha ghanta<>rbac on the web by secure cookies<>dbsec<>joon s. park<>
16044<>2400_16<>ravi s. sandhu<>rbac on the web by smart certificates<>rbac<>joon s. park<>
27380<>2426_1<>dana randall<>pfaffian algorithms for sampling routings on regions with free boundary conditions<>random<>russell a. martin<>
27329<>2427_7<>t. j. g. davies:adrian bowyer<>computing volume properties using low-discrepancy sequences<>gm<>ralph r. martin<>
27340<>2427_18<>peter m. hall:a. david marshall<>adding and subtracting eigenspaces<>bmvc<>ralph r. martin<>
27341<>2427_19<>goza kos:tamas varady<>methods to recover constant radius rolling ball blends in reverse engineering<>cagd<>ralph r. martin<>
37666<>2432_0<>jiawei han:zhaohui xie<>join index hierarchy: an indexing structure for efficient navigation in object-oriented databases<>tkde<>yongjian fu<>
37675<>2432_9<>jui-che teng<>improving high-dimensional indexing with heuristics for content-based image retrieval<>isd<>yongjian fu<>
37676<>2432_10<>kanwalpreet sandhu:ming-yi shih<>a generalization-based approach to clustering of web usage sessions<>kdd<>yongjian fu<>
37656<>2433_5<>nulo<>variations on mobile processes<>tcs<>yuxi fu<>
37663<>2433_12<>nulo<>open bisimulations on chi processes<>concur<>yuxi fu<>
21499<>2447_0<>takeo kanade:dean pomerleau:henry a. rowley<>anomaly detection through registration<>pr<>mei chen<>
21510<>2471_0<>takeo kanade:dean pomerleau:jeff g. schneider<>3-d deformable registration of medical images using a statistical atlas<>miccai<>mei chen<>
12521<>2503_1<>shawn wolfe:stephen d. wragg<>managing personal and group collections of information<>dl<>james r. chen<>
12403<>2522_3<>ergun akleman<>guaranteeing 2-manifold property for meshes<>smi<>jianer chen<>
12411<>2522_11<>ergun akleman<>generalized distance functions<>smi<>jianer chen<>
12429<>2522_29<>saroja p. kanchi<>graph ear decompositions and graph embeddings<>siamdm<>jianer chen<>
12436<>2522_36<>donald k. friesen:hao zheng<>tight bound on johnson's algorithm for maximum satisfiability<>jcss<>jianer chen<>
12445<>2522_45<>iyad a. kanj:weijia jia<>vertex cover: further observations and further improvements<>wg<>jianer chen<>
12462<>2522_62<>chi-chang chen<>the maximum partition matching problem with applications<>siamcomp<>jianer chen<>
5307<>2533_0<>ramaswamy govindarajan:guang r. gao<>minimum register instruction scheduling: a new approach for dynamic instruction issue processors<>lcpc<>chihong zhang<>
30194<>2536_0<>robert g. parr<>consequences for exchange energy density functional of exponentially decaying nature of atomic electron densities<>jcc<>shubin liu<>
39426<>2537_9<>nulo<>linear complexity versus pseudorandomness: on beth and dai's result<>asiacrypt<>yongge wang<>
39430<>2537_13<>yvo desmedt<>approximation hardness and secure communication in broadcast channels<>asiacrypt<>yongge wang<>
39438<>2537_21<>nulo<>"randomness, stochasticity, and approximations."<>mst<>y. wang<>
39446<>2537_29<>nulo<>a separation of two randomness concepts<>ipl<>yongge wang<>
5313<>2544_3<>john l. goldwasser<>permutation graphs and petersen graph<>arscom<>cun-quan zhang<>
39457<>2547_0<>qian-yu tang:xiaoyu song<>diagnosis of clustered faults for identical degree topologies<>tcad<>yuke wang<>
39458<>2547_1<>jacob augustine:william e. lynch:asim j. al-khalili<>lossy compression of images using logic minimization<>vlsid<>yuke wang<>
16675<>2554_0<>yangsheng xu:michael c. nechyba:yeung yam<>transfer of human control strategy based on similarity measure<>icra<>jingyan song<>
26995<>2584_1<>daniel dementhon:david s. doermann<>building mosaics from video using mpeg motion vectors<>mm<>ryan c. jones<>
26996<>2587_0<>ellen riloff<>learning dictionaries for information extraction by multi-level bootstrapping<>aaai<>rosie jones<>
26986<>2589_8<>mark aagaard:carl-johan h. seger<>lifted-fl: a pragmatic implementation of combined model checking and theorem proving<>tphol<>robert b. jones<>
26989<>2589_11<>mark aagaard:carl-johan h. seger<>parametric representations of boolean constraints<>dac<>robert b. jones<>
26971<>2590_4<>david beckett:sally fincher<>meeting diverse user needs<>ifip3-2<>richard jones<>
21109<>2613_0<>evelyne flandrin:feng tian:bing wei<>some properties of 3-domination-critical graphs<>dm<>lei zhang<>
20325<>2614_0<>elizabeth sanocki:anoop gupta:jonathan grudin<>auto-summarization of audio-video presentations<>mm<>liwei he<>
20328<>2614_3<>nosa omoigui:anoop gupta:jonathan grudin:elizabeth sanocki<>"time-compression: systems concerns, usage, and benefits."<>chi<>liwei he<>
20329<>2614_4<>heung-yeung shum<>rendering with concentric mosaics<>siggraph<>li-wei he<>
1854<>2618_3<>paul erdos:amites sarkar<>extremal graphs for weights<>dm<>bala bollobas<>
37911<>2624_5<>kinshuk govil:dan teodosiu:mendel rosenblum<>cellular disco: resource management using virtual clusters on shared-memory multiprocessors<>sosp<>yongqiang huang<>
37920<>2625_0<>nulo<>maximum genus and girth of graphs<>dm<>yuangqiu huang<>
37921<>2625_1<>yanpei liu<>the maximum genus of graphs with diameter three<>dm<>yuanqiu huang<>
37926<>2627_0<>bart selman:henry a. kautz<>control knowledge in planning: benefits and tradeoffs<>aaai<>yi-cheng huang<>
19159<>2636_12<>liria matsumoto sato<>applying parasys for parallel algorithm analysis<>pdpta<>kuan-ching li<>
9392<>2675_16<>francois chabat:david m. hansell<>a corner orientation detector<>ivc<>guang-zhong yang<>
30989<>2683_21<>andres villaveces<>toward categoricity for classes with no maximal models<>apal<>saharon shelah<>
30992<>2683_24<>menachem kojman<>regressive ramsey numbers are ackermannian<>jct<>saharon shelah<>
30994<>2683_26<>moti gitik<>cardinal preserving ideals<>jsyml<>saharon shelah<>
31040<>2683_72<>j. k. truss<>on distinguishing quotients of symmetric groups<>apal<>saharon shelah<>
31063<>2683_95<>nulo<>categoricity for abstract classes with amalgamation<>apal<>saharon shelah<>
31078<>2683_110<>andreas blass:yuri gurevich<>choiceless polynomial time<>apal<>saharon shelah<>
23859<>2684_2<>nicholas r. jennings<>"agent technology: foundations, applications and markets."<>jasss<>michael wooldridge<>
23886<>2684_29<>nicholas r. jennings:david kinny<>a methodology for agent-oriented analysis and design<>agents<>michael wooldridge<>
23911<>2684_54<>nicholas r. jennings<>the cooperative problem-solving process<>logcom<>michael wooldridge<>
23915<>2684_58<>nulo<>verifying that agents implement a communication language<>aaai<>michael wooldridge<>
23923<>2684_66<>stefan bussmann:paolo ciancarini:keith s. decker:michael n. huhns<>agent-oriented software engineering<>atal<>michael wooldridge<>
23927<>2684_70<>alessio lomuscio<>"reasoning about visibility, perception and knowledge."<>atal<>michael wooldridge<>
23938<>2684_81<>nicholas r. jennings<>software engineering with agents: pitfalls and pratfalls<>internet<>michael wooldridge<>
3025<>2709_2<>les carr<>visualizing the evolution of a subject domain: a case study<>visualization<>chaomei chen<>
3026<>2709_3<>john davies<>"integrating spatial, semantic, and social structures for knowledge management."<>hicss<>chaomei chen<>
3032<>2709_9<>les carr<>a semantic-centric approach to information visualization<>iv<>chaomei chen<>
3038<>2709_15<>les carr<>trailblazing the literature of hypertext: author co-citation analysis (1989-1998)<>ht<>chaomei chen<>
3045<>2709_22<>linda thomas:janet cole:chiladda chennawasin<>representing the semantics of virtual spaces<>ieeemm<>chaomei chen<>
3047<>2709_24<>chiladda chennawasin:janet cole<>an empirical study of memory and information retrieval with a spatial user interface<>ecir<>chaomei chen<>
3053<>2709_30<>mike forsyth<>spatial semantic virtual worlds: the structural duality and beyond<>webnet<>chaomei chen<>
3060<>2709_37<>nulo<>visualising semantic spaces and author co-citation networks in digital libraries<>ipm<>chaomei chen<>
3062<>2709_39<>nulo<>the starwalker virtual environment - an integrative design for social navigation<>hci<>chaomei chen<>
3094<>2711_0<>reinhard klette<>image stitching - comparisons and new techniques<>caip<>chia-yen chen<>
13091<>2718_1<>paulo s. c. alencar:donald d. cowan:carlos jose pereira de lucena<>a pattern-based approach to structural design composition<>compsac<>jing dong<>
13106<>2718_16<>paulo s. c. alencar:donald d. cowan<>correct composition of design components<>ecoopw<>jing dong<>
13070<>2721_7<>brendan p. mahony:neale fulton<>modeling aircraft mission computer task rates<>fm<>jin song dong<>
13083<>2721_20<>brendan p. mahony:neale fulton<>capturing periodic concurrent interactions of mission computer tasks<>apsec<>jin song dong<>
13088<>2721_25<>brendan p. mahony<>sensors and actuators in tcoz<>fm<>jin song dong<>
8886<>2734_2<>jurgen dassow<>on the power of membrane computing<>jucs<>gheorghe paun<>
8902<>2734_18<>nulo<>(dna) computing by carving<>soco<>gheorghe paun<>
8904<>2734_20<>sheng yu<>on synchronization in p systems<>fuin<>gheorghe paun<>
8920<>2734_36<>gabriel thierrin<>multiset processing by means of systems of finite state transducers<>wia<>gheorghe paun<>
8929<>2734_45<>carlos martin-vide<>cooperating distributed splicing systems<>jalc<>gheorghe paun<>
8972<>2734_88<>vincenzo manca:carlos martin-vide<>iterated gsm mappings: a collapsing hierarchy<>birthday<>gheorghe paun<>
8979<>2734_95<>jurgen dassow<>min of mat is not necessarily mat<>ipl<>gheorghe paun<>
2776<>2738_2<>zhongfu zhang:yinzhen li:linzhong liu<>a note on the lower bounds of signed domination number of a graph<>dm<>baogen xu<>
2777<>2738_3<>zhongfu zhang<>on mixed ramsey numbers<>dm<>baogen xu<>
2770<>2739_5<>peter che bor lam:jiazhuang liu<>the 4-choosability of plane graphs without 4-cycles'<>jct<>baogang xu<>
39771<>2741_1<>h. benjamin brown jr.:kwok wai au<>dynamic mobility with single-wheel configuration<>ijrr<>yangsheng xu<>
7252<>2745_3<>anne bruggemann-klein:stefan hermann<>the visual specification of context<>adl<>derick wood<>
7198<>2747_12<>nulo<>multi-dimensional orthogonal graph drawing with small boxes<>gd<>david r. wood<>
14305<>2751_0<>w. scott speights<>website localization<>sigdoc<>john w. stanley jr.<>
39756<>2768_3<>zhongying chen:charles a. micchelli<>a construction of interpolating wavelets on invariant sets<>moc<>yuesheng xu<>
31141<>2773_35<>michael j. kearns:diane j. litman:marilyn a. walker<>reinforcement learning for spoken dialogue systems<>nips<>satinder p. singh<>
31143<>2773_37<>yishay mansour<>on the complexity of policy iteration<>uai<>satinder p. singh<>
31149<>2773_43<>richard s. sutton:david a. mcallester:yishay mansour<>policy gradient methods for reinforcement learning with function approximation<>nips<>satinder p. singh<>
31150<>2773_44<>david a. mcallester<>approximate planning for factored pomdps using belief state simplification<>uai<>satinder p. singh<>
31172<>2773_66<>richard s. sutton:doina precup<>between mdps and semi-mdps: a framework for temporal abstraction in reinforcement learning<>ai<>satinder p. singh<>
10526<>2779_0<>shuo-yen robert li:gar man koo<>fast knockout algorithm for self-route concentration<>comcom<>hui li<>
31177<>2780_0<>anthony stentz:john bares:patrick rowe<>a robotic excavator for autonomous truck loading<>arobots<>sanjiv singh<>
31181<>2780_4<>howard cannon<>models for automated earthmoving<>iser<>sanjiv singh<>
3102<>2782_2<>koichiro inoue:stephen e. chick<>an empirical evaluation of several methods to select the best system<>tomacs<>chun-hung chen<>
3105<>2789_0<>noel menezes<>noise-aware repeater insertion and wire-sizing for on-chip interconnect using hierarchical moment-matching<>dac<>chung-ping chen<>
3106<>2789_1<>noel menezes<>spec-based repeater insertion and wire sizing for on-chip interconnect<>vlsid<>chung-ping chen<>
3108<>2789_3<>d. f. wong<>error bounded pade approximation via bilinear conformal transformation<>dac<>chung-ping chen<>
3125<>2815_4<>jianer chen<>the maximum partition matching problem with applications<>siamcomp<>chi-chang chen<>
34048<>2837_12<>nulo<>on the number of subsequences with given sum<>dm<>weidong gao<>
28093<>2845_1<>andrew burton-jones<>understanding relationships with attributes in entity-relationship diagrams<>icis<>ron weber<>
21887<>2848_3<>andrew d. wilson:bruce blumberg:christopher kline:aaron f. bobick<>sympathetic interfaces: using a plush toy to direct synthetic characters<>chi<>michael patrick johnson<>
6167<>2853_6<>leiming qian:kannan ramchandran:swaroop appadwedula<>a general joint source-channel matching method for wireless video transmission<>dcc<>douglas l. jones<>
21856<>2854_18<>stuart geman:stephen canon:zhiyi chi:stefan riezler<>"estimators for stochastic ""unification-based"" grammars."<>acl<>mark johnson<>
21860<>2854_22<>nulo<>a resource sensitive interpretation of lexical functional grammar<>jolli<>mark johnson<>
4957<>2857_19<>winona c. barker:john s. garavelli:peter b. mcgarvey:christopher r. marzec:bruce c. orcutt:geetha y. srinivasarao:lai-su l. yeh:robert s. ledley:hans-werner mewes:friedhelm pfeiffer:akira tsugita<>the pir-international protein sequence database<>nar<>cathy h. wu<>
4958<>2857_20<>hongzhan huang:jerry mclarty<>gene family identification network design for protein sequence analysis<>ijait<>cathy h. wu<>
4963<>2857_25<>sailaja shivakumar:hongzhan huang<>proclass protein family database<>nar<>cathy h. wu<>
4977<>2867_4<>vijay varadharajan<>modified chinese remainder theorem and its application to proxy signatures<>icppw<>chuan-kun wu<>
38098<>2869_26<>in sang chung:hyeon soo kim:hyun seop bae:byung-sun lee<>testing of concurrent programs based on message sequence charts<>pdse<>yong rae kwon<>
38099<>2869_27<>in sang chung:hyeon soo kim:hyun seop bae:dong gil lee<>testing of concurrent programs after specification changes<>icsm<>yong rae kwon<>
38101<>2869_29<>sang-yoon min:yoon-kyu jan:sung deok cha:doo-hwan bae<>safety verification of ada95 programs using software fault trees<>safecomp<>yong rae kwon<>
28061<>2871_12<>janos csirik:david s. johnson:claire kenyon:peter w. shor<>a self organizing bin packing heuristic<>alenex<>richard r. weber<>
2027<>2876_6<>lei dong:qi zhang liu:kuo-ching huang<>total colorings of equibipartite graphs<>dm<>bor-liang chen<>
26215<>2902_0<>yiming hu:tycho nightingale<>rapid-cache - a reliable and inexpensive write cache for disk i/o systems<>hpca<>qing yang<>
26223<>2902_8<>yiming hu:ashwini k. nanda<>"measurement, analysis and performance improvement of the apache web server."<>ipccc<>qing yang<>
26102<>2903_4<>zhong zhang<>dynamic refinement of feature weights using quantitative introspective learning<>ijcai<>qiang yang<>
26123<>2903_25<>jiawei han:edward kim<>plan mining by divide-and-conquer<>dmkd<>qiang yang<>
26137<>2903_39<>yong wang:zhong zhang<>real-time scheduling for multi-agent call center automation<>ecp<>qiang yang<>
26143<>2903_45<>christina carrick<>activating cbr systems through autonomous information gathering<>iccbr<>qiang yang<>
26158<>2903_60<>irene abi-zeid:luc lamontagne<>is cbr applicable to the coordination of search and rescue operations? a feasibility study<>iccbr<>qiang yang<>
26171<>2903_73<>sandra c. hayden:christina carrick<>a catalog of agent coordination patterns<>agents<>qiang yang<>
26189<>2903_91<>jun zhu<>remembering to add: competence-preserving case-addition policies for case base maintenance<>ijcai<>qiang yang<>
20723<>2944_0<>william beasley<>using email and the world wide web to teach and improve a new technology-based college course<>webnet<>lih-ching chen wang<>
909<>2947_8<>jon m. kleinberg<>wavelength conversion in optical networks<>soda<>amit kumar<>
39190<>2959_4<>luis goncalves:enrico di bernardo:pietro perona<>monocular perception of biological motion - detection and labeling<>iccv<>yang song<>
9986<>2981_3<>cathy h. wu:jerry mclarty<>gene family identification network design for protein sequence analysis<>ijait<>hongzhan huang<>
9991<>2981_8<>cathy h. wu:sailaja shivakumar<>proclass protein family database<>nar<>hongzhan huang<>
29996<>3008_1<>ju-young lee park<>contention free embedding of complete binary trees into 3d meshes in half and full-duplexed network models<>icpp<>sang kyu lee<>
30003<>3009_1<>minhee cho:hyeon-ju yoon:seong bae eun:hyunsoo yoon:jung wan cho:joonwon lee<>design and implementation of a multi-threaded tmn agent system<>icppw<>sang-kwon lee<>
30001<>3010_0<>nulo<>frontiers in handwriting recognition<>ijdar<>seong-whan lee<>
30010<>3014_0<>seong-min hong:hyunsoo yoon:yookun cho<>accelerating key establishment protocols for mobile communication<>acisp<>seungwon lee<>
4713<>3021_14<>nicholas costen:timothy f. cootes:gareth j. edwards<>automatic extraction of the face identity-subspace<>bmvc<>christopher j. taylor<>
4720<>3021_21<>anthony s. holmes<>developing a measure of similarity between pixel signatures<>bmvc<>christopher j. taylor<>
4732<>3022_2<>james p. ostrowski:sang-hack jung<>robust visual servoing based on relative orientation<>cvpr<>camillo j. taylor<>
4737<>3022_7<>david jelinek<>reconstruction of linearly parameterized models from single images with a camera of unknown focal length<>cvpr<>camillo j. taylor<>
4740<>3022_10<>jana kosecka:robert blasi:jitendra malik<>a comparative study of vision-based lateral control strategies for autonomous highway driving<>ijrr<>camillo j. taylor<>
39222<>3023_2<>zhengyu liang:cho-li wang<>"clusterprobe: an open, flexible and scalable cluster monitoring tool."<>iwcc<>yundong sun<>
39230<>3024_0<>dennis l. parker<>performance analysis of maximum intensity projection algorithm for display of mra images<>tmi<>yi sun<>
29961<>3027_0<>song-yee yoon<>training algorithm with incomplete data for feed-forward neural networks<>npl<>soo-young lee<>
39203<>3029_0<>shu-chien huang<>polygonal approximation using genetic algorithms<>pr<>yung-nien sun<>
19527<>3044_8<>volker elling<>min-cut methods for mapping dataflow graphs<>europar<>karsten schwan<>
19530<>3044_11<>kaushik ghosh:richard fujimoto<>composing high-performance schedulers: a case study from real-time simulation<>concurrency<>karsten schwan<>
19532<>3044_13<>richard west<>dynamic window-constrained scheduling for multimedia applications<>icmcs<>karsten schwan<>
19546<>3044_27<>jeffrey s. vetter<>optimizations for language-directed computational steering<>ipps<>karsten schwan<>
19550<>3044_31<>arno schodl:irfan a. essa<>adaptive parallelization of model-based head tracking<>pdpta<>karsten schwan<>
19568<>3044_49<>richard west:christian poellabauer<>scalable scheduling support for loss and delay constrained media streams<>rtas<>karsten schwan<>
19600<>3044_81<>daniela rosu<>faracost: an adaptation cost model aware of pending constraints<>rtss<>karsten schwan<>
13507<>3046_1<>francis c. chu:praveen seshadri<>least expected cost query optimization: an exercise in utility<>pods<>joseph y. halpern<>
13516<>3046_10<>nulo<>set-theoretic completeness for epistemic and conditional logic<>amai<>joseph y. halpern<>
13517<>3046_11<>francis c. chu:praveen seshadri<>least expected cost query optimization: an exercise in utility<>corr<>joseph y. halpern<>
13518<>3046_12<>nir friedman<>"modeling belief in dynamic systems, part ii: revision and update."<>jair<>joseph y. halpern<>
13520<>3046_14<>aleta ricciardi<>a knowledge-theoretic analysis of uniform distributed coordination and failure detectors<>podc<>joseph y. halpern<>
13522<>3046_16<>francis c. chu<>a decision-theoretic approach to reliable message delivery<>corr<>joseph y. halpern<>
13524<>3046_18<>nir friedman<>"modeling belief in dynamic systems, part ii: revision and update"<>corr<>joseph y. halpern<>
13554<>3047_28<>richard a. shore<>reasoning about common knowledge with infinitely many agents<>lics<>joseph y. halpern<>
13587<>3047_61<>nulo<>a counterexample to theorems of cox and fine<>jair<>joseph y. halpern<>
13590<>3047_64<>richard a. shore<>reasoning about common knowledge with infinitely many agents<>corr<>joseph y. halpern<>
13596<>3047_70<>nir friedman<>belief revision: a critique<>jolli<>joseph y. halpern<>
13654<>3047_128<>nulo<>cox's theorem revisited<>corr<>joseph y. halpern<>
13681<>3047_155<>ronald fagin:yoram moses:moshe y. vardi<>common knowledge revisited<>apal<>joseph y. halpern<>
29930<>3048_1<>nulo<>interactive multiresolution editing of arbitrary meshes<>cgf<>seungyong lee<>
29931<>3048_2<>yongchoel choi<>local injectivity conditions of 2d and 3d uniform cubic b-spline functions<>pg<>seungyong lee<>
29932<>3048_3<>gyuhwan oh:sung yong shin<>fast determination of textural periodicity using distance matching function<>prl<>seungyong lee<>
29384<>3060_7<>alastair reid:fergus henderson:c. a. r. hoare:simon marlow<>a semantics for imprecise exceptions<>pldi<>simon l. peyton jones<>
29398<>3060_21<>keith wansbrough<>once upon a polymorphic type<>popl<>simon l. peyton jones<>
29407<>3060_30<>andrew moran:soren b. lassen<>"imprecise exceptions, co-inductively."<>entcs<>simon l. peyton jones<>
29411<>3060_34<>hans-wolfgang loidl:philip w. trinder:kevin hammond:sahalu b. junaidu:richard g. morgan<>engineering parallel symbolic programs in gph<>concurrency<>simon l. peyton jones<>
29417<>3060_40<>oege de moor:eric van wyk<>aspect-oriented compilers<>gcse<>simon l. peyton jones<>
29424<>3060_47<>sigbjorn finne:daan leijen:erik meijer<>calling hell from heaven and heaven from hell<>icfp<>simon l. peyton jones<>
29425<>3060_48<>norman ramsey:fermin reig<>c--: a portable assembly language that supports garbage collection<>ppdp<>simon l. peyton jones<>
14935<>3067_4<>michael chen:marti a. hearst:jason i. hong<>cha-cha: a system for organizing intranet search results<>usits<>james lin<>
2133<>3090_0<>alain girault:edward a. lee<>hierarchical finite state machines with multiple concurrency models<>tcad<>bilung lee<>
31545<>3100_0<>xiaofeng meng:yong zhou<>domain knowledge extracting in a chinese natural language interface to databases: nchiql<>pakdd<>shan wang<>
31548<>3100_3<>xiaofeng meng:shuang liu<>nchiql: a chinese natural language query system to databases<>dante<>shan wang<>
31531<>3104_0<>hsin-haw jong:zong-han wu<>the extraction and linking of brink points in an image<>icip<>sheng-jyh wang<>
25696<>3110_2<>soo-chang pei<>analytical design of digital nonrecursive maximally flat fractional hilbert transformer<>iscas<>peng-hua wang<>
1799<>3114_5<>michael alekhnovich:eli ben-sasson:alexander a. razborov<>space complexity in propositional calculus<>eccc<>avi wigderson<>
1800<>3114_6<>yuri rabinovich<>techniques for bounding the convergence rate of genetic algorithms<>rsa<>avi wigderson<>
1803<>3114_9<>david zuckerman<>expanders that beat the eigenvalue bound: explicit construction and applications<>combinatorica<>avi wigderson<>
1804<>3114_10<>loszlo babai:anna gal<>superpolynomial lower bounds for monotone span programs<>combinatorica<>avi wigderson<>
34076<>3116_3<>wei kuan shih<>a new planarity test<>tcs<>wen-lian hsu<>
34072<>3118_0<>voon-yee vee<>applying cilk in provably efficient task scheduling<>cj<>wen-jing hsu<>
34052<>3121_2<>jih-kwon peir:alan jay smith<>functional implementation techniques for cpu cache memories<>tc<>windsor w. hsu<>
5958<>3126_0<>nulo<>information technology applications in biomedical functional imaging<>titb<>david dagan feng<>
8028<>3135_2<>jiyeon lee<>an optimal proportion of perfect repair<>orl<>eui yong lee<>
8012<>3147_5<>alain girault:bilung lee<>hierarchical finite state machines with multiple concurrency models<>tcad<>edward a. lee<>
6811<>3166_1<>marcus brazil:j. f. weng<>a polynomial time algorithm for rectilinear steiner trees with terminals constrained to curves<>networks<>d. a. thomas<>
5382<>3189_6<>jie wu<>guest editors' introduction: challenges in designing fault-tolerant routing in networks<>tpds<>dharma p. agrawal<>
30056<>3194_0<>man-kwan shan<>allocation of signature file on parallel device for www index servers<>jise<>suh-yin lee<>
4319<>3195_0<>mihalis yannakakis<>on the complexity of database queries<>jcss<>christos h. papadimitriou<>
4342<>3195_23<>elias koutsoupias<>worst-case equilibria<>stacs<>christos h. papadimitriou<>
4349<>3195_30<>richard desper:feng jiang:olli-p. kallioniemi:holger moch:alejandro a. schaffer<>inferring tree models for oncogenesis from comparative genome hybridization data<>jcb<>christos h. papadimitriou<>
4352<>3195_33<>deborah goldman:sorin istrail<>algorithmic aspects of protein structure similarity<>focs<>christos h. papadimitriou<>
4356<>3195_37<>zhi-zhong chen:michelangelo grigni<>map graphs<>corr<>christos h. papadimitriou<>
4368<>3199_0<>dan suciu:victor vianu<>topological queries in spatial databases<>jcss<>christos h. papadimitriou<>
4369<>3199_1<>nulo<>topological queries<>ssd<>christos h. papadimitriou<>
3852<>3208_13<>chih-horng ke:chao-chun chen<>tracking mobile users utilizing their frequently visited locations<>dexa<>chiang lee<>
39096<>3231_6<>r. scott cost:timothy w. finin:yannis labrou:xiaocheng luan:ian soboroff:james mayfield:akram boughannam<>an agent-based infrastructure for enterprise integration<>ma<>yun peng<>
39089<>3232_0<>yannis labrou:timothy w. finin<>the interoperability problem: bringing together mobile agents and agent communication languages<>hicss<>yun peng<>
25424<>3250_0<>vivek s. borkar<>randomized neural networks for learning stochastic dependences<>tsmc<>piyush gupta<>
36224<>3304_0<>thomas a. henzinger:shaz qadeer:sriram k. rajamani<>formal specification and verification of a dataflow processor array<>iccad<>xiaojun liu<>
36220<>3306_0<>yueting zhuang:yunhe pan<>a new approach to retrieve video by example video clip<>mm<>xiaoming liu<>
36221<>3306_1<>yueting zhuang:yunhe pan<>video based human animation technique<>mm<>xiaoming liu<>
36223<>3306_3<>yueting zhuang:yunhe pan<>video motion capture using feature tracking and skeleton reconstruction<>icip<>xiaoming liu<>
36227<>3307_0<>deliang l. wang<>perceptual organization based on temporal dynamics<>nips<>xiuwen liu<>
14769<>3311_3<>shawmin lei<>an embedded still image coder with rate-distortion optimization<>tip<>jin li<>
14770<>3311_4<>c. c. jay kuo<>image compression with a hybrid wavelet-fractal coder<>tip<>jin li<>
8643<>3322_1<>chin-wen ho:sun-yuan hsieh<>parallel decomposition of generalized series-parallel graphs<>jise<>gen-huey chen<>
27731<>3334_0<>bruce a. dike:b. ravichandran:adel el-fallah:raman k. mehra<>the fighter aircraft lcs: a case of different lcs goals and techniques<>iwcls<>robert e. smith<>
27732<>3334_1<>john h. holland:lashon b. booker:marco colombetti:marco dorigo:david e. goldberg:stephanie forrest:rick l. riolo:pier luca lanzi:wolfgang stolzmann:stewart w. wilson<>what is a learning classifier system?<>iwcls<>robert e. smith<>
41290<>3341_0<>jason tsong-li wang:steve rozen:bruce a. shapiro:dennis shasha:maisheng yin<>new techniques for dna sequence classification<>jcb<>zhiyuan wang<>
35710<>3371_3<>sushant sawant:jiangyu zhou:sotiris skevoulis<>detecting null pointer violations in java programs<>compsac<>xiaoping jia<>
16239<>3396_7<>barry g. t. lowden<>a statistical approach to rule selection in semantic query optimisation<>ismis<>jerome robinson<>
9786<>3402_0<>david m. miller:jessica matson:qiang liu<>a hybrid genetic algorithm for the single machine scheduling problem<>heuristics<>hui-chuan chen<>
9785<>3403_0<>a. ito<>characterization of 1/f noise vs. number of gate stripes in mos transistors<>iscas<>hsin-shu chen<>
1172<>3411_33<>leszek gasieniec:evangelos kranakis:danny krizanc<>minimizing congestion of layouts for atm networks with faulty links<>ijfcs<>andrzej pelc<>
1202<>3411_63<>petrisor panaite<>exploring unknown undirected graphs<>jal<>andrzej pelc<>
1206<>3411_67<>evangelos kranakis:anthony spatharis<>optimal adaptive fault diagnosis for simple multiprocessor systems<>networks<>andrzej pelc<>
1246<>3411_107<>krzysztof diks:andrzej lingas<>an optimal algorithm for broadcasting multiple messages in trees<>jpdc<>andrzej pelc<>
1265<>3411_126<>krzysztof diks:evangelos kranakis:danny krizanc<>the impact of knowledge on broadcasting time in radio networks<>esa<>andrzej pelc<>
9737<>3414_5<>hsu-chun yen<>orthogonal and straight-line drawings of graphs with succinct representations<>gd<>ho-lin chen<>
27266<>3416_1<>chia-chu chiang:narayan c. debnath<>component-based software development<>cata<>roger y. lee<>
16667<>3428_0<>marshall w. bern:erik d. demaine:david eppstein:eric kuo:andrea mantler<>ununfoldable polyhedra with convex faces<>corr<>jack snoeyink<>
27412<>3434_2<>brad a. myers<>lightweight structured text processing<>usenix<>robert c. miller<>
27415<>3434_5<>brad a. myers<>synchronizing clipboards of multiple computers<>uist<>robert c. miller<>
1977<>3435_0<>gregory w. wornell<>achievable performance of digital watermarking systems<>icmcs<>brian chen<>
1993<>3437_0<>j. edward swan ii:eddy kuo:arie e. kaufman<>lod-sprite technique for accelerated terrain rendering<>visualization<>baoquan chen<>
16758<>3446_1<>bernd girod<>power spectrum condition for energy-efficient watermarking<>icip<>jonathan k. su<>
51<>3448_4<>stefano berretti:enrico vicario<>weighting spatial arrangement of colors in content based image retrieval<>icmcs<>alberto del bimbo<>
63<>3448_16<>carlo colombo:pietro pala<>semantics in visual information retrieval<>ieeemm<>alberto del bimbo<>
67<>3448_20<>jurgen assfalg:pietro pala<>querying by photographs: using virtual reality for content-based image retrieval<>icmcs<>alberto del bimbo<>
80<>3448_33<>carlo colombo<>color-induced image representation and retrieval<>pr<>alberto del bimbo<>
108<>3448_61<>stefano berretti:pietro pala<>efficient shape retrieval by parts<>caip<>alberto del bimbo<>
110<>3448_63<>pietro pala<>shape indexing by multi-scale representation<>ivc<>alberto del bimbo<>
118<>3448_71<>stefano berretti:enrico vicario<>managing the complexity of match in retrieval by spatial arrangement<>iciap<>alberto del bimbo<>
125<>3448_78<>stefano berretti:pietro pala<>retrieval by shape using multidimensional indexing structures<>iciap<>alberto del bimbo<>
126<>3448_79<>jacopo m. corridoni:pietro pala<>image retrieval by color semantics<>mms<>alberto del bimbo<>
133<>3448_86<>gabriele baldi:carlo colombo<>a compact and retrieval-oriented video representation using mosaics<>visual<>alberto del bimbo<>
148<>3448_101<>jurgen assfalg:pietro pala<>the photographer metaphor for content based image retrieval<>iciap<>alberto del bimbo<>
156<>3448_109<>carlo colombo<>generalized bounds for time to collision from first-order image motion<>iccv<>alberto del bimbo<>
16689<>3449_3<>xun cheng:guozhu dong:tzekwan lau<>data integration by describing sources with constraint databases<>icde<>jianwen su<>
16703<>3449_17<>hongjun zhu:oscar h. ibarra<>an index structure for spatial joins in linear constraint databases<>icde<>jianwen su<>
16714<>3449_28<>robert prince:hong tang:yonggang zhao<>the design of an interactive online help desk in the alexandria digital library<>wacc<>jianwen su<>
16718<>3449_32<>sabina beraha<>support for modeling relationships in object-oriented databases<>dke<>jianwen su<>
16721<>3449_35<>richard hull<>the vortex approach to integration and coordination of workflows<>workflow<>jianwen su<>
16727<>3449_41<>oscar h. ibarra<>counter machines: decision problems and applications<>birthday<>jianwen su<>
16735<>3449_49<>oscar h. ibarra<>a technique for proving decidability of containment and equivalence of linear constraint queries<>jcss<>jianwen su<>
16754<>3451_2<>nulo<>the number of removable edges in 3-connected graphs<>jct<>jianji su<>
30069<>3456_6<>hui li:gar man koo<>fast knockout algorithm for self-route concentration<>comcom<>shuo-yen robert li<>
25451<>3459_4<>tamal k. dey<>a simple provable algorithm for curve reconstruction<>soda<>piyush kumar<>
27390<>3469_6<>murray shanahan<>the event calculus in classical logic - alternative axiomatisations<>etai<>rob miller<>
4387<>3480_1<>david c. steere:ashvin goel:joshua gruenberg:dylan mcnamee:jonathan walpole<>a feedback-driven proportion allocator for real-rate scheduling<>osdi<>calton pu<>
4392<>3480_6<>ling liu:wei tang<>continual queries for internet scale event-driven information delivery<>tkde<>calton pu<>
4397<>3480_11<>ling liu:wei han:david buttler:wei tang<>an xml-based wrapper generator for web information extraction<>sigmod<>calton pu<>
1023<>3491_0<>richard baskerville<>distinctions among different types of generalizing in information systems research<>ifip8-2<>allen s. lee<>
26694<>3504_0<>robert beals:william i. gasarch:jacobo toran<>on finding the number of graph automorphisms<>cjtcs<>richard chang<>
41029<>3521_1<>ralph j. faudree:odile favaron:evelyne flandrin:hao li<>on 2-factors in claw-free graphs<>dm<>zhenhong liu<>
18073<>3526_42<>xianchang wang:li-yan yuan<>compiling defeasible inheritance networks to general logic programs<>ai<>jia-huai you<>
18080<>3526_49<>neng-fa zhou:yi-dong shen:li-yan yuan<>a linear tabling mechanism<>iclp<>jia-huai you<>
6956<>3542_1<>vijay r. sar-dessai<>"resistive bridge fault modeling, simulation and test generation."<>itc<>d. m. h. walker<>
21126<>3544_2<>hiroshi nagamochi:toshihide ibaraki<>approximating the minimum k-way cut in a graph via minimum 3-way cuts<>isaac<>liang zhao<>
21137<>3545_0<>alan m. frieze<>optimal construction of edge-disjoint paths in random regular graphs<>soda<>lei zhao<>
34461<>3550_4<>mary-anne williams<>"a framework for multi-agent belief revision, part i: the role of ontology."<>ausai<>wei liu<>
36146<>3560_9<>marios c. papaefthymiou:eby g. friedman<>minimizing sensitivity to delay variations in high-performance synchronous circuits<>date<>xun liu<>
36152<>3560_15<>marios c. papaefthymiou:eby g. friedman<>maximizing performance by retiming and clock skew scheduling<>dac<>xun liu<>
12210<>3567_0<>nulo<>the ribonuclease p database<>nar<>james w. brown<>
12186<>3569_1<>nulo<>subdivisions and chromatic roots<>jct<>jason i. brown<>
22403<>3590_3<>harry buhrman:john tromp:paul m. b. vitanyi<>kolmogorov random graphs and the incompressibility method<>siamcomp<>ming li<>
22417<>3590_17<>louxin zhang<>twist-rotation transformations of binary trees and arithmetic expressions<>jal<>ming li<>
22419<>3590_19<>harry buhrman:tao jiang:paul m. b. vitanyi<>new applications of the incompressibility method<>icalp<>ming li<>
22424<>3590_24<>paul m. b. vitanyi<>"minimum description length induction, bayesianism, and kolmogorov complexity"<>corr<>ming li<>
22425<>3590_25<>tao jiang:paul m. b. vitanyi<>average-case complexity of shellsort<>icalp<>ming li<>
22427<>3590_27<>moses charikar:chandra chekuri:to-yat cheung:zuo dai:ashish goel:sudipto guha<>approximation algorithms for directed steiner problems<>jal<>ming li<>
22438<>3590_38<>tao jiang:paul m. b. vitanyi<>new applications of the incompressibility method<>cj<>ming li<>
22441<>3590_41<>tao jiang:paul m. b. vitanyi<>average-case complexity of shellsort<>corr<>ming li<>
22442<>3590_42<>tao jiang:paul m. b. vitanyi<>the expected size of heilbronn's triangles<>coco<>ming li<>
29121<>3597_0<>sun-fa ho:jian tang<>mining exception instances to facilitate workflow exception handling<>dasfaa<>san-yih hwang<>
18302<>3606_0<>jianbo gao:jiangchuan liu<>figure-ground separation by a dynamical system<>tip<>jun zhang<>
33752<>3608_2<>david guijarro:victor lavin<>exact learning when irrelevant variables abound<>ipl<>vijay raghavan<>
33761<>3608_11<>david guijarro:victor lavin<>exact learning when irrelevant variables abound<>eurocolt<>vijay raghavan<>
33746<>3610_3<>aladdin hafez:jitender s. deogun<>the item-set tree: a data structure for data mining<>dawak<>vijay v. raghavan<>
16607<>3617_2<>d. scott alexander:william a. arbaugh:angelos d. keromytis<>security in active networks<>ecoopw<>jonathan m. smith<>
16596<>3619_5<>sandra de f. mendes sampaio:norman w. paton:paul watson<>a parallel algebra for object databases<>dexaw<>jim smith<>
19966<>3621_0<>nulo<>"geolocation for partially polarized electromagnetic sources using multiple sparsely and uniformly spaced ""spatially stretched vector sensors""."<>iscas<>k. t. wong<>
9301<>3629_0<>michael shyu:yu-dong chang:yao-wen chang<>generic universal switch blocks<>iccd<>guang-ming wu<>
6968<>3636_5<>karl crary:j. gregory morrisett<>typed memory management in a calculus of capabilities<>popl<>david walker<>
6971<>3636_8<>j. gregory morrisett:karl crary:neal glew<>from system f to typed assembly language<>toplas<>david walker<>
16512<>3656_3<>chung-sheng li<>image classification and querying using composite region templates<>cviu<>john r. smith<>
16514<>3656_5<>nulo<>videozoom spatio-temporal video browser<>tmm<>john r. smith<>
16522<>3656_13<>shih-fu chang<>integrated spatial and feature image query<>mms<>john r. smith<>
16528<>3656_19<>rakesh mohan:chung-sheng li<>scalable multimedia delivery for pervasive computing<>mm<>john r. smith<>
16543<>3656_34<>rakesh mohan:chung-sheng li<>adapting multimedia internet content for universal access<>tmm<>john r. smith<>
16557<>3656_48<>rakesh mohan:chung-sheng li<>adapting content to client resources in the internet<>icmcs<>john r. smith<>
16564<>3661_5<>chris dodge<>developments in steganography<>ih<>joshua r. smith<>
32157<>3677_0<>john r. gilbert:sivan toledo<>toward an efficient column minimum degree code for symmetric multiprocessors<>ppsc<>tzu-yi chen<>
32114<>3681_3<>nulo<>task migration in 2d wormhole-routed mesh multicomputers<>ishpc<>tzung-shi chen<>
32101<>3690_12<>ming-yang kao<>on the informational asymmetry between upper and lower bounds for ultrametric evolutionary trees<>esa<>ting chen<>
32102<>3690_13<>hongyu l. he:george m. church<>modeling gene expression with differential equations<>psb<>ting chen<>
21985<>3697_0<>zoubin ghahramani:tommi jaakkola:lawrence k. saul<>an introduction to variational methods for graphical models<>ml<>michael i. jordan<>
34136<>3701_0<>nulo<>a ``next generation'' architecture for http<>internet<>william c. janssen jr.<>
8429<>3716_5<>nulo<>automatic verification of pointer data-structure systems for all numbers of processes<>fm<>farn wang<>
8433<>3716_9<>pao-ann hsiung:yue-sun kuo<>verification of concurrent client-server real-time scheduling systems<>rtcsa<>farn wang<>
8440<>3716_16<>pao-ann hsiung:yue-sun kuo<>scheduling system verification<>tacas<>farn wang<>
8441<>3716_17<>pao-ann hsiung<>user-friendly verification<>forte<>farn wang<>
8443<>3716_19<>chia-tien dan lo<>procedure-level verification of real-time concurrent systems<>rts<>farn wang<>
8399<>3720_5<>francis y. l. chin:cao an wang<>maximum stabbing line in 2d plane<>cocoon<>fu lee wang<>
36746<>3730_2<>toshinori yoshikawa<>design of symmetric orthonormal wavelet filters using a single complex allpass filter<>iscas<>xi zhang<>
36731<>3732_4<>guozhu dong:limsoon wong:jinyan li<>caep: classification by aggregating emerging patterns<>dis<>xiuzhen zhang<>
36738<>3732_11<>yanchun zhang:joseph fong:xiaohua jia<>transforming rdb schema into well-structured oodb schema<>infsof<>xiuzhen zhang<>
884<>3752_0<>james a. landay:lawrence a. rowe<>implications for a gesture design tool<>chi<>allan christian long jr.<>
13995<>3766_44<>sachin s. sapatnekar<>far-ds: full-plane awe routing with driver sizing<>dac<>jiang hu<>
8296<>3772_35<>olivier devillers<>further results on arithmetic filters for geometric predicates<>corr<>franco p. preparata<>
8297<>3772_36<>alan m. frieze:eli upfal<>on the power of universal bases in sequencing by hybridization<>recomb<>franco p. preparata<>
8334<>3772_73<>alan m. frieze:eli upfal<>optimal reconstruction of a sequence from its probes<>jcb<>franco p. preparata<>
8365<>3772_104<>olivier devillers<>further results on arithmetic filters for geometric predicates<>comgeo<>franco p. preparata<>
32568<>3781_13<>naoki chiba<>a tracker for broken and closely spaced lines<>scjapan<>takeo kanade<>
32586<>3781_31<>mei chen:dean pomerleau:jeff g. schneider<>3-d deformable registration of medical images using a statistical atlas<>miccai<>takeo kanade<>
32590<>3781_35<>daniel d. morris:ken-ichi kanatani<>uncertainty modeling for optimal structure from motion<>iccvw<>takeo kanade<>
32591<>3781_36<>omead amidi:keisuke fujita<>a visual odometer for autonomous helicopter flight<>ras<>takeo kanade<>
32594<>3781_39<>mei chen:dean pomerleau:henry a. rowley<>anomaly detection through registration<>pr<>takeo kanade<>
32623<>3781_68<>sundar vedula:simon baker:peter rander:robert t. collins<>three-dimensional scene flow<>iccv<>takeo kanade<>
32635<>3781_80<>makoto kimura:hideo saito<>3d voxel construction based on epipolar geometry<>icip<>takeo kanade<>
16946<>3812_21<>nulo<>measurement and continuous improvement of software reliability throughout software life-cycle<>jss<>jeff tian<>
15346<>3851_0<>noureddine mouaddib<>multimedia and databases: a survey<>nis<>jose martinez<>
15353<>3851_7<>franck barbeau<>othy: object to hypermedia<>caise<>josi martinez<>
15354<>3851_8<>panrit tosukhowong:frederic andres:kinji ono:nicolas dessaigne:noureddine mouaddib:douglas c. schmidt<>a flexible image search engine<>mm<>jose martinez<>
36509<>3855_8<>danny z. chen:ovidiu daescu:xiaobo hu:jinhui xu<>determining an optimal penetration among weighted regions in two and three dimensions<>compgeom<>xiaodong wu<>
28679<>3860_2<>tamal k. dey:herbert edelsbrunner:michael a. facello:shang-hua teng<>sliver exudation<>compgeom<>siu-wing cheng<>
28688<>3860_11<>tamal k. dey<>approximate minimum weight steiner triangulation in three dimensions<>soda<>siu-wing cheng<>
28696<>3862_5<>nulo<>backtrack routing and priority-based wavelength assignment in wdm networks<>comcom<>sheng-tzong cheng<>
28674<>3867_10<>zixiang xiong:jian qiao huang<>trellis coded color quantization of images<>icip<>samuel s. cheng<>
4245<>3872_2<>debra j. richardson<>"towards discovery, specification, and verification of component usage."<>kbse<>chang liu<>
27554<>3877_3<>kevin s. beyer:jonathan goldstein:uri shaft<>when is ''nearest neighbor'' meaningful?<>icdt<>raghu ramakrishnan<>
27560<>3877_9<>johannes gehrke:venkatesh ganti:wei-yin loh<>boat-optimistic decision tree construction<>sigmod<>raghu ramakrishnan<>
27563<>3877_12<>venkatesh ganti:johannes gehrke<>cactus - clustering categorical data using summaries<>kdd<>raghu ramakrishnan<>
27568<>3877_17<>donko donjerkovic<>probabilistic optimization of top n queries<>vldb<>raghu ramakrishnan<>
27573<>3877_22<>kevin s. beyer<>bottom-up computation of sparse and iceberg cubes<>sigmod<>raghu ramakrishnan<>
27574<>3877_23<>venkatesh ganti:johannes gehrke<>a framework for measuring changes in data characteristics<>pods<>raghu ramakrishnan<>
6137<>3888_6<>thomas v. thompson ii:matthew kaplan:donald d. nelson:elaine cohen<>painting textures with a haptic interface<>vr<>david e. johnson<>
6138<>3888_7<>elaine cohen<>bound coherence for minimum distance computations<>icra<>david e. johnson<>
6063<>3890_0<>janos csirik:claire kenyon:peter w. shor:richard r. weber<>a self organizing bin packing heuristic<>alenex<>david s. johnson<>
38179<>3893_1<>seong geun kwak:sook han kim<>web-based simulation with server application approach under distributed environment<>simvis<>young hae lee<>
38167<>3894_32<>c. mani krishna<>voltage-clock scaling for low energy consumption in real-time embedded systems<>rtcsa<>yann-hang lee<>
38214<>3901_2<>kwong-sak leung:mahadev satyanarayanan<>operation-based update propagation in a mobile file system<>usenix<>yui-wah lee<>
19233<>3930_9<>jason tsong-li wang:xiong wang:dennis shasha:bruce a. shapiro:kaizhong zhang<>evaluating a class of distance-mapping algorithms for data mining and clustering<>kdd<>king-ip lin<>
22600<>3935_5<>martin sutton:joseph f. ryan:slamin<>connected graphs which are not mod sum graphs<>dm<>mirka miller<>
19261<>3944_20<>yu-chung wang<>implementing a general real-time scheduling framework in the red-linux real-time kernel<>rtss<>kwei-jay lin<>
32699<>3958_2<>mark girolami:terrence j. sejnowski<>independent component analysis using an extended infomax algorithm for mixed sub-gaussian and super-gaussian sources<>neco<>te-won lee<>
35860<>3966_5<>nulo<>exploring single stack architecture for prolog<>appinf<>xining li<>
35788<>3974_1<>shang-hua teng:alper ongor<>simultaneous refinement and coarsening for adaptive meshing<>ewc<>xiang-yang li<>
35815<>3974_28<>shang-hua teng:alper ongor<>biting spheres in 3d<>imr<>xiang-yang li<>
35820<>3974_33<>shang-hua teng<>practical human-machine identification over insecure channels<>jco<>xiang-yang li<>
2386<>3975_6<>pin-kwang eng:kian-lee tan<>building cyberbroker in digital marketplaces using java and corba<>dexa<>beng chin ooi<>
2405<>3975_25<>kian-lee tan:cheng hian goh:mong-li lee<>efficient join processing using partial precomputation<>kais<>beng chin ooi<>
2406<>3975_26<>cheng hian goh:d. sim:kian-lee tan<>ghost: fine granularity buffering of indexes<>vldb<>beng chin ooi<>
2418<>3975_38<>bin lan:stephane bressan:y. c. tay<>making web servers pushier<>kdd<>beng chin ooi<>
2421<>3975_41<>elisa bertino<>the indispensability of dispensable indexes<>tkde<>beng chin ooi<>
2446<>3975_66<>kian-lee tan:cheng hian goh<>online feedback for nested aggregate queries with multi-threading<>vldb<>beng chin ooi<>
2462<>3975_82<>ke wang:sam yuan sung<>p-tree: a b-tree index for lists<>dasfaa<>beng chin ooi<>
33118<>4000_17<>ian p. gent:kostas stergiou<>decomposable constraints<>compulog<>toby walsh<>
33135<>4000_34<>kostas stergiou<>encodings of non-binary constraint satisfaction problems<>aaai<>toby walsh<>
33152<>4000_51<>nulo<>search in a small world<>ijcai<>toby walsh<>
33156<>4000_55<>simon colton:alan bundy<>automatic concept formation in pure mathematics<>ijcai<>toby walsh<>
33182<>4000_81<>kostas stergiou<>the difference all-difference makes<>ijcai<>toby walsh<>
33099<>4001_6<>leonid m. koganov:valery a. liskovets<>total vertex enumeration in rooted planar maps<>arscom<>timothy r. s. walsh<>
28836<>4004_0<>john d. holt<>efficient mining of association rules in text databases<>cikm<>soon myoung chung<>
23970<>4009_7<>bede liu<>digital watermarking using shuffling<>icip<>min wu<>
23992<>4017_2<>alejandro p. buchmann<>supporting group-by and pipelining in bitmap-enabled query processors<>sofsem<>ming-chuan wu<>
23994<>4017_4<>nulo<>query optimization for selections using bitmaps<>sigmod<>ming-chuan wu<>
32648<>4019_0<>naehyuck chang:namyun kim:heonshik shin<>scheduling garbage collector for embedded real-time systems<>lctrts<>taehyoun kim<>
40336<>4029_1<>michael cuviello:sujit dey:xiaoliang bai<>fault modeling and simulation for crosstalk in system-on-chip interconnects<>iccad<>yi zhao<>
19645<>4033_0<>elizabeth a. m. shriver:christopher small<>why does file system prefetching work?<>usenix<>keith a. smith<>
19647<>4033_2<>margo i. seltzer:david krinsky:xiaolan zhang<>the case for application-specific benchmarking<>hotos<>keith a. smith<>
32674<>4045_0<>jinsoo you<>an integrated urban systems model with gis<>jgs<>tschangho john kim<>
5530<>4067_0<>chengzheng sun<>intention preservation by object replication in cooperative graphics editing systems<>codas<>david chen<>
5542<>4067_12<>chengzheng sun<>a distributed algorithm for graphic objects replication in real-time group editors<>group<>david chen<>
5515<>4069_1<>aloysius k. mok:tei-wei kuo<>utilization bound re-visited<>rtcsa<>deji chen<>
5517<>4069_3<>aloysius k. mok<>srde-application of data similarity to process control<>rtss<>deji chen<>
5518<>4069_4<>aloysius k. mok:mark nixon<>real-time support in com<>hicss<>deji chen<>
5524<>4069_10<>sanjoy k. baruah:sergey gorinsky:aloysius k. mok<>generalized multiframe tasks<>rts<>deji chen<>
33612<>4070_23<>margaret h. dunham<>impact of mobility on transaction management<>mobide<>vijay kumar<>
33629<>4074_1<>jaideep srivastava<>high performance data mining<>hipc<>vipin kumar<>
33807<>4081_0<>tingxiu zhong<>the study on the nonlinear computations of the dq and dc methods<>corr<>w. chen<>
33817<>4081_10<>nulo<>generalized linearization in nonlinear modeling of data<>corr<>w. chen<>
33639<>4082_3<>anurag srivastava:eui-hong han:vineet singh<>parallel formulations of decision-tree classification algorithms<>datamine<>vipin kumar<>
23276<>4085_9<>martin erwig<>developments in spatio-temporal query languages<>dexaw<>markus schneider<>
23290<>4085_23<>martin erwig:ralf hartmut guting:michalis vazirgiannis<>spatio-temporal data types: an approach to modeling and querying moving objects in databases<>geoinformatica<>markus schneider<>
23296<>4085_29<>nulo<>uncertainty management for spatial data in databases: fuzzy spatial data types<>ssd<>markus schneider<>
23303<>4085_36<>martin erwig<>the honeycomb model of spatio-temporal partitions<>stdbm<>markus schneider<>
33843<>4088_5<>marcos kawazoe aguilera:sam toueg<>using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks<>tcs<>wei chen<>
576<>4097_0<>darrin lemmer:szu-wen lin<>a gaas dcfl implementation of a bcd calculator: an reu project<>cata<>ashok k. goel<>
569<>4099_3<>david c. steere:joshua gruenberg:dylan mcnamee:calton pu:jonathan walpole<>a feedback-driven proportion allocator for real-rate scheduling<>osdi<>ashvin goel<>
527<>4101_3<>shang-tse chuang:nick mckeown:balaji prabhakar<>matching output queueing with a combined input output queued switch<>infocom<>ashish goel<>
538<>4101_14<>nulo<>stability of networks and protocols in the adversarial queueing model for packet routing<>soda<>ashish goel<>
545<>4101_21<>piotr indyk<>stochastic load balancing and related problems<>focs<>ashish goel<>
551<>4101_27<>moses charikar:chandra chekuri:to-yat cheung:zuo dai:sudipto guha:ming li<>approximation algorithms for directed steiner problems<>jal<>ashish goel<>
7700<>4102_19<>therese c. biedl:martin l. demaine:sylvain lazard:anna lubiw:joseph o'rourke:steve robbins:ileana streinu:godfried t. toussaint:sue whitesides<>on reconfiguring tree linkages: trees can lock<>corr<>erik d. demaine<>
7710<>4102_29<>j. ian munro<>fast allocation and deallocation with an improved buddy system<>fsttcs<>erik d. demaine<>
7726<>4102_45<>therese c. biedl:martin l. demaine:sylvain lazard:anna lubiw:joseph o'rourke:mark h. overmars:steve robbins:ileana streinu:godfried t. toussaint:sue whitesides<>locked and unlocked polygonal chains in 3d<>corr<>erik d. demaine<>
7727<>4102_46<>therese c. biedl:martin l. demaine:sylvain lazard:anna lubiw:joseph o'rourke:mark h. overmars:steve robbins:ileana streinu:godfried t. toussaint:sue whitesides<>locked and unlocked polygonal chains in 3d<>soda<>erik d. demaine<>
7730<>4102_49<>marshall w. bern:david eppstein:eric kuo<>ununfoldable polyhedra<>cccg<>erik d. demaine<>
7735<>4102_54<>martin l. demaine:david eppstein:erich friedman<>hinged dissections of polyominoes and polyforms<>cccg<>erik d. demaine<>
7737<>4102_56<>therese c. biedl:prosenjit bose:anna lubiw<>efficient algorithms for petersen's matching theorem<>soda<>erik d. demaine<>
7743<>4102_62<>marshall w. bern:david eppstein:eric kuo:andrea mantler:jack snoeyink<>ununfoldable polyhedra with convex faces<>corr<>erik d. demaine<>
7749<>4102_68<>martin l. demaine:david eppstein:greg n. frederickson:erich friedman<>hinged dissection of polyominoes and polyforms<>corr<>erik d. demaine<>
7762<>4102_81<>joseph o'rourke<>computational geometry column 37<>corr<>erik d. demaine<>
7770<>4102_89<>martin l. demaine:anna lubiw<>folding and one straight cut suffice<>soda<>erik d. demaine<>
7781<>4102_100<>martin l. demaine:joseph s. b. mitchell<>folding flat silhouettes and wrapping polyhedral packages: new results in computational origami<>compgeom<>erik d. demaine<>
21764<>4103_3<>wynn c. stirling<>satisficing games<>isci<>michael a. goodrich<>
21661<>4104_0<>john g. kloss ii<>tiered vectors: efficient dynamic arrays for rank-based sequences<>wads<>michael t. goodrich<>
21689<>4104_28<>mark handy:benoit hudson:roberto tamassia<>accessing the internal organization of data structures in the jdsl library<>alenex<>michael t. goodrich<>
21693<>4104_32<>ryan shaun baker:michael boilen:roberto tamassia:b. aaron stibel<>testers and visualizers for teaching data structures<>sigcse<>michael t. goodrich<>
21695<>4104_34<>christian a. duncan:stephen g. kobourov<>planarity-preserving clustering and embedding for large planar graphs<>gd<>michael t. goodrich<>
21710<>4104_49<>roberto tamassia<>using randomization in the teaching of data structures and algorithms<>sigcse<>michael t. goodrich<>
21715<>4104_54<>nulo<>communication-efficient parallel sorting<>siamcomp<>michael t. goodrich<>
21721<>4104_60<>gill barequet:christian a. duncan:subodh kumar:mihai pop<>efficient perspective-accurate silhouette computation<>compgeom<>michael t. goodrich<>
21726<>4104_65<>gill barequet:christian a. duncan:stina s. bridgeman:roberto tamassia<>geomnet: geometric computing over the internet<>internet<>michael t. goodrich<>
21757<>4104_96<>c. c. cheng:christian a. duncan:stephen g. kobourov<>drawing planar graphs with circular arcs<>gd<>michael t. goodrich<>
27018<>4105_7<>anne condon<>algorithms for graph partitioning on the planted partition model<>random<>richard m. karp<>
27025<>4105_14<>roland stoughton:ka yee yeung<>algorithms for choosing differential gene expression experiments<>recomb<>richard m. karp<>
27060<>4105_49<>itsik pe'er:ron shamir<>an algorithm combining discrete and continuous methods for optical mapping<>ismb<>richard m. karp<>
27106<>4105_95<>daniel p. fasulo:tao jiang:reuben settergren:edward c. thayer<>an algorithmic approach to multiple complete digest mapping<>jcb<>richard m. karp<>
27120<>4105_109<>claire kenyon:orli waarts<>error-resilient dna computation<>rsa<>richard m. karp<>
35544<>4108_0<>tom hintz<>a parallel algorithm for object contour extraction within a spiral architecture<>pdpta<>xiangjian he<>
35549<>4109_1<>zhi-zhong chen:chun-hsi huang<>finding double euler trails of planar graphs in linear time<>focs<>xin he<>
35512<>4110_4<>shikun zhou:hongji yang:paul luker<>a useful approach to developing reverse engineering metrics<>compsac<>xudong he<>
35513<>4110_5<>william c. chu:c. p. hsu:chih-wei lu<>a semi-formal approach to assist software design with reuse<>icsm<>xudong he<>
35519<>4110_11<>jiacun wang:yi deng<>introducing software architecture specification and analysis in sam through an example<>infsof<>xudong he<>
35522<>4110_14<>william c. chu:hongji yang:stephen j. h. yang<>a new approach to verify rule-based systems using petri nets<>compsac<>xudong he<>
35501<>4112_10<>ming-yang kao:hsueh-i lu<>a fast general methodology for information - theoretically optimal encodings of graphs<>esa<>xin he<>
33588<>4121_2<>h. ramesh<>covering rectilinear polygons with axis-parallel rectangles<>stoc<>v. s. anil kumar<>
33555<>4122_5<>thomas sugar<>multiple cooperating mobile manipulators<>icra<>vijay kumar<>
33560<>4122_10<>mohamed ouerfelli:william s. harwin<>kinematic modeling of head-neck movements<>tsmc<>vijay kumar<>
33569<>4122_19<>thomas sugar<>control and coordination of multiple mobile robots in manipulation and material handling tasks<>iser<>vijay kumar<>
33574<>4122_24<>milos zefran:christopher croke<>metrics and connections for rigid-body kinematics<>ijrr<>vijay kumar<>
26308<>4167_0<>yiu-wing leung<>an orthogonal genetic algorithm for multimedia multicast routing<>tec<>qingfu zhang<>
11217<>4178_0<>yining deng:b. s. manjunath<>color image segmentation<>cvpr<>hyundoo shin<>
3207<>4198_2<>fung yu young:d. f. wong<>generation of universal series-parallel boolean functions<>jacm<>chris c. n. chu<>
3208<>4198_3<>martin d. f. wong<>an efficient and optimal algorithm for simultaneous buffer and wire sizing<>tcad<>chris c. n. chu<>
3217<>4198_12<>martin d. f. wong<>a quadratic programming approach to simultaneous buffer insertion/sizing and wire sizing<>tcad<>chris c. n. chu<>
3222<>4198_17<>chung-ping chen:martin d. f. wong<>fast and exact simultaneous gate and wire sizing by lagrangian relaxation<>tcad<>chris c. n. chu<>
3223<>4198_18<>martin d. f. wong<>greedy wire-sizing is linear time<>tcad<>chris c. n. chu<>
13057<>4200_0<>paola sebastiani:marco ramoni:paul r. cohen:john warwick<>discovering dynamics using bayesian clustering<>ida<>james davis<>
34016<>4205_4<>peter buneman:scott weinstein<>interaction between path and type constraints<>pods<>wenfei fan<>
34028<>4205_16<>peter buneman:scott weinstein<>query optimization for semistructured data using path constraints in a deterministic data model<>dbpl<>wenfei fan<>
795<>4208_0<>eileen scanlon:canan tosunoglu blake:erica morris:shelagh ross:phil butcher:joel greenberg<>contexts for evaluating educational software<>iwc<>ann jones<>
27674<>4212_8<>bernhard pollwein:lothar gierl<>case-based reasoning for antibiotics therapy advice<>iccbr<>rainer schmidt<>
27675<>4212_9<>bernhard pollwein:lothar gierl<>experiences with case-based reasoning methods and prototypes for medical knowledge-based systems<>aimdm<>rainer schmidt<>
27629<>4222_11<>ullrich hustadt<>an empirical analysis of modal theorem provers<>jancl<>renate a. schmidt<>
27632<>4222_14<>ullrich hustadt<>on the relation of resolution and tableaux proof systems for description logics<>ijcai<>renate a. schmidt<>
27643<>4222_25<>nulo<>decidability by resolution for propositional modal logics<>jar<>renate a. schmidt<>
27645<>4222_27<>ullrich hustadt<>maslov's class k revisited<>cade<>renate a. schmidt<>
27648<>4222_30<>ullrich hustadt:christoph weidenbach<>mspass: subsumption testing with spass<>dlog<>renate a. schmidt<>
16657<>4231_0<>edmund k. burke<>a memetic algorithm to schedule planned maintenance for the national grid<>jea<>james smith<>
30338<>4241_28<>peixin zhong:margaret martonosi:pranav ashar<>using configurable computing to accelerate boolean satisfiability<>tcad<>sharad malik<>
30355<>4241_45<>yau-tsun steven li:andrew wolfe<>performance estimation of embedded software with instruction cache modeling<>todaes<>sharad malik<>
30381<>4241_71<>ying zhao<>exact memory size estimation for array computations without loop unrolling<>dac<>sharad malik<>
38056<>4263_0<>dong-ho shin:sun kim:jae-hong eom:hyung-joo shin:byoung-tak zhang<>scai trec-8 experiments<>trec<>yu-hwan kim<>
22654<>4280_17<>benny pinkas:reuban sumner<>privacy preserving auctions and mechanism design<>sigecom<>moni naor<>
22708<>4280_71<>cynthia dwork:omer reingold:larry j. stockmeyer<>magic functions<>focs<>moni naor<>
22719<>4280_82<>omer reingold<>synthesizers and their application to the parallel construction of pseudo-random functions<>jcss<>moni naor<>
22738<>4280_101<>matt blaze:joan feigenbaum<>a formal treatment of remotely keyed encryption<>soda<>moni naor<>
20855<>4301_25<>ke chen:huishen chi<>improved learning algorithms for mixture of experts in multiclass classification<>nn<>lei xu<>
221<>4302_21<>sanjay goil<>a parallel scalable infrastructure for olap and data mining<>ideas<>alok n. choudhary<>
239<>4302_39<>wei-keng liao:donald weiner:pramod k. varshney<>multi-threaded design and implementation of parallel pipelined stap on parallel computers with smp nodes<>ipps<>alok n. choudhary<>
245<>4302_45<>wei-keng liao:donald weiner:pramod k. varshney<>i/o implementation and evaluation of parallel pipelined stap on high performance computers<>hipc<>alok n. choudhary<>
263<>4302_63<>mahmut t. kandemir:j. ramanujam:prithviraj banerjee<>a framework for interprocedural locality optimization using both loop and data layout transformations<>icpp<>alok n. choudhary<>
281<>4302_81<>divyesh jadav:p. bruce berra<>techniques for increasing the stream capacity of a high-performance multimedia server<>tkde<>alok n. choudhary<>
285<>4302_85<>mahmut t. kandemir:j. ramanujam:prithviraj banerjee<>a matrix-based approach to global locality optimization<>jpdc<>alok n. choudhary<>
293<>4302_93<>mahmut t. kandemir:harsha s. nagesh:jaechun no:xiaohui shen:valerie e. taylor:sachin more:rajeev thakur<>data management for large-scale scientific computations in high performance distributed systems<>hpdc<>alok n. choudhary<>
298<>4302_98<>mahmut t. kandemir:j. ramanujam:prithviraj banerjee<>on reducing false sharing while improving locality on shared memory multiprocessors<>IEEEpact<>alok n. choudhary<>
302<>4302_102<>mahmut t. kandemir:nagaraj shenoy:prithviraj banerjee:j. ramanujam<>a linear algebra framework for automatic determination of optimal data layouts<>tpds<>alok n. choudhary<>
305<>4302_105<>sanjay goil<>design and implementation of a scalable parallel system for multidimensional analysis and olap<>ipps<>alok n. choudhary<>
311<>4302_111<>mahmut t. kandemir:j. ramanujam:prithviraj banerjee<>improving locality using a graph-based technique for detecting memory layouts of arrays<>ppsc<>alok n. choudhary<>
329<>4302_129<>mahmut t. kandemir:j. ramanujam<>restructuring i/o-intensive computations for locality<>hpcn<>alok n. choudhary<>
331<>4302_131<>sanjay goil<>an infrastructure for scalable parallel multidimensional analysis<>ssdbm<>alok n. choudhary<>
332<>4302_132<>mahmut t. kandemir:prithviraj banerjee:j. ramanujam:eduard ayguade<>an integer linear programming approach for optimizing cache locality<>ics<>alok n. choudhary<>
347<>4302_147<>jesus carretero:jaechun no<>optimizing i/o for irregular applications on distributed-memory machines<>acpc<>alok n. choudhary<>
349<>4302_149<>mahmut t. kandemir:j. ramanujam<>compiler optimizations for i/o-intensive computations<>icpp<>alok n. choudhary<>
20548<>4308_3<>zhongfu zhang:baogen xu:yinzhen li<>a note on the lower bounds of signed domination number of a graph<>dm<>linzhong liu<>
20459<>4309_15<>nulo<>query routing in large-scale digital library systems<>icde<>ling liu<>
20487<>4309_43<>tong zhou:calton pu<>tam: a system for dynamic transactional activity management<>sigmod<>ling liu<>
20505<>4309_61<>zahir tari:xue li<>type safety in the context of method updates<>jiis<>ling liu<>
20510<>4309_66<>calton pu:wei tang<>continual queries for internet scale event-driven information delivery<>tkde<>ling liu<>
20533<>4309_89<>wei han:david buttler:calton pu:wei tang<>an xml-based wrapper generator for web information extraction<>sigmod<>ling liu<>
20538<>4310_2<>nulo<>local computation of gaussian belief functions<>ijar<>liping liu<>
20559<>4318_0<>stan sclaroff<>deformable shape detection and description via model-based region<>cvpr<>lifeng liu<>
20560<>4318_1<>stan sclaroff<>automatic deformable shape segmentation for image database search applications<>visual<>lifeng liu<>
25632<>4324_3<>nulo<>parallel matching of 3d articulated object recognition<>ijprai<>patrick shen-pei wang<>
25634<>4324_5<>karim m. hussein:arun agarwal:amar gupta<>a knowledge-based segmentation algorithm for enhanced recognition of handwritten courtesy amounts<>pr<>patrick shen-pei wang<>
16288<>4333_17<>rocio abascal<>x-tract: structure extraction from botanical textual descriptions<>spire<>j. alfredo sanchez<>
38589<>4350_17<>scott d. stoller<>dynamic programming via static incrementalization<>esop<>yanhong a. liu<>
38595<>4350_23<>scott d. stoller<>eliminating dead code on recursive data<>sas<>yanhong a. liu<>
38609<>4350_37<>steven d. johnson:yuchen zhang<>a systematic incrementalization technique and its application to hardware design<>charme<>yanhong a. liu<>
38569<>4351_1<>m. beck:prabhudev konana:guangtian liu:aloysius k. mok<>active and real-time functionalities for electronic brokerage design<>wecwis<>yanbin liu<>
38732<>4374_7<>xin yao<>ensemble learning via negative correlation<>nn<>yong liu<>
38736<>4374_11<>xin yao<>simultaneous training of negatively correlated neural networks in an ensemble<>tsmc<>yong liu<>
38740<>4374_15<>xin yao:guangming lin<>evolutionary programming made faster<>tec<>yong liu<>
38753<>4383_1<>sven koenig<>sensor planning with non-linear utility functions<>ecp<>yaxin liu<>
6035<>4386_2<>werner damm<>lscs: breathing life into message sequence charts<>fmoods<>david harel<>
9251<>4388_14<>bettina klinz<>the steiner tree problem in kalmanson matrices and in circulant matrices<>jco<>gerhard j. woeginger<>
9256<>4388_19<>bettina klinz<>a note on the bottleneck graph partition problem<>networks<>gerhard j. woeginger<>
40356<>4389_2<>yan zhou:john l. lowther:ching-kuang shene<>teaching surface design made easy<>sigcse<>yuan zhao<>
40370<>4396_0<>robert prince:jianwen su:hong tang<>the design of an interactive online help desk in the alexandria digital library<>wacc<>yonggang zhao<>
20189<>4427_3<>rupesh choubey:elke a. rundensteiner<>gbi: a generalized r-tree bulk-insertion strategy<>ssd<>li chen<>
20194<>4427_8<>elke a. rundensteiner:kajal t. claypool:ming li:xin zhang:chandrakant natarajan:jing jin:stacia de lima:s. weiner<>serf: odmg-based generic re-structuring facility<>sigmod<>li chen<>
20197<>4434_0<>santi saeyor:hiroshi dohi:mitsuru ishizuka<>a system of 3d hair style synthesis based on the wisp model<>vc<>lieu-hen chen<>
20200<>4435_2<>jun-fu shen:hao-chieh chang:tu-chih wang<>low power full-search block-matching motion estimation chip for h.263+<>iscas<>liang-gee chen<>
14696<>4461_1<>robert m. gray:richard a. olshen<>joint image compression and classification with vector quantization and a two dimensional hidden markov model<>dcc<>jia li<>
14705<>4461_10<>navin chaddha:robert m. gray<>asymptotic performance of vector quantizers with a perceptual distortion measure<>tit<>jia li<>
14721<>4461_26<>robert m. gray<>image classification based on a multiresolution two dimensional hidden markov model<>icip<>jia li<>
16455<>4485_5<>paulo marques:luis moura silva<>security mechanisms for using mobile agents in electronic commerce<>srds<>joao gabriel silva<>
16457<>4485_7<>joao carlos cunha:mario zenha rela<>can software implemented fault-injection be used on real-time systems?<>edcc<>joao gabriel silva<>
16460<>4485_10<>luis moura silva<>an experimental evaluation of coordinated checkpointing in a parallel machine<>edcc<>joao gabriel silva<>
16462<>4485_12<>pedro v. silva<>implementing mpi-2 extended collective operations<>pvm<>joao gabriel silva<>
16467<>4485_17<>luis moura silva<>the performance of coordinated and independent checkpointing<>ipps<>joao gabriel silva<>
16483<>4485_33<>paula prata<>fault-detection by result-checking for the eigenproblem<>edcc<>joao gabriel silva<>
16442<>4491_24<>luis guerra e silva:luis miguel silveira<>algorithms for solving boolean satisfiability in combinational circuits<>date<>joao p. marques silva<>
28894<>4494_4<>xin he<>scalable self-stabilization<>wss<>sukumar ghosh<>
28909<>4494_19<>steven c. bruell:mehmet hakan karaata:sriram v. pemmaraju<>self-stabilizing algorithms for finding centers and medians of trees<>siamcomp<>sukumar ghosh<>
28929<>4497_0<>s. lakshminarayanan:n. balakrishnan<>implementation of mpi over http<>hpcn<>s. s. ghosh<>
7576<>4498_38<>wen-syan li:quoc vu:divyakant agrawal:kyoji hirata:sougata mukherjea:yi-leh wu:corey bufi:kevin chen-chuan chang:yoshinori hara:reiko ito:yutaka kimura:kazuyuki shimazu:yukiyoshi saito<>"powerbookmarks: a system for personalizable web information organization, sharing, and management."<>sigmod<>edward y. chang<>
12565<>4525_1<>srinivas bangalore:k. vijay-shanker<>new models for improving supertag disambiguation<>eacl<>john chen<>
5299<>4532_0<>yuefeng li<>information-based cooperation in multiple agent systems<>ausai<>chengqi zhang<>
5301<>4532_2<>zili zhang<>a serving agent for integrating soft computing and software agents<>ausai<>chengqi zhang<>
10401<>4533_4<>cristina bazgan:amel harkat-benhamdine:mariusz wozniak<>on the vertex-distinguishing proper edge-colorings of graphs<>jct<>hao li<>
10403<>4533_6<>ralph j. faudree:odile favaron:evelyne flandrin:zhenhong liu<>on 2-factors in claw-free graphs<>dm<>hao li<>
12549<>4562_13<>nulo<>a class of stratified programs in autoepistemic logic of knowledge and belief<>ismis<>jianhua chen<>
12535<>4564_0<>shuenn-shi chen:sao-jie chen:chia-chun tsai<>an even wiring approach to the ball grid array package routing<>iccd<>jong-jang chen<>
10983<>4566_6<>glenn s. iwerks<>integrating the natural environment into a gis for decision support<>gis<>hanan samet<>
10993<>4566_16<>aya soffer<>two data organizations for storing symbolic images in a relational database system<>ds<>hanan samet<>
11007<>4566_30<>arnon amir:alon efrat:piotr indyk<>efficient regular data structures and algorithms for location and proximity problems<>focs<>hanan samet<>
11021<>4566_44<>glenn s. iwerks<>the spatial spreadsheet<>visual<>hanan samet<>
11051<>4566_74<>gisli r. hjaltason<>distance browsing in spatial databases<>tods<>hanan samet<>
11077<>4566_100<>gisli r. hjaltason<>improved bulk-loading algorithms for quadtrees<>gis<>hanan samet<>
11110<>4566_133<>pedja bogdanovich<>the atree: a data structure to support very large scientific databases<>isd<>hanan samet<>
12593<>4584_0<>jih-ming fu<>hardware-software coverification of distributed embedded systems<>pdpta<>jsao-jie chen<>
35318<>4627_0<>nulo<>detecting and tolerating failures in a loosely integrated heterogeneous database system<>comcom<>wanlei zhou<>
35319<>4627_1<>li wang<>a tool for constructing service replication systems<>tools<>wanlei zhou<>
5132<>4635_0<>nulo<>a parallel library for large-scale sparse eigenvalue calculation on nec sx-4<>ppsc<>chao yang<>
26026<>4649_1<>tsau young lin<>first order rough logic-revisited<>rsfdgrc<>qing liu<>
11309<>4652_0<>fengrong ren:toshitsugu okayama:takashi gojobori<>topology selection in unrooted molecular phylogenetic tree by minimum model-based complexity method<>psb<>hiroshi tanaka<>
11316<>4654_4<>ichiro ide:reiko hamada:shuichi sakai<>relating graphical features with concept classes for automatic news video indexing<>ijcai<>hidehiko tanaka<>
36310<>4662_3<>jon w. mark<>mobility information for resource management in wireless atm networks<>cn<>xuemin shen<>
7078<>4663_5<>david b. leake<>when experience is wrong: examining cbr for changing tasks and environments<>iccbr<>david c. wilson<>
7082<>4663_9<>david b. leake<>"combining cbr with interactive knowledge acquisition, manipulation and reuse."<>iccbr<>david c. wilson<>
7084<>4663_11<>arijit sengupta:david b. leake<>constructing and transforming cbr implementations: techniques for corporate memory management<>iccbr<>david c. wilson<>
36351<>4671_4<>weifa liang<>permutation routing in all-optical product networks<>ipps<>xiaojun shen<>
36352<>4671_5<>yijie han<>parallel integer sorting is more efficient than parallel comparison sorting on exclusive write prams<>soda<>xiaojun shen<>
36365<>4671_18<>qing hu:yixin zhang<>rearrangeable graphs<>ipl<>xiaojun shen<>
36366<>4671_19<>fan yang:yi pan<>equivalent permutation capabilities between time division optical omega network and non-optical extra stage omega network<>ipccc<>xiaojun shen<>
2585<>4679_2<>achille c. varzi<>the formal structure of ecological contexts<>context<>barry smith<>
7110<>4680_0<>r. kalim<>semi-parallel rank-order filtering in analog vlsi<>iscas<>d. m. wilson<>
17490<>4699_1<>gang qu:miodrag potkonjak<>optimization-intensive watermarking techniques for decision problems<>dac<>jennifer l. wong<>
17499<>4699_10<>andrew e. caldwell:hyun-jin choi:andrew b. kahng:stefanus mantik:miodrag potkonjak:gang qu<>effective iterative techniques for fingerprinting design ip<>dac<>jennifer l. wong<>
17514<>4699_25<>andrew b. kahng:darko kirovski:stefanus mantik:miodrag potkonjak<>copy detection for intellectual property protection of vlsi designs<>iccad<>jennifer l. wong<>
17523<>4703_1<>oscar c. au:ming sun fu:peter h. w. wong:zihua guo<>hybrid inverse halftoning using adaptive filtering<>iscas<>justy w. c. wong<>
25302<>4710_7<>mayan moudgill:j. h. moreno<>"validation of turandot, a fast processor model for microarchitecture exploration."<>ipccc<>p. bose<>
25308<>4710_13<>nulo<>performance evaluation and validation of microprocessors<>sigmetrics<>pradip bose<>
27595<>4718_12<>mohamed-adel slamani:pramod k. varshney:mark g. alford:david ferris<>image processing tools for the enhancement of concealed weapon detection<>icip<>raghuveer m. rao<>
27603<>4718_20<>ajit s. bopardikar<>sampling systems matched to the input image class<>icip<>raghuveer m. rao<>
27606<>4718_23<>terrence j. sejnowski<>predictive sequence learning in recurrent neocortical circuits<>nips<>rajesh p. n. rao<>
25195<>4720_8<>pat morin<>testing the quality of manufactured balls<>wads<>prosenjit bose<>
25204<>4720_17<>pat morin<>online routing in triangulations<>isaac<>prosenjit bose<>
25205<>4720_18<>pat morin:ivan stojmenovic:jorge urrutia<>routing with guaranteed delivery in ad hoc wireless networks<>dialm<>prosenjit bose<>
25232<>4720_45<>jurek czyzowicz:evangelos kranakis:danny krizanc:dominic lessard<>near optimal-partitioning of rectangles and prisms<>cccg<>prosenjit bose<>
25233<>4720_46<>gill barequet:matthew dickerson<>optimizing constrained offset and scaled polygonal annuli<>wads<>prosenjit bose<>
25243<>4720_56<>albert chan:frank k. h. a. dehne:m. latzel<>coarse grained parallel maximum matching in convex bipartite graphs<>ipps<>prosenjit bose<>
25288<>4720_101<>therese c. biedl:erik d. demaine:anna lubiw<>efficient algorithms for petersen's matching theorem<>soda<>prosenjit bose<>
25290<>4720_103<>christos kaklamanis:lefteris m. kirousis:evangelos kranakis:danny krizanc:david peleg<>station layouts in the presence of location constraints<>isaac<>prosenjit bose<>
14110<>4737_0<>ji-tzay yang:feng-jian wang:william c. chu<>an object-oriented architecture supporting web application testing<>compsac<>jiun-long huang<>
14136<>4739_0<>jenn-yuan tsai:christoffer amlo:david j. lilja:pen-chung yew<>the superthreaded processor architecture<>tc<>jian huang<>
861<>4743_18<>bonnie l. webber:alistair knott:matthew stone<>discourse relations: a structural and presuppositional account using lexicalised tag<>acl<>aravind k. joshi<>
2181<>4764_1<>yang guo:james f. kurose:donald f. towsley:weibo gong<>fluid simulation of large scale networks: issues and tradeoffs<>pdpta<>benyuan liu<>
2193<>4765_5<>wynne hsu:yiming ma<>pruning and summarizing the discovered associations<>kdd<>bing liu<>
2210<>4765_22<>wynne hsu:lai-fun mun:hing-yan lee<>finding interesting patterns using user expectations<>tkde<>bing liu<>
2217<>4765_29<>wynne hsu:yiming ma<>mining association rules with multiple minimum supports<>kdd<>bing liu<>
2243<>4765_55<>ke wang:chu xu<>clustering transactions using large items<>cikm<>bing liu<>
2246<>4765_58<>wynne hsu:ke wang:shu chen<>visually aided exploration of interesting association rules<>pakdd<>bing liu<>
2289<>4769_2<>wenjun zeng<>a statistical watermark detection technique without using original images for resolving rightful ownerships of digital images<>tip<>bede liu<>
2294<>4769_7<>min wu<>digital watermarking using shuffling<>icip<>bede liu<>
27738<>4770_0<>jana dittmann:arnd steinmetz<>content-based digital signature for motion pictures authentication and content-fragile watermarking<>icmcs<>ralf steinmetz<>
27740<>4770_2<>jana dittmann:arnd steinmetz<>content-fragile watermarking based on content-based digital signatures<>idms<>ralf steinmetz<>
6845<>4784_4<>alex biryukov<>slide attacks<>fse<>david wagner<>
6859<>4784_18<>lars r. knudsen:matthew j. b. robshaw<>truncated differentials and skipjack<>crypto<>david wagner<>
6873<>4784_32<>ian goldberg:steven d. gribble:eric a. brewer<>the ninja jukebox<>usits<>david wagner<>
6879<>4784_38<>nulo<>the boomerang attack<>fse<>david wagner<>
6933<>4786_35<>annegret liebers:karsten weihe<>on the hardness of recognizing bundles in time table graphs<>wg<>dorothea wagner<>
6943<>4786_45<>ulrik brandes:patrick kenis<>centrality in policy network drawings<>gd<>dorothea wagner<>
11239<>4796_10<>kesheng wu<>parallel efficiency of the lanczos method for eigenvalue problems<>ppsc<>horst d. simon<>
11246<>4796_17<>william t. c. kramer:robert f. lucas<>building the teraflops/petabytes production supercomputing center<>europar<>horst d. simon<>
11250<>4798_3<>nulo<>a time for talk and a time for silence<>cobuild<>herbert a. simon<>
11280<>4803_0<>erich strohmaier:jack dongarra:hans werner meuer<>the marketplace of high-performance computing<>pc<>horst d. simon<>
18347<>4816_27<>doron rotem:su-shing chen<>data management for multiuser access to digital video libraries<>jpdc<>j. leon zhao<>
18355<>4816_35<>edward a. stohr<>temporal workflow management in a claim handling system<>wacc<>j. leon zhao<>
20302<>4842_0<>julien basch:john hershberger<>data structures for mobile data<>jal<>leonidas j. guibas<>
10272<>4866_1<>mihael ankerst:markus m. breunig:jorg sander<>optics: ordering points to identify the clustering structure<>sigmod<>hans-peter kriegel<>
10273<>4867_0<>thomas seidl<>adaptable similarity search in large image databases<>dagstuhl<>hans-peter kriegel<>
10162<>4872_0<>milind tambe<>the benefits of arguing in a team<>aim<>hyuckchul jung<>
10173<>4872_11<>zhun qiu:milind tambe<>towards flexible negotiation in teamwork<>agents<>hyuckchul jung<>
10159<>4875_6<>yun-sang kim:sebastien valette:remy prost<>local wavelets decomposition for 3-d surfaces<>icip<>ho-youl jung<>
34621<>4880_14<>douglas h. norrie<>implementing internet enabled virtual enterprises using collaborative agents<>ifip5-3<>weiming shen<>
22012<>4885_7<>xin he:hsueh-i lu<>linear-time succinct encodings of planar graphs via canonical orderings<>siamdm<>ming-yang kao<>
22016<>4885_11<>xin he:hsueh-i lu<>a fast general methodology for information - theoretically optimal encodings of graphs<>esa<>ming-yang kao<>
34230<>4889_10<>gail e. kaiser<>interfacing oz with the pcte oms: a case study of integrating a legacy system with a standard object management system<>jsi<>wenke lee<>
34233<>4889_13<>salvatore j. stolfo:kui w. mok<>a data mining framework for building intrusion detection models<>sp<>wenke lee<>
34257<>4889_37<>salvatore j. stolfo:kui w. mok<>mining in a data-flow environment: experience in network intrusion detection<>kdd<>wenke lee<>
34276<>4890_12<>nulo<>edge adaptive prediction for lossless image coding<>dcc<>wee sun lee<>
34186<>4893_0<>dik lun lee<>signature caching techniques for information filtering in mobile environments<>winet<>wang-chien lee<>
34187<>4893_1<>qinglong hu:dik lun lee<>performance evaluation of a wireless hierarchical data dissemination system<>mobicom<>wang-chien lee<>
34208<>4893_22<>qinglong hu:dik lun lee<>a study on channel allocation for data dissemination in mobile computing environments<>monet<>wang-chien lee<>
34214<>4893_28<>qinglong hu:dik lun lee<>indexing techniques for wireless data broadcast under data clustering and scheduling<>cikm<>wang-chien lee<>
22539<>4895_1<>subodh kumar:dinesh manocha:william f. garrett<>hierarchical back-face computation<>cg<>ming c. lin<>
22512<>4902_11<>arthur d. gregory:stefan gottschalk:russell taylor<>a framework for fast and accurate collision detection for haptic interaction<>vr<>ming c. lin<>
176<>4905_1<>frank k. h. a. dehne:andrew rau-chaplin<>coarse-grained parallel geometric search<>jpdc<>albert chan<>
177<>4905_2<>frank k. h. a. dehne<>a note on coarse grained parallel integer sorting<>ppl<>albert chan<>
179<>4905_4<>prosenjit bose:frank k. h. a. dehne:m. latzel<>coarse grained parallel maximum matching in convex bipartite graphs<>ipps<>albert chan<>
15102<>4914_0<>peter che bor lam:baogang xu<>the 4-choosability of plane graphs without 4-cycles'<>jct<>jiazhuang liu<>
15092<>4917_1<>philippe g. lefloch<>"generalized monotone schemes, discrete paths of extrema, and discrete entropy conditions."<>moc<>jian-guo liu<>
11172<>4942_21<>francis y. l. chin:yi pan<>efficient fault-tolerant routing in multihop optical wdm networks<>tpds<>hong shen<>
11180<>4942_29<>nulo<>finding the  most vital edges with respect to minimum spanning tree<>acta<>hong shen<>
11182<>4942_31<>li shen:ling cheng<>new algorithms for efficient mining of association rules<>isci<>hong shen<>
11183<>4942_32<>weifa liang:joseph kee-yin ng<>efficient computation of frequent itemsets in a subcollection of multiple set families<>informaticaSI<>hong shen<>
35608<>4979_0<>guo-hui lin:ding-zhu du:guoliang xue<>on rearrangeability of multirate clos networks<>siamcomp<>xiao-dong hu<>
33030<>4985_8<>yoshitaka kameya:nobuhisa ueda<>a graphical method for parameter learning of symbolic-statistical models<>dis<>taisuke sato<>
22629<>4988_5<>nulo<>invisible work of telephone operators: an ethnocritical analysis<>cscw<>michael j. muller<>
35159<>5017_5<>nevin lianwen zhang:stephen s. lee<>a method for speeding up value iteration in partially observable markov decision processes<>uai<>weihong zhang<>
18511<>5021_5<>nulo<>test scheduling for core-based systems<>iccad<>krishnendu chakrabarty<>
13861<>5026_26<>mehul a. shah:marcel kornacker<>amdb: a visual access method development tool<>uidis<>joseph m. hellerstein<>
13872<>5026_37<>lisa hellerstein:george kollios<>on the generation of 2-dimensional index workloads<>icdt<>joseph m. hellerstein<>
13875<>5026_40<>remzi h. arpaci-dusseau:eric anderson:noah treuhaft:david e. culler:david a. patterson:katherine a. yelick<>cluster i/o with river: making the fast case common<>iopads<>joseph m. hellerstein<>
13883<>5026_48<>chad carson:megan thomas:serge belongie:jitendra malik<>blobworld: a system for region-based image indexing and retrieval<>visual<>joseph m. hellerstein<>
13885<>5026_50<>peter j. haas<>ripple joins for online aggregation<>sigmod<>joseph m. hellerstein<>
13891<>5026_56<>vijayshankar raman:andy chou<>scalable spreadsheets for interactive data analysis<>dmkd<>joseph m. hellerstein<>
13909<>5026_74<>vijayshankar raman:bhaskaran raman<>online dynamic reordering for interactive data processing<>vldb<>joseph m. hellerstein<>
18643<>5035_4<>huisheng chi<>a modular neural network architecture for pattern classification based on different feature sets<>ijns<>ke chen<>
17715<>5048_2<>elizabeth m. rudnick<>a diagnostic fault simulator for fast diagnosis of bridge faults<>vlsid<>jue wu<>
24192<>5078_0<>michael krivelevich:benny sudakov<>list coloring of random and pseudo-random graphs<>combinatorica<>noga alon<>
24236<>5078_44<>michael krivelevich:benny sudakov<>coloring graphs with sparse neighborhoods<>jct<>noga alon<>
24276<>5078_84<>eldar fischer<>refining the graph density condition for the existence of almost k-factors<>arscom<>noga alon<>
24281<>5078_89<>eldar fischer:michael krivelevich:mario szegedy<>efficient testing of large graphs<>focs<>noga alon<>
24283<>5078_91<>lajos ronyai:tibor szabo<>norm-graphs: variations and applications<>jct<>noga alon<>
24284<>5078_92<>peter hamburger:alexandr v. kostochka<>"regular honest graphs, isoperimetric numbers, and bisection of weighted graphs."<>ejc<>noga alon<>
32197<>5081_7<>shaz qadeer:sriram k. rajamani<>assume-guarantee refinement between different time scales<>cav<>thomas a. henzinger<>
32220<>5081_30<>rajeev alur:luca de alfaro:freddy y. c. mang<>automating modular verification<>concur<>thomas a. henzinger<>
32226<>5081_36<>rajeev alur:limor fix<>event-clock automata: a determinizable class of timed automata<>tcs<>thomas a. henzinger<>
32269<>5081_79<>xiaojun liu:shaz qadeer:sriram k. rajamani<>formal specification and verification of a dataflow processor array<>iccad<>thomas a. henzinger<>
32277<>5081_87<>benjamin horowitz:rupak majumdar<>rectangular hybrid games<>concur<>thomas a. henzinger<>
32286<>5081_96<>peter w. kopke<>discrete-time control for rectangular hybrid automata<>tcs<>thomas a. henzinger<>
35195<>5082_17<>amitava raha:sanjay kamat:xiaohua jia<>using traffic regulation to meet end-to-end deadlines in atm networks<>tc<>wei zhao<>
35240<>5082_62<>chengzhi li:riccardo bettati<>new delay analysis in high speed networks<>icpp<>wei zhao<>
2963<>5093_5<>alexei vorontsov:jia zhang:francis k. h. quek<>rule-mitigated collaboration technology<>ftdcs<>carl k. chang<>
2964<>5093_6<>chiao-chuan shih<>a circular skip-cluster scheme to support video-on-demand services<>mms<>carl k. chang<>
41137<>5104_0<>nulo<>a buffering/caching mechanism for continous media players<>icsc<>zhiyong peng<>
9442<>5105_18<>nulo<>"automata, boolean matrices, and ultimate periodicity."<>iandc<>guo-qiang zhang<>
3254<>5123_0<>michael gertz:karl n. levitt<>misuse detection in database systems through user profiling<>raid<>christina yip chung<>
3256<>5123_2<>michael gertz:karl n. levitt<>demids: a misuse detection system for database systems<>tc11-5<>christina yip chung<>
37871<>5130_1<>r. j. blake<>an improved diffusion algorithm for dynamic load balancing<>pc<>y. f. hu<>
37875<>5130_5<>k. c. f. maguire:r. j. blake<>ordering unsymmetric matrices into bordered block diagonal form for parallel processing<>europar<>y. f. hu<>
37867<>5131_23<>honghui lu:alan l. cox:willy zwaenepoel<>openmp for networks of smps<>ipps<>y. charlie hu<>
26256<>5134_0<>tycho nightingale:yiming hu<>the design and implementation of a dcd device driver for unix<>usenix<>qing yang<>
15768<>5142_4<>tanya l. conroy<>resolution invariant surfaces for panoramic vision systems<>iccv<>john b. moore<>
22343<>5148_22<>diego calvanese:giuseppe de giacomo:moshe y. vardi<>rewriting of regular expressions and regular path queries<>pods<>maurizio lenzerini<>
22359<>5148_38<>diego calvanese:giuseppe de giacomo<>representing and reasoning on xml documents: a description logic approach<>logcom<>maurizio lenzerini<>
22363<>5148_42<>diego calvanese:daniele nardi<>unifying class-based representation formalisms<>jair<>maurizio lenzerini<>
22365<>5148_44<>diego calvanese:giuseppe de giacomo<>queries and constraints on semi-structured data<>caise<>maurizio lenzerini<>
22369<>5148_48<>diego calvanese:giuseppe de giacomo<>modeling and querying semi-structured data<>nis<>maurizio lenzerini<>
22375<>5148_54<>diego calvanese:giuseppe de giacomo<>reasoning in expressive description logics with fixpoints based on automata on infinite trees<>ijcai<>maurizio lenzerini<>
23116<>5149_14<>fulvio corno:giovanni squillero<>approximate equivalence verification for protocol interface implementation via genetic algorithms<>evoW<>matteo sonza reorda<>
23124<>5149_22<>fulvio corno:maurizio rebaudengo:massimo violante<>test pattern generation under low power constraints<>evoW<>matteo sonza reorda<>
23149<>5149_47<>alfredo benso:maurizio rebaudengo<>fault injection for embedded microprocessor-based systems<>jucs<>matteo sonza reorda<>
23169<>5149_67<>fulvio corno:maurizio rebaudengo:massimo violante<>optimal vector selection for low power bist<>dft<>matteo sonza reorda<>
23182<>5149_80<>fulvio corno:giovanni squillero<>approximate equivalence verification of sequential circuits via genetic algorithms<>date<>matteo sonza reorda<>
23194<>5149_92<>maurizio rebaudengo:marco torchiano:massimo violante<>soft-error detection through software fault-tolerance techniques<>dft<>matteo sonza reorda<>
24097<>5152_0<>markus jakobsson:julien p. stern<>"scramble all, encrypt small."<>fse<>moti yung<>
21570<>5157_1<>ch'ng shi baw:roger d. chamberlain<>fair scheduling in an optical interconnection network<>mascots<>mark a. franklin<>
21654<>5161_0<>bernardo a. huberman:tad hogg<>enhancing privacy and trust in electronic communities<>sigecom<>matthew k. franklin<>
21639<>5163_36<>laurent amsaleg:olivier gruber<>garbage collection for a client-server persistent object store<>tocs<>michael j. franklin<>
21646<>5163_43<>richard t. snodgrass:serge abiteboul:sophie cluet:guy m. lohman:david b. lomet:gultekin ozsoyoglu:raghu ramakrishnan:kenneth a. ross:timos k. sellis:patrick valduriez<>reminiscences on influential papers<>sigmod<>michael j. franklin<>
24115<>5167_9<>nulo<>promoter analysis of co-regulated genes in the yeast genome<>candc<>michael q. zhang<>
31854<>5170_14<>beifang chen<>domination number and neighbourhood conditions<>dm<>sanming zhou<>
31857<>5170_17<>nulo<>a sequential coloring algorithm for finite sets<>dm<>sanming zhou<>
28829<>5173_2<>dit-yan yeung:nevin lianwen zhang<>an environment model for nonstationary reinforcement learning<>nips<>samuel p. m. choi<>
28833<>5175_0<>john w. woods<>motion-compensated 3-d subband coding of video<>tip<>seung-jong choi<>
24137<>5187_12<>victor ciesielski<>using back propagation algorithm and genetic algorithm to train and refine neural networks for object detection<>dexa<>mengjie zhang<>
24149<>5187_24<>victor ciesielski<>genetic programming for multiple class object detection<>ausai<>mengjie zhang<>
3428<>5194_5<>xianfeng ding:weixing kong:songde ma<>image retrieval using schwarz representation of one-dimensional feature<>visual<>changbo hu<>
3434<>5195_3<>kaustav banerjee:amit mehrotra:alberto l. sangiovanni-vincentelli<>on thermal effects in deep sub-micron vlsi interconnects<>dac<>chenming hu<>
38915<>5202_5<>bing liu:wynne hsu<>mining association rules with multiple minimum supports<>kdd<>yiming ma<>
38917<>5202_7<>bing liu:wynne hsu<>pruning and summarizing the discovered associations<>kdd<>yiming ma<>
38899<>5205_3<>stefano soatto:jana kosecka:shankar sastry<>euclidean reconstruction and reprojection up to subgroups<>iccv<>yi ma<>
38904<>5205_8<>jana kosecka:shankar sastry<>"optimization criteria, sensitivity and robustness of motion and structure estimation."<>iccvw<>yi ma<>
4632<>5215_0<>t.-h. cheng:y.-k. sze<>a heuristic algorithm for allocating virtual path bandwidth in an atm network<>comcom<>chee wah tan<>
4553<>5220_34<>bo yuan:weihua huang:qian wang:zheng zhang 0003<>text/graphics separation using agent-based pyramid operations<>icdar<>chew lim tan<>
22481<>5247_0<>elke a. rundensteiner:kajal t. claypool:li chen:xin zhang:chandrakant natarajan:jing jin:stacia de lima:s. weiner<>serf: odmg-based generic re-structuring facility<>sigmod<>ming li<>
6470<>5257_4<>david l. harris:mark horowitz<>timing analysis including clock skew<>tcad<>dean liu<>
6472<>5259_1<>myron e. hohil:stanley h. smith<>solving the n-bit parity problem using neural networks<>nn<>derong liu<>
6478<>5259_7<>ismail salih:stanley h. smith<>design of bidirectional associative memories based on the perceptron training technique<>iscas<>derong liu<>
6509<>5268_1<>ko-wei lih:xuding zhu<>star extremal circulant graphs<>siamdm<>daphne der-fen liu<>
11663<>5281_1<>ravi k. gedela:sol m. shatz<>compositional petri net models of advanced tasking in ada-95<>cl<>haiping xu<>
11664<>5281_2<>ravi k. gedela:sol m. shatz<>formal modeling of synchronization methods for concurrent objects in ada 95<>sigada<>haiping xu<>
28719<>5288_9<>jian zhang:samuel t. chanson<>stress testing of distributed multimedia software systems<>forte<>shing-chi cheung<>
28729<>5288_19<>dimitra giannakopoulou:jeff kramer<>behaviour analysis of distributed systems using the tracta approach<>ase<>shing-chi cheung<>
28739<>5288_29<>paul leung<>a cscw framework for the flexible coupling of groupware widgets<>iceccs<>shing-chi cheung<>
28746<>5288_36<>samuel t. chanson<>a model-based authorware for the construction of distributed multimedia systems<>infsof<>shing-chi cheung<>
28747<>5288_37<>jeff kramer<>checking safety properties using compositional reachability analysis<>tosem<>shing-chi cheung<>
40683<>5293_0<>giuseppe f. italiano:neil sarnak<>fully dynamic planarity testing with applications<>jacm<>zvi galil<>
10347<>5309_1<>jin-hyung kim<>an hmm-based threshold model approach for gesture recognition<>pami<>hyeon-kyu lee<>
31717<>5316_0<>chulwoo kim:sung-mo kang<>nmos energy recovery logic<>glvlsi<>seung-moon yoo<>
31719<>5316_2<>sung-mo kang<>no-race charge-recycling differential logic (ncdl)<>glvlsi<>seung-moon yoo<>
31720<>5316_3<>sung-mo kang<>cmos pass-gate no-race charge-recycling logic (cpncl)<>iscas<>seung-moon yoo<>
15673<>5326_3<>michael t. goodrich:mark w. orletsky<>approximate geometric pattern matching under rigid motions<>pami<>joseph s. b. mitchell<>
15680<>5326_10<>xinyu xiang:martin held<>fast and effective stripification of polygonal surface models<>si3d<>joseph s. b. mitchell<>
15688<>5326_18<>marc j. van kreveld:peter rousseeuw:micha sharir:jack snoeyink:bettina speckmann<>efficient algorithms for maximum regression depth<>compgeom<>joseph s. b. mitchell<>
15693<>5326_23<>xinyu xiang:martin held<>fast and effective stripification of polygonal surface models<>soda<>joseph s. b. mitchell<>
15698<>5326_28<>esther m. arkin:michael a. bender:steven skiena<>the lazy bureaucrat scheduling problem<>wads<>joseph s. b. mitchell<>
15709<>5326_39<>erik d. demaine:martin l. demaine<>folding flat silhouettes and wrapping polyhedral packages: new results in computational origami<>compgeom<>joseph s. b. mitchell<>
15592<>5327_7<>stephen n. freund<>a formal framework for the java bytecode language and verifier<>oopsla<>john c. mitchell<>
15643<>5327_58<>patrick lincoln:andre scedrov<>optimization complexity of linear logic proof games<>tcs<>john c. mitchell<>
15660<>5327_75<>robert harper<>parametricity and variants of girard's  operator<>ipl<>john c. mitchell<>
15663<>5327_78<>iliano cervesato:nancy a. durgin:patrick lincoln:andre scedrov<>a meta-notation for protocol analysis<>csfw<>john c. mitchell<>
15753<>5334_0<>j. ben rosen:andrew t. phillips:lynn f. ten eyck<>coupled optimization in protein docking<>recomb<>julie c. mitchell<>
21008<>5341_1<>kee way ng:chee hock ng:k. r. subramanian<>incorporating priority scheme in ipv6 over atm networks<>comcom<>liren zhang<>
21009<>5341_2<>chih-hong eyoh:chee hock ng<>an atm cross-connecting node using optical cdma<>comcom<>liren zhang<>
20999<>5351_10<>leonidas j. guibas:david hsu<>: hierarchical distance computation for moving convex bodies<>compgeom<>li zhang<>
26399<>5357_4<>sampath kannan:mihalis yannakakis<>communicating hierarchical state machines<>icalp<>rajeev alur<>
26405<>5357_10<>sampath kannan:salvatore la torre<>polyhedral flows in hybrid automata<>hybrid<>rajeev alur<>
26432<>5357_37<>bow-yaw wang<>``next'' heuristic for on-the-fly model checking<>concur<>rajeev alur<>
26467<>5357_72<>doron peled<>undecidability of partial order logics<>ipl<>rajeev alur<>
26482<>5357_87<>luca de alfaro:thomas a. henzinger:freddy y. c. mang<>automating modular verification<>concur<>rajeev alur<>
26490<>5357_95<>kousha etessami:salvatore la torre:doron peled<>"parametric temporal logic for ""model measuring""."<>icalp<>rajeev alur<>
26491<>5357_96<>limor fix:thomas a. henzinger<>event-clock automata: a determinizable class of timed automata<>tcs<>rajeev alur<>
26500<>5357_105<>nulo<>timed automata<>cav<>rajeev alur<>
26511<>5357_116<>mihalis yannakakis<>model checking of message sequence charts<>concur<>rajeev alur<>
24713<>5359_91<>nulo<>i/o automaton models and proofs for shared-key communication systems<>csfw<>nancy a. lynch<>
24718<>5359_96<>carolos livadas:john lygeros<>high-level modeling and analysis of tcas<>rtss<>nancy a. lynch<>
24723<>5359_101<>alan fekete:david gupta:victor luchangco:alexander a. shvartsman<>eventually-serializable data services<>tcs<>nancy a. lynch<>
24741<>5359_119<>roberto de prisco:alan fekete:alexander a. shvartsman<>a dynamic primary configuration group communication service<>wdag<>nancy a. lynch<>
24758<>5359_136<>jason hickey:robbert van renesse<>specifications and proofs for ensemble layers<>tacas<>nancy a. lynch<>
24766<>5359_144<>nir shavit:alexander a. shvartsman:dan touitou<>timing conditions for linearizability in uniform counting networks<>tcs<>nancy a. lynch<>
15182<>5366_1<>stan z. li<>modeling bayesian estimation for deformable contours<>iccv<>juwei lu<>
15176<>5367_4<>chuangliang dong:weiwen dong<>a equivalent object-oriented schema evolution approach using the path-independence language<>tools<>jiaheng lu<>
15169<>5368_8<>katia p. sycara:matthias klusch:seth widoff<>dynamic service matchmaking among agents in open information environments<>sigmod<>jianguo lu<>
13447<>5369_0<>alexander s. szalay:peter z. kunszt:ani thakar<>designing and mining multi-terabyte astronomy archives: the sloan digital sky survey<>corr<>jim gray<>
13448<>5369_1<>tom barclay:donald r. slutz<>microsoft terraserver: a spatial data warehouse<>corr<>jim gray<>
14141<>5376_1<>subhash suri:philip m. hubbard<>analyzing bounding boxes for object intersection<>tog<>john f. hughes<>
14156<>5376_16<>michael a. kowalski:lee markosian:j. d. northrup:lubomir d. bourdev:ronen barzel:loring holden<>"art-based rendering of fur, grass, and trees."<>siggraph<>john f. hughes<>
14163<>5376_23<>lee markosian:jonathan m. cohen:thomas crulli<>skin: a constructive approach to modeling free-form shapes<>siggraph<>john f. hughes<>
14173<>5376_33<>jonathan m. cohen:lee markosian:robert c. zeleznik:ronen barzel<>an interface for sketching 3d curves<>si3d<>john f. hughes<>
15917<>5400_0<>albert c. s. chung<>statistical 3d vessel segmentation using a rician distribution<>miccai<>j. alison noble<>
15884<>5401_7<>nulo<>three features for component frameworks<>ecoopw<>james noble<>
15886<>5401_9<>jan vitek:doug lea:paulo sergio almeida<>aliasing in object oriented systems<>ecoopw<>james noble<>
15889<>5401_12<>nulo<>the objects of aliasing<>ecoopw<>james noble<>
15900<>5401_23<>nulo<>natural creation<>tools<>james noble<>
15908<>5401_31<>david clarke:john potter<>object ownership for dynamic alias protection<>tools<>james noble<>
15913<>5401_36<>david g. clarke:john potter<>overcoming representation exposure<>ecoopw<>james noble<>
41054<>5412_0<>kathryn s. mckinley<>partial replica selection based on relevance for information retrieval<>sigir<>zhihong lu<>
37214<>5430_3<>michael shyu:yu-dong chang:guang-ming wu<>generic universal switch blocks<>iccd<>yao-wen chang<>
37218<>5430_7<>guang-ming wu<>quasi-universal switch matrices for fpd design<>tc<>yao-wen chang<>
8462<>5437_0<>nulo<>gis-based simulation as an exploratory analysis for space-time processes<>jgs<>fulong wu<>
5188<>5446_6<>hepu deng<>fuzzy utilities comparison in multicriteria analysis<>fuzzy<>chung-hsing yeh<>
34672<>5450_14<>yongzhong tu:yang xiang<>specifying constraints with message sequence specifications<>apsec<>wei-tek tsai<>
34675<>5450_17<>yongzhong tu:weiguang shao:ezra ebner<>testing extensible design patterns in object-oriented frameworks through scenario templates<>compsac<>wei-tek tsai<>
34688<>5450_30<>hai huang<>vsam conversion for cobol programs<>smr<>wei-tek tsai<>
34689<>5450_31<>ramakrishna v. vishnuvajjala:du zhang<>verification and validation of knowledge-based systems<>tkde<>wei-tek tsai<>
4058<>5451_19<>jian yin:lorenzo alvisi:michael dahlin<>volume leases for consistency in large-scale systems<>tkde<>calvin lin<>
4065<>5451_26<>jian yin:lorenzo alvisi:michael dahlin<>hierarchical cache consistency in a wan<>usits<>calvin lin<>
15465<>5456_39<>frank s. de boer:rogier m. van eijk:wiebe van der hoek<>failure semantics for the exchange of information in multi-agent systems<>ecoopw<>john-jules ch. meyer<>
15487<>5456_61<>wiebe van der hoek:bernd van linder<>a logical approach to the dynamics of commitments<>ai<>john-jules ch. meyer<>
15490<>5456_64<>rogier m. van eijk:frank s. de boer:wiebe van der hoek<>open multi-agent systems: agent communication and integration<>atal<>john-jules ch. meyer<>
15518<>5456_92<>koen v. hindriks:frank s. de boer:wiebe van der hoek<>agent programming in 3apl<>aamas<>john-jules ch. meyer<>
15533<>5464_3<>ken perlin<>nested user interface components<>uist<>jon meyer<>
7461<>5470_1<>beng chin ooi<>the indispensability of dispensable indexes<>tkde<>elisa bertino<>
7471<>5470_11<>barbara catania:gian piero zarri<>a conceptual annotation approach to indexing in a web-based information system<>wecwis<>elisa bertino<>
7476<>5470_16<>elena ferrari:vijayalakshmi atluri<>the specification and enforcement of authorization constraints in workflow management systems<>tissec<>elisa bertino<>
7500<>5470_40<>barbara catania:limsoon wong<>finitely representable nested relations<>ipl<>elisa bertino<>
7526<>5470_66<>elena ferrari<>secure object deletion and garbage collection in multilevel object bases<>jcs<>elisa bertino<>
4076<>5474_1<>i-fang chung<>a reinforcement neuro-fuzzy combiner for multiobjective control<>tsmc<>chin-teng lin<>
4080<>5474_5<>gin-der wu:shih-chieh hsiao<>new techniques on deformed image motion estimation and compensation<>tsmc<>chin-teng lin<>
4082<>5474_7<>chia-feng juang:chung-ping li<>temperature control with a neural fuzzy inference network<>tsmc<>chin-teng lin<>
4086<>5474_11<>hsi-wen nein:wei-fen lin<>speaker adaptation of fuzzy-perceptron-based speech recognition<>ijufks<>chin-teng lin<>
30827<>5503_6<>amir parssian:varghese s. jacob<>assessing data quality for information products<>icis<>sumit sarkar<>
21799<>5520_1<>chaoping xing<>some computational problems of cryptographic significance concerning elliptic curves over rings<>iandc<>ming-deh a. huang<>
21800<>5520_2<>leonard m. adleman<>function field sieve method for discrete logarithms over finite fields<>iandc<>ming-deh a. huang<>
37762<>5528_0<>peter l. bartlett:john shawe-taylor:robert c. williamson<>covering numbers for support vector machines<>colt<>ying guo<>
37755<>5529_5<>nulo<>outpaths in semicomplete multipartite digraphs<>dam<>yubao guo<>
37761<>5529_11<>jorgen bang-jensen:anders yeo<>a new sufficient condition for a digraph to be hamiltonian<>dam<>yubao guo<>
37748<>5530_2<>benyuan liu:james f. kurose:donald f. towsley:weibo gong<>fluid simulation of large scale networks: issues and tradeoffs<>pdpta<>yang guo<>
1534<>5538_9<>anastasia kaltabani:elsa cardoso:evangelia tzifa:panagiotis demestichas:miltiades e. anagnostou<>service logic deployment and distribution configuration<>isn<>antonio silva<>
1535<>5538_10<>ivan tomek:alicia diaz:ronald melster:miguel antunes:vinny cahill:zied choukair:alexandro fernandez:mads haahr:eric jul:atsushi ohnishi:luis rodrigues:erich r. schmidt:cristian tapus:waldemar wieczerzycki:daniel m. zimmerman<>multi-user object-oriented environments<>ecoopw<>antonio rito silva<>
1511<>5542_1<>ana neves:ernesto costa<>evolving controllers for autonomous agents using genetically programmed networks<>eurogp<>arlindo silva<>
28963<>5556_14<>zhiyong li:john h. reif<>synthesizing efficient out-of-core programs for block recursive algorithms using block-cyclic data distributions<>tpds<>sandeep k. s. gupta<>
28977<>5558_4<>suriyaprakash natarajan:melvin a. breuer<>switch-level delay test<>itc<>sandeep k. gupta<>
28994<>5558_21<>wei-yu chen:melvin a. breuer<>test generation for crosstalk-induced delay in integrated circuits<>itc<>sandeep k. gupta<>
28995<>5558_22<>seongmoon wang<>lt-rtpg: a new test-per-scan bist tpg for low heat dissipation<>itc<>sandeep k. gupta<>
29005<>5558_32<>yi-shing chang:melvin a. breuer<>test generation for ground bounce in internal logic circuitry<>vts<>sandeep k. gupta<>
31785<>5578_10<>kai salomaa<>synchronization expressions: characterization results and implementation<>birthday<>sheng yu<>
31790<>5578_15<>gheorghe paun<>on synchronization in p systems<>fuin<>sheng yu<>
37973<>5588_14<>bernhard sendhoff<>knowledge incorporation into neural networks from fuzzy rules<>npl<>yaochu jin<>
3488<>5592_0<>zhi-zhong chen:xin he<>finding double euler trails of planar graphs in linear time<>focs<>chun-hsi huang<>
35408<>5621_1<>evangelos e. milios:andy mirzaian<>robot map verification of a graph world<>wads<>xiaotie deng<>
20354<>5630_0<>gerard j. chang:xuding zhu<>circular chromatic numbers of mycielski's graphs<>dm<>lingling huang<>
18377<>5636_4<>thomas w. sederberg:kris klimaszewski:tor dokken<>approximate implicitization using monoid curves and surfaces<>cvgip<>jianmin zheng<>
36979<>5638_0<>takao nishizeki<>edge-coloring and f-coloring for various classes of graphs<>jgaa<>xiao zhou<>
36999<>5638_20<>shuji isobe:takao nishizeki<>a polynomial-time algorithm for finding total colorings of partial k-trees<>ijfcs<>xiao zhou<>
37009<>5638_30<>shuji isobe:takao nishizeki<>a linear algorithm for finding total colorings of partial k-trees<>isaac<>xiao zhou<>
36913<>5640_0<>david truffet:jiawei han<>efficient polygon amalgamation methods for spatial olap and spatial data mining<>ssd<>xiaofang zhou<>
36921<>5640_8<>david j. abel:volker gaede:robert power<>caching strategies for spatial joins<>geoinformatica<>xiaofang zhou<>
36929<>5640_16<>yanchun zhang:xuemin lin:chengfei liu<>on the optimization of complex spatial queries<>codas<>xiaofang zhou<>
36935<>5640_22<>joseph d. yates<>navigation of the internet with spatial databases<>dante<>xiaofang zhou<>
36958<>5640_45<>chengfei liu:xuemin lin:maria e. orlowska<>building a repository for workflow systems<>tools<>xiaofang zhou<>
36963<>5640_50<>xuemin lin:chengfei liu:yanchun zhang<>efficiently computing frequent tree-like topology patterns in a web environment<>tools<>xiaofang zhou<>
36972<>5640_59<>maria e. orlowska<>a spatial database as a component of integrated database system<>dante<>xiaofang zhou<>
8663<>5648_6<>bryan carpenter:sung hoon ko:sang lim<>object serialization for marshalling data in a java interface to mpi<>java<>geoffrey fox<>
8670<>5648_13<>tomasz haupt:erol akarsu:wojtek furmanski<>web based metacomputing<>fgcs<>geoffrey fox<>
8694<>5648_37<>yuhong wen<>performance prediction for large scale parallel systems<>pdpta<>geoffrey fox<>
35963<>5670_6<>borko furht<>design and implementation of digital libraries<>imsa<>xiuqi li<>
27441<>5672_19<>surajit chaudhuri:vivek r. narasayya<>on random sampling over joins<>sigmod<>rajeev motwani<>
27450<>5672_28<>michael h. goldwasser<>complexity measures for assembly sequences<>ijcga<>rajeev motwani<>
27474<>5672_52<>leonidas j. guibas:jean-claude latombe:steven m. lavalle:david lin<>a visibility-based pursuit-evasion problem<>ijcga<>rajeev motwani<>
27479<>5672_57<>alok aggarwal:don coppersmith:sanjeev khanna:baruch schieber<>the angular-metric traveling salesman problem<>siamcomp<>rajeev motwani<>
27484<>5672_62<>donald aingworth:chandra chekuri:piotr indyk<>fast estimation of diameter and shortest paths (without matrix multiplication)<>siamcomp<>rajeev motwani<>
27516<>5672_94<>prasad chalasani<>approximating capacitated routing and delivery problems<>siamcomp<>rajeev motwani<>
27518<>5672_96<>surajit chaudhuri<>on sampling and relational operators<>debu<>rajeev motwani<>
27527<>5672_105<>aristides gionis:piotr indyk<>similarity search in high dimensions via hashing<>vldb<>rajeev motwani<>
27531<>5672_109<>martin gavrilov:piotr indyk:suresh venkatasubramanian<>geometric pattern matching: a performance study<>compgeom<>rajeev motwani<>
27533<>5672_111<>piotr indyk:suresh venkatasubramanian<>geometric matching under noise: combinatorial bounds and algorithms<>soda<>rajeev motwani<>
27536<>5672_114<>chandra chekuri<>minimizing weighted completion time on a single machine<>soda<>rajeev motwani<>
36483<>5685_0<>liu wenyin:long tang:dov dori<>impact of sparse pixel vectorization algorithm parameters on line segmentation performance<>grec<>xiaoyu wang<>
17237<>5694_0<>c. s. george lee:junku yuh<>an on-line self-organizing neuro-fuzzy control for autonomous underwater vehicles<>icra<>jeen-shing wang<>
17264<>5701_9<>qicheng ma<>biological data mining using bayesian neural networks: a case study<>ijait<>jason tsong-li wang<>
17280<>5701_25<>kaizhong zhang:chia-yo chang<>identifying approximately common substructures in trees based on a restricted edit distance<>isci<>jason tsong-li wang<>
17285<>5701_30<>steve rozen:bruce a. shapiro:dennis shasha:zhiyuan wang:maisheng yin<>new techniques for dna sequence classification<>jcb<>jason tsong-li wang<>
17288<>5701_33<>xiong wang:king-ip lin:dennis shasha:bruce a. shapiro:kaizhong zhang<>evaluating a class of distance-mapping algorithms for data mining and clustering<>kdd<>jason tsong-li wang<>
17249<>5703_7<>liang sun<>an upper bound for the independent domination number<>jct<>jianfang wang<>
17309<>5707_2<>kien a. hua:wallapak tavanapong<>2psm: an efficient framework for searching video information in a limited-bandwidth environment<>mms<>james zijun wang<>
35890<>5719_0<>zahir tari:ling liu<>type safety in the context of method updates<>jiis<>xue li<>
35891<>5719_1<>nulo<>a survey of schema evolution in object-oriented databases<>tools<>xue li<>
28489<>5724_1<>uma mudenagudi<>depth estimation using defocused stereo image pairs<>iccv<>subhasis chaudhuri<>
28511<>5724_23<>a. n. rajagopalan<>simultaneous depth recovery and image restoration from defocused images<>cvpr<>subhasis chaudhuri<>
28525<>5724_37<>a. n. rajagopalan<>an mrf model-based approach to simultaneous recovery of depth and restoration from defocused images<>pami<>subhasis chaudhuri<>
35922<>5725_1<>nulo<>specification and simulation of a concurrent real-time system<>pdse<>xiaoshan li<>
28531<>5729_2<>maurice herlihy:mark r. tuttle<>wait-free implementations in message-passing systems<>tcs<>soma chaudhuri<>
35955<>5730_17<>michael t. orchard<>edge directed prediction for lossless compression of natural images<>icip<>xin li<>
17358<>5735_9<>douglas w. oard<>effects of term segmentation on chinese/english cross-language information retrieval<>spire<>jianqiang wang<>
17379<>5745_4<>han ding<>recurrent neural networks for minimum infinity-norm kinematic control of redundant manipulators<>tsmc<>jun wang<>
10379<>5766_3<>t. y. chen<>a new perspective of the proportional sampling strategy<>cj<>hing leung<>
26847<>5769_0<>sastri kota:mukul goyal:rohit goyal<>multimedia satellite networks and tcp/ip traffic transport<>imsa<>raj jain<>
26853<>5769_6<>sonia fahmy:rohit goyal:bobby vandalore:shivkumar kalyanaraman<>design and evaluation of feedback consolidation for abr point-to-multipoint connections in atm networks<>comcom<>raj jain<>
26867<>5769_20<>sonia fahmy:sameh rabie:rohit goyal:bobby vandalore<>quality of service for internet traffic over atm service categories<>comcom<>raj jain<>
26873<>5769_26<>bobby vandalore:sonia fahmy:sudhir s. dixit<>aquafwin: adaptive qos framework for multimedia in wireless networks and its comparison with other qos frameworks<>lcn<>raj jain<>
26920<>5769_73<>sastri kota:mukul goyal:rohit goyal<>broadband satellite network: tcp/ip performance analysis<>broadband<>raj jain<>
26923<>5769_76<>bobby vandalore:rohit goyal:sonia fahmy<>dynamic queue control functions for atm abr switch schemes: design and analysis<>cn<>raj jain<>
2616<>5794_15<>paul cotter<>surfing the digital wave<>iccbr<>barry smyth<>
2685<>5794_84<>elizabeth mckenna<>building compact competent case-bases<>iccbr<>barry smyth<>
2696<>5794_95<>elizabeth mckenna<>footprint-based retrieval<>iccbr<>barry smyth<>
20772<>5802_2<>yuanyuan zhou:douglas w. clark:kai li<>thread scheduling for out-of-core applications with memory server on multicomputers<>iopads<>limin wang<>
20781<>5803_0<>wanlei zhou<>a tool for constructing service replication systems<>tools<>li wang<>
40890<>5834_0<>li han:jeffrey c. trinkle<>grasp analysis as linear matrix inequality problems<>icra<>zexiang li<>
21142<>5844_0<>james liu:yan wu<>a hybrid method for abstracting newspaper articles<>jasis<>lina zhou<>
21140<>5845_1<>chandra kambhamettu<>extending superquadrics with exponent functions: modeling and reconstruction<>cvpr<>lin zhou<>
21141<>5845_2<>chandra kambhamettu:dmitry b. goldgof<>extracting nonrigid motion and 3d structure of hurricanes from satellite image sequences without correspondences<>cvpr<>lin zhou<>
6215<>5859_0<>jee-soo lee:kunsoo park:yookun cho<>efficient algorithms for approximate string matching with swaps<>jc<>dong kyue kim<>
40389<>5871_1<>jussipekka leiwo:chandana gamage<>organizational modeling for efficient specification of information security requirements<>adbis<>yuliang zheng<>
40402<>5871_14<>xian-mo zhang<>strong linear dependence and unbiased distribution of non-propagative vectors<>sacrypt<>yuliang zheng<>
40403<>5871_15<>xian-mo zhang:hideki imai<>"restriction, terms and nonlinearity of boolean functions."<>tcs<>yuliang zheng<>
40422<>5871_34<>xian-mo zhang<>plateaued functions<>icics<>yuliang zheng<>
40433<>5871_45<>khaled m. khan:jun han<>security properties of software components<>isw<>yuliang zheng<>
40434<>5871_46<>xian-mo zhang<>relationships between bent functions and complementary plateaued functions<>icisc<>yuliang zheng<>
40438<>5871_50<>hye-joo lee:ji-hwan park<>digital watermarking robust against jpeg compression<>isw<>yuliang zheng<>
40439<>5871_51<>chandana gamage:jussipekka leiwo<>encrypted message authentication by firewalls<>pkc<>yuliang zheng<>
19356<>5881_5<>tamal k. dey:edgar a. ramos<>curve reconstruction: connecting dots with good reason<>compgeom<>kurt mehlhorn<>
19365<>5882_7<>srinivasa rao arikati<>a correctness certificate for the stoer-wagner min-cut algorithm<>ipl<>kurt mehlhorn<>
4778<>5894_9<>hwansoo han:gabriel rivera<>compiler and run-time support for improving locality in scientific codes<>lcpc<>chau-wen tseng<>
4794<>5894_25<>gabriel rivera<>a comparison of compiler tiling algorithms<>cc<>chau-wen tseng<>
28946<>5897_14<>benedetto matarazzo:roman slowinski<>handling missing values in rough set analysis of multi-attribute and multi-criteria decision problems<>rsfdgrc<>salvatore greco<>
32962<>5913_33<>sviatoslav brainov<>"power, dependence and stability in multiagent plans."<>aaai<>tuomas sandholm<>
32963<>5913_34<>sandeep sikka:samphel norden<>algorithms for optimizing leveled commitment contracts<>ijcai<>tuomas sandholm<>
32966<>5913_37<>nulo<>emediator: a next generation electronic commerce server<>aaai<>tuomas sandholm<>
32988<>5913_59<>nulo<>automated negotiation<>cacm<>tuomas sandholm<>
33000<>5913_71<>sviatoslav brainov<>contracting with uncertain level of trust<>sigecom<>tuomas sandholm<>
33015<>5913_86<>nir vulkan<>bargaining with deadlines<>aaai<>tuomas sandholm<>
33018<>5913_89<>kate larson:martin andersson:onn shehory:fernando tohme<>coalition structure generation with worst case guarantees<>ai<>tuomas sandholm<>
20039<>5916_4<>horst d. simon<>parallel efficiency of the lanczos method for eigenvalue problems<>ppsc<>kesheng wu<>
20004<>5917_8<>philip s. yu:james z. teng<>run placement policies for concurrent mergesorts using parallel prefetching<>kais<>kun-lung wu<>
20015<>5917_19<>philip s. yu<>replication issues on proxy cache array<>pdpta<>kun-lung wu<>
20026<>5917_30<>philip s. yu<>local replication for proxy web caches with hash routing<>cikm<>kun-lung wu<>
17423<>5941_0<>luhua lai:youqi tang<>structural features of toxic chemicals for specific toxicity<>jcisd<>jiansuo wang<>
30660<>5944_9<>koji nakano:albert y. zomaya<>a time-optimal solution for the path cover problem on cographs<>ipps<>stephan olariu<>
30635<>5945_5<>luitpold babel<>on the p-connectedness of graphs - a survey<>dam<>stephan olariu<>
30645<>5945_15<>derek g. corneil:lorna stewart<>linear time algorithms for dominating pairs in asteroidal triple-free graphs<>siamcomp<>stephan olariu<>
17413<>5950_0<>hong yan<>mending broken handwriting with a macrostructure analysis method to improve recognition<>prl<>jianguo wang<>
4463<>5959_4<>david chen<>intention preservation by object replication in cooperative graphics editing systems<>codas<>chengzheng sun<>
21318<>5967_0<>woo hyong lee:yusuf hasan<>measuring dynamic memory invocations in object-oriented programs<>ipccc<>m. chang<>
4501<>5970_9<>deyi si<>fast reflectional symmetry detection using orientation histograms<>rti<>changming sun<>
21212<>5978_10<>ruigang yang:w. brent seales:henry fuchs<>geometrically correct imagery for teleconferencing<>mm<>michael s. brown<>
19669<>5985_7<>massimo paolucci:onn shehory:dirk kalp:anandeep pannu<>a planning component for retsina agents<>atal<>katia p. sycara<>
19696<>5985_34<>onn shehory:gita sukthankar:vick mukherjee<>agent aided aircraft maintenance<>agents<>katia p. sycara<>
19708<>5985_46<>matthias klusch:seth widoff:jianguo lu<>dynamic service matchmaking among agents in open information environments<>sigmod<>katia p. sycara<>
386<>5994_0<>john h. nguyen:yuval shahar:samson w. tu:mark a. musen<>"integration of temporal reasoning and temporal-data maintenance into a reusable database mediator to answer abstract, time-oriented queries: the tzolkin system."<>jiis<>amar k. das<>
25421<>6002_0<>michael t. rosenstein<>continuous categories for a mobile robot<>aaai<>paul r. cohen<>
25418<>6003_1<>paola sebastiani:marco ramoni:john warwick:james davis<>discovering dynamics using bayesian clustering<>ida<>paul r. cohen<>
25420<>6003_3<>tim oates:matthew d. schmill<>efficient mining of statistical dependencies<>ijcai<>paul r. cohen<>
22278<>6008_4<>donald a. adjeroh:irwin king<>a distance measure for video sequences<>cviu<>moon-chuen lee<>
22266<>6012_6<>chi-keung tang:gerard g. medioni<>epipolar geometry estimation by tensor voting in 8d<>iccv<>mi-suen lee<>
22193<>6013_8<>tok wang ling:hongjun lu:yee teng ko<>cleansing data for mining and warehousing<>dexa<>mong-li lee<>
22232<>6013_47<>kian-lee tan:cheng hian goh:beng chin ooi<>efficient join processing using partial precomputation<>kais<>mong-li lee<>
21898<>6014_0<>diego fernandez-duque<>attention metaphors: how metaphors guide the cognitive psychology of attention<>cogsci<>mark l. johnson<>
24809<>6022_1<>avi wigderson<>improved derandomization of bpp using a hitting set generator<>random<>oded goldreich<>
24812<>6022_4<>erez petrank<>quantifying knowledge complexity<>cc<>oded goldreich<>
24817<>6022_9<>ran canetti:shafi goldwasser:silvio micali<>resettable zero-knowledge<>eccc<>oded goldreich<>
24819<>6022_11<>amit sahai:salil p. vadhan<>can statistical zero knowledge be made non-interactive? or on the relationship of szk and niszk<>crypto<>oded goldreich<>
24839<>6022_31<>ziv bar-yossef:avi wigderson<>deterministic amplification of space-bounded probabilistic algorithms<>coco<>oded goldreich<>
24846<>6022_38<>dana ron:madhu sudan<>chinese remaindering with errors<>stoc<>oded goldreich<>
24848<>6022_40<>daniele micciancio:shmuel safra:jean-pierre seifert<>approximating shortest lattice vectors is not harder than approximating closest lattice vectors<>ipl<>oded goldreich<>
24884<>6022_76<>yevgeniy dodis:eric lehman:sofya raskhodnikova:dana ron:alex samorodnitsky<>improved testing algorithms for monotonicity<>random<>oded goldreich<>
24887<>6022_79<>mihir bellare:hugo krawczyk<>stateless evaluation of pseudorandom functions: security beyond the birthday barrier<>crypto<>oded goldreich<>
24895<>6022_87<>amit sahai:salil p. vadhan<>can statistical zero knowledge be made non-interactive? or on the relationship of szk and niszk<>eccc<>oded goldreich<>
24902<>6022_94<>scott e. decatur:dana ron<>computational sample complexity<>siamcomp<>oded goldreich<>
24921<>6022_113<>yevgeniy dodis:eric lehman:sofya raskhodnikova:dana ron:alex samorodnitsky<>improved testing algorithms for monotonicity<>eccc<>oded goldreich<>
15543<>6025_3<>myong h. kang:judith n. froscher:amit p. sheth:krys kochut<>a multilevel secure workflow management system<>caise<>john a. miller<>
15564<>6025_24<>andrew f. seila<>scenario management in web-based simulation<>wsc<>john a. miller<>
15576<>6029_1<>edward l. mclarney:kenneth w. bauer jr.:robert fancher<>modeling leadership effects and recruit type in an army recruiting station<>wsc<>john o. miller<>
28262<>6044_12<>panos k. chrysanthis:shi-kuo chang<>establishing virtual enterprises by means of mobile agents<>ride<>sujata banerjee<>
28263<>6044_13<>miguel a. labrador<>packet dropping policies for atm and ip networks<>comsur<>sujata banerjee<>
28293<>6045_4<>vivek jain:sanjay shah<>regular multihop logical topologies for lightwave networks<>comsur<>subrata banerjee<>
30131<>6049_0<>a. jefferson offutt<>generating test data from sofl specifications<>jss<>shaoying liu<>
30133<>6049_2<>nulo<>verifying consistency and validity of formal specifications by testing<>fm<>shaoying liu<>
30135<>6049_4<>a. jefferson offutt:yiwei xiong<>criteria for generating specification-based tests<>iceccs<>shaoying liu<>
30138<>6049_7<>jin song dong<>an object semantic model of sofl<>ifm<>shaoying liu<>
16915<>6064_0<>patrick may:hannu tiitinen:risto j. ilmoniemi:gote nyman:risto naatanen<>frequency change detection in human auditory cortex<>jcns<>john g. taylor<>
30164<>6066_8<>nulo<>a winner-take-all circuit with controllable soft max property<>nips<>shih-chii liu<>
34853<>6067_0<>enhua wu:nelson l. max<>a selective rendering method for data visualization<>jvca<>wencheng wang<>
34854<>6067_1<>e. wu<>adaptable splatting for irregular volume rendering<>cgf<>w. wang<>
6784<>6091_25<>nulo<>designware: software development by refinement<>tcs<>doug smith<>
3367<>6093_2<>jou-ming chang:ming-tat ko<>lexbfs-ordering in asteroidal triple-free graphs<>isaac<>chin-wen ho<>
3368<>6093_3<>yu-chee tseng:san-yuan wang<>efficient broadcasting in wormhole-routed multicomputers: a network-partitioning approach<>tpds<>chin-wen ho<>
3369<>6093_4<>sun-yuan hsieh:gen-huey chen<>parallel decomposition of generalized series-parallel graphs<>jise<>chin-wen ho<>
3376<>6093_11<>sun-yuan hsieh:tsan-sheng hsu:ming-tat ko:gen-huey chen<>efficient parallel algorithms on distance hereditary graphs<>ppl<>chin-wen ho<>
3381<>6093_16<>peter shaohua deng:hong-yuan mark liao:hsiao-rong tyan<>wavelet-based off-line handwritten signature verification<>cviu<>chin wen ho<>
3386<>6093_21<>sun-yuan hsieh:gen-huey chen<>fault-free hamiltonian cycles in faulty arrangement graphs<>tpds<>chin-wen ho<>
26003<>6096_0<>qiaoliang li<>super edge connectivity properties of connected edge symmetric graphs<>networks<>qiao li<>
33782<>6124_1<>georgios sakas<>data intermixing and multi-volume rendering<>cgf<>wenli cai<>
38560<>6125_7<>marcos a. rodrigues<>geometrical analysis of two sets of 3d correspondence data patterns<>smi<>yonghuai liu<>
3017<>6133_0<>mark j. christensen<>a net practice for software project management<>software<>carl k. chang<>
15159<>6138_2<>martin aeschlimann:peter a. dinda:loukas f. kallivokas:bruce lowekamp:david r. o'hallaron<>preliminary report on the design of a framework for distributed visualization<>pdpta<>julio c. lopez<>
3013<>6139_0<>gary bishop:anselmo lastra<>ldi tree: a hierarchical representation for image-based rendering<>siggraph<>chun-fa chang<>
15120<>6140_6<>antonio mana:juan j. ortega<>cert'em: certification system based on electronic mail service structure<>cqre<>javier lopez<>
15121<>6140_7<>sigrid gurgens:rene peralta<>efficient detection of failure modes in electronic commerce protocols<>dexaw<>javier lopez<>
15139<>6140_25<>jorge davila:rene peralta<>implementation of virtual private networks at the transport layer<>isw<>javier lopez<>
6429<>6146_7<>nulo<>zero duality gap in integer programming: -norm surrogate constraint method<>orl<>duan li<>
6420<>6148_7<>richard r. muntz<>a collaboration specification language<>dsl<>du li<>
12165<>6165_4<>christian d. schunn<>the generality/specificity of expertise in scientific reasoning<>cogsci<>john r. anderson<>
20364<>6166_3<>nulo<>distributional similarity models: clustering vs. nearest neighbors<>acl<>lillian lee<>
20365<>6166_4<>nulo<>measures of distributional similarity<>acl<>lillian lee<>
20372<>6166_11<>ido dagan:fernando c. n. pereira<>similarity-based models of word cooccurrence probabilities<>ml<>lillian lee<>
12160<>6167_1<>rachael vincent:mervyn a. jack<>usability assessment of collaborative shared-space telepresence shopping services<>ecmast<>james anderson<>
20379<>6170_1<>jeremy g. siek:andrew lumsdaine<>generic graph algorithms for sparse matrix ordering<>iscope<>lie-quan lee<>
20380<>6170_2<>jeremy g. siek:andrew lumsdaine<>the generic graph component library<>oopsla<>lie-quan lee<>
33511<>6174_26<>ronald r. yager<>on how to merge sorted lists coming from different web search tools<>soco<>vladik kreinovich<>
33515<>6174_30<>daniel e. cooke<>automatic concurrency in sequencel<>entcs<>vladik kreinovich<>
33519<>6174_34<>c. hamzo<>on average bit complexity of interval arithmetic<>eatcs<>vladik kreinovich<>
33533<>6174_48<>ronald r. yager<>decision making under interval probabilities<>ijar<>vladik kreinovich<>
10652<>6185_9<>d. frank hsu:s. horiguchi<>generalized shuffle-exchange digraphs: hamiltonian properties<>iscas<>hongfang liu<>
10586<>6187_18<>rudy setiono<>a connectionist approach to generating oblique decision trees<>tsmc<>huan liu<>
10587<>6187_19<>manoranjan dash<>handling large unsupervised data via dimensionality reduction<>dmkd<>huan liu<>
10591<>6187_23<>nadeem ahmed syed:kah kay sung<>handling concept drifts in incremental learning with support vector machines<>kdd<>huan liu<>
10617<>6187_49<>hongjun lu<>mining weak rules<>compsac<>huan liu<>
10625<>6187_57<>hongjun lu:ling feng:farhad hussain<>efficient search of reliable exceptions<>pakdd<>huan liu<>
15928<>6190_6<>daniel mosse<>teaching real time oss with doritos<>sigcse<>jae c. oh<>
24300<>6192_6<>nulo<>agent-oriented software engineering<>maamaw<>nicholas r. jennings<>
24323<>6192_29<>michael wooldridge<>"agent technology: foundations, applications and markets."<>jasss<>nicholas r. jennings<>
24330<>6192_36<>nulo<>agent-based computing: promise and perils<>ijcai<>nicholas r. jennings<>
24344<>6192_50<>michael wooldridge<>software engineering with agents: pitfalls and pratfalls<>internet<>nicholas r. jennings<>
24348<>6192_54<>nulo<>agent-oriented software engineering<>ieaaie<>nicholas r. jennings<>
24377<>6192_83<>jordi sabater:carles sierra:simon parsons<>using multi-context systems to engineer executable agents<>atal<>nicholas r. jennings<>
24393<>6192_99<>carles sierra:peyman faratin<>a service-oriented negotiation model between autonomous agents<>collaboration<>nicholas r. jennings<>
24406<>6192_112<>michael wooldridge:david kinny<>a methodology for agent-oriented analysis and design<>agents<>nicholas r. jennings<>
24421<>6192_127<>michael wooldridge<>the cooperative problem-solving process<>logcom<>nicholas r. jennings<>
24426<>6192_132<>lisa hogg<>variable sociability in agent-based decision making<>atal<>nicholas r. jennings<>
24443<>6192_149<>m. a. gibney:n. j. vriend:jose-marie griffiths<>market-based call routing in telecommunications networks using adaptive pricing and real bidding<>iata<>nicholas r. jennings<>
11381<>6201_35<>carlo zaniolo<>user-defined aggregates for datamining<>dmkd<>haixun wang<>
11400<>6201_54<>carlo zaniolo<>user-defined aggregates in database languages<>dbpl<>haixun wang<>
14059<>6213_0<>chen-yang pan:kwang-ting cheng<>specification back-propagation and its application to dc fault simulation for analog/mixed-signal circuits<>vts<>jiun-lang huang<>
33788<>6218_0<>a. stephen morse<>exponentially stable positioning of a rigid robot using stereo vision<>icra<>wen-chung chang<>
14096<>6219_10<>klaus mueller:naeem shareef:roger crawfis<>high-quality splatting on rectilinear grids with efficient culling of occluded voxels<>tvcg<>jian huang<>
11448<>6220_12<>randy h. katz:jochen giese<>policy-enabled handoffs across heterogeneous wireless networks<>wmcsa<>helen j. wang<>
14097<>6221_0<>chih-tsun huang:chi-feng wu:cheng-wen wu:tsin-yuan chang<>a programmable bist core for embedded dram<>dt<>jing-reng huang<>
11469<>6222_12<>nulo<>on the maximum number of independent cycles in a graph<>dm<>hong wang<>
11470<>6222_13<>nulo<>bipartite graphs containing every possible pair of cycles<>dm<>hong wang<>
11476<>6222_19<>bert randerath:ingo schiermeyer<>on quadrilaterals in a graph<>dm<>hong wang<>
14083<>6225_15<>tomas feder:pavol hell<>list homomorphisms and circular arc graphs<>combinatorica<>jing huang<>
10890<>6240_11<>sinh hoa nguyen:andrzej skowron<>decomposition of task specification problems<>ismis<>hung son nguyen<>
10893<>6240_14<>hui wang<>text classification using lattice machine<>ismis<>hung son nguyen<>
10895<>6240_16<>sinh hoa nguyen<>rough sets and association rule generation<>fuin<>hung son nguyen<>
36279<>6242_0<>da-wei wang:c. k. wong<>the strong hall property and symmetric chain orders<>dm<>xiaoyun lu<>
40709<>6254_2<>hideya iwasaki:masato takeichi<>calculating accumulations<>ngc<>zhenjiang hu<>
40726<>6254_19<>masato takeichi:hideya iwasaki<>diffusion: calculating efficient parallel programs<>pepm<>zhenjiang hu<>
40742<>6257_1<>nulo<>a generalization of fan's condition and forbidden subgraph conditions for hamiltonicity<>dm<>zhiquan hu<>
36553<>6274_0<>yi-jun zhang:liang-zheng xia<>a fast recurring two-dimensional entropic thresholding algorithm<>pr<>xue-jing wu<>
7876<>6286_9<>predrag r. jelenkovic<>performance of the move-to-front algorithm with markov-modulated request sequences<>orl<>edward g. coffman jr.<>
7912<>6286_45<>philippe robert:alexander l. stolyar<>the interval packing process of linear networks<>sigmetrics<>edward g. coffman jr.<>
7937<>6286_70<>alexander l. stolyar<>"fluid limits, bin packing, and stochastic analysis of algorithms."<>soda<>edward g. coffman jr.<>
7964<>6288_10<>nulo<>control choices and network effects in hypertext systems<>ht<>e. james whitehead jr.<>
7971<>6288_17<>yaron y. goland<>webdav: a network protocol for remote collaborative authoring on the web<>ecscw<>e. james whitehead jr.<>
7977<>6288_23<>nulo<>goals for a configuration management network protocol<>scm<>e. james whitehead jr.<>
7988<>6289_6<>ronald c. read<>chromatic polynomials of homeomorphism classes of graphs<>dm<>earl glen whitehead jr.<>
17863<>6326_2<>mukesh singhal<>design of a high-performance atm firewall<>tissec<>jun xu<>
17864<>6326_3<>mukesh singhal<>a firewalling scheme for securing mpoa-based enterprise networks<>ijseke<>jun xu<>
17856<>6327_3<>ludmil zikatanov<>a monotone finite element scheme for convection-diffusion equations<>moc<>jinchao xu<>
33856<>6339_3<>jiun-ji liu<>high speed ip switching over the etherswitch<>icppw<>wen-shyen e. chen<>
33857<>6339_4<>woei lin<>efficient nonblocking multicast communications on baseline networks<>comcom<>wen-shyen e. chen<>
592<>6344_10<>bertram ludascher<>modeling interactive web sources for information mediation<>er<>amarnath gupta<>
596<>6344_14<>chaitanya k. baru<>an extensible information model for shared scientific data collections<>fgcs<>amarnath gupta<>
602<>6344_20<>richard marciano:ilya zaslavsky:chaitanya k. baru<>integrating gis and imagery through xml-based information mediation<>isd<>amarnath gupta<>
607<>6344_25<>chaitanya k. baru:vincent chu:bertram ludascher:richard marciano:yannis papakonstantinou:pavel velikhov<>xml-based information mediation for digital libraries<>dl<>amarnath gupta<>
619<>6344_37<>shailendra k. bhonsle:simone santini:marcel worring:ramesh jain<>complex visual activity recognition using a temporally ordered database<>visual<>amarnath gupta<>
621<>6344_39<>chaitanya k. baru:bertram ludascher:richard marciano:yannis papakonstantinou:pavel velikhov:vincent chu<>xml-based information mediation with mix<>sigmod<>amarnath gupta<>
707<>6348_5<>james p. delgrande:tim van allen<>point-based approaches to qualitative temporal reasoning<>aaai<>arvind gupta<>
717<>6348_15<>damon kaller:thomas c. shermer<>on the complements of partial k-trees<>icalp<>arvind gupta<>
649<>6350_9<>pranav ashar:anand raghunathan:subhrajit bhattacharya<>verification of scheduling in the presence of loops using uninterpreted symbolic simulation<>iccd<>aarti gupta<>
652<>6350_12<>pranav ashar:sharad malik<>exploiting retiming in a guided simulation based validation methodology<>charme<>aarti gupta<>
12992<>6357_4<>mubarak shah<>toward 3-d gesture recognition<>ijprai<>james w. davis<>
12998<>6357_10<>aaron f. bobick:stephen s. intille:freedom baird:claudio s. pinhanez:lee w. campbell:yuri a. ivanov:arjan schutte:andrew d. wilson<>the kidsroom: a perceptually-based interactive and immersive story environment<>presence<>james w. davis<>
35325<>6360_2<>tyng-yeu liang:ce-kuen shieh<>a hopfield neural network based task mapping method<>comcom<>wanlei zhu<>
13052<>6369_2<>benjamin barden:ran libeskind-hadas:william williams<>on edge-disjoint spanning trees in hypercubes<>ipl<>janet davis<>
1588<>6370_6<>min zhou<>analysis of personal computer workloads<>mascots<>alan jay smith<>
1607<>6370_25<>jeffrey b. rothman<>the pool of subsectors cache design<>ics<>alan jay smith<>
1615<>6370_33<>jeffrey b. rothman<>multiprocessor memory reference generation using cerberus<>mascots<>alan jay smith<>
5619<>6374_0<>kevin ying:david m. arnow<>evaluating communication protocols for webcomputing<>pdpta<>dayton clark<>
41638<>6377_28<>shifu chen:zhaoqian chen<>mining typhoon knowledge with neural networks<>ictai<>zhi-hua zhou<>
18878<>6382_15<>victor c. s. lee:ben kao<>priority scheduling of transactions in distributed real-time databases<>rts<>kam-yiu lam<>
18883<>6382_20<>mei-wau au:edward chan<>broadcast of consistent data to read-only transactions from mobile clients<>wmcsa<>kam-yiu lam<>
18895<>6382_32<>edward chan:joe chun-hung yuen<>data broadcast for time-constrained read-only transactions in mobile computing systems<>wecwis<>kam-yiu lam<>
5597<>6385_6<>cheng liao:margaret martonosi<>an adaptive globally-synchronizing clock algorithm and its implementation on a myrinet-based pc cluster<>sigmetrics<>douglas w. clark<>
5601<>6385_10<>yuanyuan zhou:limin wang:kai li<>thread scheduling for out-of-core applications with memory server on multicomputers<>iopads<>douglas w. clark<>
5603<>6385_12<>cheng liao:margaret martonosi<>experience with an adaptive globally-synchronizing clock algorithm<>spaa<>douglas w. clark<>
14971<>6393_5<>jian-bing wu<>evolutionary group robots for collective world modeling<>agents<>jiming liu<>
15009<>6393_43<>hong qin<>organizing synthetic agent behaviors based on a motif architecture<>agents<>jiming liu<>
6623<>6395_0<>k. l. kowalski:a. lozowski<>synchronization and anti-synchronization of chua's oscillators via a piecewise linear coupling circuit<>iscas<>d. a. miller<>
14952<>6396_8<>david m. nicol:brian j. premore:anna l. poplawski<>performance prediction of a parallel simulator<>pads<>jason liu<>
6622<>6397_0<>hui-chuan chen:jessica matson:qiang liu<>a hybrid genetic algorithm for the single machine scheduling problem<>heuristics<>david m. miller<>
40701<>6404_1<>jeffrey xu yu<>object placement in parallel oodbms<>adc<>z. he<>
390<>6420_0<>sarit mukherjee:igor r. viguier<>buffer management in real-time active database systems<>tsmc<>anindya datta<>
26650<>6425_2<>sunil p. khatri<>multi-valued logic synthesis<>vlsid<>robert k. brayton<>
3771<>6428_2<>sheayun lee:sang lyul min:chong-sang kim:minsuk lee<>cache-conscious limited preemptive scheduling<>rts<>chang-gun lee<>
3799<>6434_0<>john p. lehoczky:daniel p. siewiorek:ragunathan rajkumar:jeffery p. hansen<>a scalable solution to the multi-resource qos problem<>rtss<>chen lee<>
3800<>6434_1<>john p. lehoczky:ragunathan rajkumar:daniel p. siewiorek<>on quality of service optimization with discrete qos options<>rtas<>chen lee<>
6558<>6435_0<>alin deutsch:mary f. fernandez:daniela florescu:alon y. levy:dan suciu<>querying xml data<>debu<>david maier<>
3808<>6437_2<>junku yuh:jing nie<>experimental study on adaptive control of underwater robots<>icra<>c. s. george lee<>
26952<>6442_4<>theresa p. vaughan<>"on union-closed families, i."<>jct<>robert t. johnson<>
2720<>6457_6<>rajeev alur<>``next'' heuristic for on-the-fly model checking<>concur<>bow-yaw wang<>
28615<>6482_0<>stephen f. smith<>introducing a new advantage of crossover: commonality-based selection<>gecco<>stephen y. chen<>
28616<>6482_1<>cesar guerra-salcedo:stephen f. smith<>non-standard crossover for a standard representation - commonality-based feature subset selection<>gecco<>stephen y. chen<>
25500<>6486_3<>barbara tversky<>pictorial and verbal tools for conveying routes<>cosit<>paul u. lee<>
25478<>6489_0<>nulo<>"career strategies, job plateau, career plateau, and job satisfaction among information technology professionals."<>sigcpr<>patrick chang boon lee<>
25481<>6489_3<>amit das:christina soh<>client satisfaction with outsourced it services: a transaction-cost approach<>icis<>patrick chang boon lee<>
25482<>6489_4<>amit das:christina soh<>a model of customer satisfaction with information technology service providers: an empirical study<>sigcpr<>patrick chang boon lee<>
28559<>6490_20<>srinivas sista:mei-ling shyu:rangasami l. kashyap<>augmented transition networks as video browsing models for multimedia databases and multimedia information systems<>ictai<>shu-ching chen<>
28578<>6490_39<>mei-ling shyu:rangasami l. kashyap<>discovering quasi-equivalence relationships from database systems<>cikm<>shu-ching chen<>
9864<>6500_5<>chang yong han:hwan pyo moon:kyeong hah roh:nam-sook wee<>medial axis transform and offset curves by minkowski pythagorean hodograph curves<>cad<>hyeong in choi<>
32887<>6506_22<>davi geiger<>approximate tree matching and shape similarity<>iccv<>tyng-luh liu<>
36096<>6514_0<>nulo<>visual mesh<>sigir<>xia lin<>
36067<>6516_20<>chengfei liu:xiaofang zhou:maria e. orlowska<>building a repository for workflow systems<>tools<>xuemin lin<>
36072<>6516_25<>xiaomei zhou:chengfei liu<>efficiently matching proximity relationships in spatial databases<>ssd<>xuemin lin<>
36073<>6516_26<>yijun li:chi ping tsang<>applying on-line bitmap indexing to reduce counting costs in mining association rules<>isci<>xuemin lin<>
36075<>6516_28<>chengfei liu:yanchun zhang:xiaofang zhou<>efficiently computing frequent tree-like topology patterns in a web environment<>tools<>xuemin lin<>
4037<>6522_0<>vijay karamcheti:igor pechtchanski:c. yap<>a core library for robust numeric and geometric computation<>compgeom<>c. li<>
4035<>6525_0<>tianpeng wang:c. c. shaw<>pixel-wise fusion for optimizing snr in multiple-plate computed radiography imaging<>tmi<>ching-chung li<>
29139<>6539_2<>chu-cheow lim:boon-ping gan:yoke-hean low<>criticality of detailed modeling in semiconductor supply chain simulation<>wsc<>sanjay jain<>
29146<>6539_9<>chu-cheow lim:yoke-hean low:boon-ping gan:wentong cai:wen-jing hsu:shell-ying huang<>performance prediction tools for parallel discrete-event simulation<>pads<>sanjay jain<>
28029<>6542_20<>thomas e. anderson:david a. patterson<>virtual log based file systems for a programmable disk<>osdi<>randolph y. wang<>
28035<>6546_0<>james e. cutting<>a probabilistic model for recovering camera translation<>cviu<>ranxiao frances wang<>
39308<>6550_23<>san-yuan wang:sze-yao ni:jang-ping sheu<>circuit-switched broadcast in multi-port 2d tori<>hpcn<>yu-chee tseng<>
39332<>6550_47<>sze-yao ni:jang-ping sheu<>toward optimal complete exchange on wormhole-routed tori<>tc<>yu-chee tseng<>
39334<>6550_49<>sze-yao ni:yuh-shyan chen:jang-ping sheu<>the broadcast storm problem in a mobile ad hoc network<>mobicom<>yu-chee tseng<>
39335<>6550_50<>san-yuan wang:sze-yao ni:jang-ping sheu<>circuit-switched broadcasting in multi-port multi-dimensional torus networks<>europar<>yu-chee tseng<>
28428<>6555_47<>gennaro costagliola<>using linear positional grammars for the lr parsing of 2-d symbolic languages<>grammars<>shi-kuo chang<>
28449<>6555_68<>john r. smith<>integrated spatial and feature image query<>mms<>shih-fu chang<>
28469<>6556_1<>hark-chin hwang<>the worst-case analysis of the multifit algorithm for scheduling nonsimultaneous parallel machines<>dam<>soo y. chang<>
12057<>6557_0<>joseph a. insley:gregor von laszewski:carl kesselman:marcus thiebaux<>distance visualization: data exploration on the grid<>computer<>ian t. foster<>
12062<>6557_5<>joseph bester:carl kesselman:jean tedesco:steven tuecke<>gass: a data movement and access service for wide area computing systems<>iopads<>ian t. foster<>
12067<>6557_10<>carl kesselman<>the globus project: a status report<>fgcs<>ian t. foster<>
12071<>6557_14<>werner benger:jason novotny:edward seidel:john shalf:warren smith:paul walker<>numerical relativity in a distributed environment<>ppsc<>ian t. foster<>
12079<>6557_22<>paul stelling:cheryl dematteis:carl kesselman:craig a. lee:gregor von laszewski<>a fault detection service for wide area distributed computations<>cluster<>ian t. foster<>
12080<>6557_23<>warren smith:valerie e. taylor<>using run-time predictions to estimate queue wait times and improve scheduler performance<>ipps<>ian t. foster<>
12091<>6557_34<>john bresnahan:joseph a. insley:brian r. toonen:steven tuecke<>communication services for advanced network applications<>pdpta<>ian t. foster<>
21817<>6562_7<>nobutaka suzuki:jun okui<>on the possibility of path expressions containing backward navigations in object-oriented databases<>scjapan<>minoru ito<>
21826<>6565_1<>elizabeth d. mynatt:annette adler:charlotte linde:vicki l. o'day<>the network communities of seniornet<>ecscw<>mizuko ito<>
20681<>6576_3<>peter che bor lam:wai chee shiu<>on independent domination number of regular graphs<>dm<>liang sun<>
20684<>6576_6<>jianfang wang<>an upper bound for the independent domination number<>jct<>liang sun<>
40821<>6579_6<>yonghong song<>new tiling techniques to improve cache temporal locality<>pldi<>zhiyuan li<>
40822<>6579_7<>yonghong song<>a compiler framework for tiling imperfectly-nested loops<>lcpc<>zhiyuan li<>
40828<>6579_13<>nulo<>reducing cache conflicts by partitioning and privatizing shared arrays<>IEEEpact<>zhiyuan li<>
1286<>6584_0<>olivier bournez:oded maler<>orthogonal polyhedra: representation and computation<>hybrid<>amir pnueli<>
1314<>6584_28<>bengt jonsson:camilla rump<>proving refinement using transduction<>dc<>amir pnueli<>
1321<>6584_35<>yoav rodeh:ofer strichman:michael siegel<>deciding equality formulas by small domains instantiations<>cav<>amir pnueli<>
1331<>6584_45<>karine altisen:gregor gssler:joseph sifakis:stavros tripakis:sergio yovine<>a framework for scheduler synthesis<>rtss<>amir pnueli<>
1336<>6584_50<>ofer strichman:michael siegel<>translation validation: from signal to c<>birthday<>amir pnueli<>
1356<>6584_70<>yonit kesten<>verifying liveness by augmented abstraction<>csl<>amir pnueli<>
1405<>6584_119<>yonit kesten:joseph sifakis:sergio yovine<>decidable integration graphs<>iandc<>amir pnueli<>
13406<>6610_4<>akio kosaka:avinash c. kak<>interactive color image segmentation editor driven by active contour model<>icip<>jean gao<>
4834<>6620_0<>andre e. kezdy<>alternating walks in partially 2-edge-colored graphs and optimal strength of graph labeling<>dm<>chi wang<>
32684<>6627_2<>jongwon kim:c. c. jay kuo<>motion-compensated frame interpolation scheme for h.263 codec<>iscas<>tien-ying kuo<>
33398<>6628_1<>roberto bruni:jose meseguer:vladimiro sassone<>functorial semantics for petri nets under the individual token philosophy<>tcs<>ugo montanari<>
33231<>6642_1<>nadimpalli v. r. mahadev<>on uniquely intersectable graphs<>dm<>tao-ming wang<>
1110<>6653_3<>nulo<>relating z and first-order logic<>fm<>andrew martin<>
1132<>6657_0<>christine a. orengo:frances m. g. pearl:james e. bray:annabel e. todd:loredana lo conte:janet m. thornton<>the cath database provides insights into protein structure/function relationships<>nar<>a. c. martin<>
4266<>6660_7<>shashi shekhar:sanjay chawla:sivakumar ravada:andrew fetterer:xuan liu<>spatial databases - accomplishments and research needs<>tkde<>chang-tien lu<>
4283<>6665_0<>david a. mix barrington:peter bro miltersen:sven skyum<>on monotone planar circuits<>coco<>chi-jen lu<>
41493<>6671_8<>raymond w. yeung<>distributed source coding for satellite communications<>tit<>zhen zhang<>
41497<>6671_12<>raymond w. yeung<>on symmetrical multilevel diversity coding<>tit<>zhen zhang<>
41500<>6671_15<>rudolf ahlswede<>on maximal shadows of members in left-compressed sets<>dam<>zhen zhang<>
41461<>6673_22<>subhabrata sen:donald f. towsley:jayanta k. dey<>optimal multicast smoothing of streaming video over an internetwork<>infocom<>zhi-li zhang<>
41415<>6674_5<>heung-yeung shum:qifa ke<>efficient bundle adjustment with virtual key frames: a hierarchical approach to multi-frame structure from motion<>cvpr<>zhengyou zhang<>
41416<>6674_6<>charles t. loop<>computing rectifying homographies for stereo vision<>cvpr<>zhengyou zhang<>
41422<>6674_12<>nulo<>feature-based facial expression recognition: sensitivity analysis and experiments with a multilayer perceptron<>ijprai<>zhengyou zhang<>
41436<>6674_26<>p. anandan:heung-yeung shum<>what can be determined from a full and a weak perspective image?<>iccv<>zhengyou zhang<>
3693<>6675_29<>nulo<>scientific decisions which characterize vdm<>fm<>cliff b. jones<>
1920<>6684_57<>nulo<>geometric searching over the rationals<>esa<>bernard chazelle<>
1951<>6684_88<>hervo bronnimann:jiri matousek<>"product range spaces, sensitive sampling, and derandomization."<>siamcomp<>bernard chazelle<>
1959<>6684_96<>amit chakrabarti:benjamin gum:alexey lvov<>a lower bound on the complexity of approximate nearest-neighbor searching on the hamming cube<>stoc<>bernard chazelle<>
5659<>6707_0<>guo-hui lin:xiao-dong hu:guoliang xue<>on rearrangeability of multirate clos networks<>siamcomp<>ding-zhu du<>
18422<>6710_19<>kwok-yan lam<>securing digital signatures for non-repudiation<>comcom<>jianying zhou<>
18439<>6710_36<>robert h. deng:feng bao<>evolution of fair non-repudiation with ttp<>acisp<>jianying zhou<>
18451<>6716_2<>qiang gan:adam krzyzak:ching y. suen<>recognition of handwritten numerals by quantum neural network with fuzzy features<>ijdar<>jie zhou<>
6644<>6719_3<>cyril gavoille<>the compactness of interval routing<>siamdm<>david peleg<>
6662<>6719_21<>christian laforest:arthur l. liestman:thomas c. shermer:dominique sotteau<>edge-disjoint spanners of complete graphs and complete digraphs<>dm<>david peleg<>
26364<>6741_6<>roberto j. bayardo jr.<>mining the most interesting rules<>kdd<>rakesh agrawal<>
3334<>6743_2<>steve lawrence:kurt d. bollacker<>digital libraries and autonomous citation indexing<>computer<>c. lee giles<>
3337<>6743_5<>eric j. glover:steve lawrence:william p. birmingham<>architecture of a metasearch engine that supports user information needs<>cikm<>c. lee giles<>
3345<>6743_13<>steve lawrence:kurt d. bollacker<>autonomous citation matching<>agents<>c. lee giles<>
3353<>6743_21<>steve lawrence:kurt d. bollacker<>indexing and retrieval of scientific literature<>cikm<>c. lee giles<>
3354<>6743_22<>steve lawrence<>text and image metasearch on the web<>pdpta<>c. lee giles<>
29792<>6746_0<>kanad chakraborty:anurag gupta:mayukh bhattacharya:pinaki mazumder<>a physical design tool for built-in self-repairable static rams<>date<>shriram kulkarni<>
29783<>6748_20<>edwin k. p. chong:i-jeng wang<>noise conditions for prespecified convergence rates of stochastic approximation algorithms<>tit<>sanjeev r. kulkarni<>
29753<>6749_22<>john m. rushby:natarajan shankar<>a case-study in component-based mechanical verification of fault-tolerant programs<>wss<>sandeep s. kulkarni<>
37733<>6751_6<>aris floratos:isidore rigoutsos:laxmi parida:gustovo stolovitzky<>sequence homology detection through large scale pattern discovery<>recomb<>yuan gao<>
2811<>6757_10<>youngjun yoo:antonio ortega<>image subband coding using context-based classification and adaptive quantization<>tip<>bin yu<>
19336<>6761_9<>tao chen:li-hui chen<>tri-state median filter for image denoising<>tip<>kai-kuang ma<>
19340<>6761_13<>jinghong mao<>semantic spatio-temporal segmentation for extracting video objects<>icmcs<>kai-kuang ma<>
40802<>6771_17<>john bell<>seeing is believing: a common sense theory of the adoption of perception-based beliefs<>aiedam<>zhisheng huang<>
11504<>6772_4<>zheng li<>real-time 3d motion tracking with known geometric models<>rti<>han wang<>
11509<>6772_9<>zhiqiang zheng:eam khwang teoh<>analysis of gray level corner detection<>prl<>han wang<>
11510<>6772_10<>wei-yun yau<>fast relative depth computation for an active stereo vision system<>rti<>han wang<>
9088<>6831_23<>ian j. hayes<>towards real-time object-z<>ifm<>graeme smith<>
35347<>6843_0<>tom snethen:joe swenton:ron walther<>a simplified method for testing the ibm pipeline partial-scan microprocessor<>ats<>xinghao chen<>
7424<>6845_13<>yisheng dong<>a data model and algebra for the web<>dexaw<>dell zhang<>
7431<>6855_0<>martial hebert<>experimental analysis of harmonic shape images<>3dim<>dongmei zhang<>
7432<>6855_1<>martial hebert<>harmonic maps and their applications in surface matching<>cvpr<>dongmei zhang<>
5161<>6877_5<>hsinchun chen:k. k. hong<>visualization tools for self-organizing maps<>dl<>christopher c. yang<>
5146<>6880_3<>jau-hsiung huang:nai-cheng fang<>a novel congestion control mechanism for multicast real-time connections<>comcom<>chun-chuan yang<>
21523<>6881_0<>dan suciu:igor tatarinov<>declarative specification of data-intensive web sites<>dsl<>mary f. fernandez<>
21529<>6881_6<>alin deutsch:dan suciu<>storing semistructured data with stored<>sigmod<>mary f. fernandez<>
21531<>6881_8<>alin deutsch:daniela florescu:alon y. levy:dan suciu<>a query language for xml<>cn<>mary f. fernandez<>
21533<>6881_10<>daniela florescu:alon y. levy:dan suciu<>verifying integrity constraints on web sites<>ijcai<>mary f. fernandez<>
21535<>6881_12<>alin deutsch:daniela florescu:alon y. levy:david maier:dan suciu<>querying xml data<>debu<>mary f. fernandez<>
2320<>6889_7<>nulo<>a really good idea<>computer<>bertrand meyer<>
2328<>6889_15<>nulo<>managing by contract<>tools<>bertrand meyer<>
2337<>6889_24<>nulo<>"design by contract, components and debugging."<>joop<>bertrand meyer<>
2373<>6889_60<>nulo<>on to components<>computer<>bertrand meyer<>
14375<>6893_0<>minjeong kim:seungyun lee:injae park:sooyong park<>agent-oriented software modeling<>apsec<>jintae kim<>
14354<>6897_1<>sung tak kang:myoung-ho kim<>on temporal aggregate processing based on time points<>ipl<>jong soo kim<>
14357<>6897_4<>sung tak kang:myoung-ho kim<>effective temporal aggregation using point-based trees<>dexa<>jong soo kim<>
17006<>6903_3<>lars arge:vasilis samoladas<>on two-dimensional indexability and optimal range search indexing<>pods<>jeffrey scott vitter<>
17016<>6903_13<>lars arge:klaus hinrichs:jan vahrenhold<>efficient bulk operations on dynamic r-trees<>alenex<>jeffrey scott vitter<>
17021<>6903_18<>nulo<>online data structures in external memory<>wads<>jeffrey scott vitter<>
17033<>6903_30<>rakesh d. barve<>a simple and efficient parallel disk mergesort<>spaa<>jeffrey scott vitter<>
17034<>6903_31<>p. krishnan:philip m. long<>adaptive disk spindown via optimal rent-to-buy in probabilistic environments<>algorithmica<>jeffrey scott vitter<>
17051<>6903_48<>rakesh d. barve:elizabeth a. m. shriver:phillip b. gibbons:bruce hillyer:yossi matias<>modeling and optimizing i/o throughput of multiple disks on a bus<>sigmetrics<>jeffrey scott vitter<>
17069<>6903_66<>dzung t. hoang:philip m. long<>dictionary selection using partial matching<>isci<>jeffrey scott vitter<>
17072<>6903_69<>min wang<>approximate computation of multidimensional aggregates of sparse data using wavelets<>sigmod<>jeffrey scott vitter<>
17106<>6903_103<>nulo<>online data structures in external memory<>icalp<>jeffrey scott vitter<>
2094<>6916_1<>hantak kwak:ali r. hurson:suk-han yoon:woo-jong hahn<>effects of multithreading on cache performance<>tc<>ben lee<>
