15780<>0_6<>arnaud tisserand:alexandre scherbyna<>semi-logarithmic number systems<>arith<>jean-michel muller<>
26576<>17_23<>patricio v. poblete<>higher-order analysis of 2-3 trees<>ijfcs<>ricardo a. baeza-yates<>
26583<>17_30<>david a. fuller:jose a. pino:seymour e. goodman<>computing in chile: the jaguar of the pacific rim?<>cacm<>ricardo a. baeza-yates<>
26617<>17_64<>nulo<>fringe analysis revisited<>csur<>ricardo a. baeza-yates<>
26638<>17_85<>eduardo f. barbosa:gonzalo navarro:chris h. perleberg:nivio ziviani<>optimized binary search and text retrieval<>esa<>ricardo a. baeza-yates<>
26643<>17_90<>rene schott<>parallel searching in the plane<>comgeo<>ricardo a. baeza-yates<>
23314<>18_3<>jean-daniel boissonnat:boaz tagansky:mariette yvinec<>voronoi diagrams in higher dimensions under certain polyhedral distance functions<>compgeom<>micha sharir<>
23319<>18_8<>pankaj k. agarwal<>efficient randomized algorithms for some geometric optimization problems<>compgeom<>micha sharir<>
23323<>18_12<>pankaj k. agarwal:boris aronov:janos pach:richard pollack<>quasi-planar graphs have a linear number of edges<>gd<>micha sharir<>
23332<>18_21<>mark de berg:leonidas j. guibas:dan halperin:mark h. overmars:otfried schwarzkopf:monique teillaud<>reaching a goal with directional uncertainty<>tcs<>micha sharir<>
23333<>18_22<>pankaj k. agarwal:alon efrat<>vertical decomposition of shallow levels in 3-dimensional arrangements and its applications<>compgeom<>micha sharir<>
23335<>18_24<>dan halperin<>almost tight upper bounds for the single cell and zone problems in three dimensions<>dcg<>micha sharir<>
23337<>18_26<>nulo<>"arrangements in higher dimensions: voronoi diagrams, motion planning, and other applications."<>wads<>micha sharir<>
10946<>21_15<>didier dubois<>possibility theory as a basis for qualitative decision theory<>ijcai<>henri prade<>
25064<>25_2<>alon efrat:micha sharir<>vertical decomposition of shallow levels in 3-dimensional arrangements and its applications<>compgeom<>pankaj k. agarwal<>
25076<>25_14<>boris aronov:janos pach:richard pollack:micha sharir<>quasi-planar graphs have a linear number of edges<>gd<>pankaj k. agarwal<>
25078<>25_16<>prabhakar raghavan:hisao tamaki<>motion planning for a steering-constrained robot through moderate obstacles<>stoc<>pankaj k. agarwal<>
25081<>25_19<>boris aronov:subhash suri<>stabbing triangulations by lines in 3d<>compgeom<>pankaj k. agarwal<>
33416<>32_7<>adam a. porter:lawrence g. votta<>comparing detection methods for software requirements inspections: a replicated experiment<>tse<>victor r. basili<>
33448<>32_39<>lionel c. briand:walcelio l. melo:carolyn b. seaman<>characterizing and assessing a large-scale software maintenance organization<>icse<>victor r. basili<>
33462<>32_53<>nulo<>the experience factory and its relationship to other quality approaches<>ac<>victor r. basili<>
26755<>53_10<>yoram ofek:adrian segall<>a new label-based source routing for multi-ring networks<>ton<>reuven cohen<>
26766<>53_21<>baiju v. patel:adrian segall<>handover in a micro-cell packet switched mobile network<>infocom<>reuven cohen<>
18758<>57_4<>chiaki sakama<>abductive framework for nonmonotonic theory change<>ijcai<>katsumi inoue<>
18782<>57_28<>chiaki sakama<>embedding circumscriptive theories in general disjunctive programs<>lpnmr<>katsumi inoue<>
4452<>70_2<>shyh-jye jou:kou-fong liu<>circuits design optimization using symbolic approach<>iscas<>chauchin su<>
27254<>71_0<>anthony c. stylianou<>managing flexibility in distributed information systems architectures<>icis<>ram l. kumar<>
27242<>78_3<>mark a. shayman<>supervisory control of real-time systems using prioritized synchronization<>hybrid<>ratnesh kumar<>
10852<>99_11<>paul w. a. stallard:david h. d. warren<>the application of skewed-associative memories to cache only memory architectures<>icpp<>henk l. muller<>
10871<>99_30<>paul w. a. stallard:david h. d. warren<>hiding miss latencies with multithreading on the data diffusion machine<>icpp<>henk l. muller<>
34495<>100_4<>nulo<>a declarative approach to incremental custom computing<>fccm<>w. luk<>
34546<>100_55<>adrian lawrence:andrew kay:toshio nomura:ian page<>using reconfigurable hardware to speed up product development and performance<>fpl<>wayne luk<>
34556<>100_65<>shaori guo<>compiling ruby into fpgas<>fpl<>wayne luk<>
8044<>102_1<>siyad c. ma<>open faults in bicmos gates<>tcad<>edward j. mccluskey<>
23409<>106_15<>greg meredith:christine tomlinson:paul c. attie<>an event algebra for specifying and scheduling workflows<>dasfaa<>munindar p. singh<>
23440<>106_46<>nulo<>semantical considerations on some primitives for agent specification<>atal<>munindar p. singh<>
6595<>123_7<>r. peter bonasso:david kortenkamp:marc g. slack<>"experiences with an architecture for intelligent, reactive agents."<>atal<>david p. miller<>
6605<>124_6<>ajit v. rao:kenneth rose:allen gersho<>an information-theoretic learning algorithm for neural network classification<>nips<>david j. miller<>
32828<>135_30<>nulo<>workshop on rough sets and database mining<>acm<>tsau young lin<>
32835<>140_2<>c. lee giles:bill g. horne<>learning a class of large finite state machines with a recurrent neural network<>nn<>tsungnan lin<>
5738<>153_9<>nulo<>asymptotic speed-ups in constructive solid geometry<>algorithmica<>david eppstein<>
5739<>153_10<>nulo<>geometric lower bounds for parametric matroid optimization<>stoc<>david eppstein<>
5742<>153_13<>marshall w. bern:leonidas j. guibas:john hershberger:subhash suri:jan wolter<>the centroid of points with approximate weights<>esa<>david eppstein<>
5758<>153_29<>nulo<>subgraph isomorphism in planar graphs and related problems<>soda<>david eppstein<>
5777<>153_48<>marshall w. bern:david p. dobkin<>triangulating polygons without large angles<>ijcga<>david eppstein<>
5790<>153_61<>marshall w. bern:l. paul chew:jim ruppert<>dihedral bounds for mesh generation in high dimensions<>soda<>david eppstein<>
5816<>153_87<>gary l. miller:shang-hua teng<>a deterministic linear time algorithm for geometric separators and its applications<>fuin<>david eppstein<>
5853<>153_124<>matthew dickerson<>algorithms for proximity problems in higher dimensions<>comgeo<>david eppstein<>
5857<>153_128<>richard beigel<>3-coloring in time o(1.3446): a no-mis algorithm<>focs<>david eppstein<>
5860<>153_131<>nulo<>dynamic euclidean minimum spanning trees and extrema of binary functions<>dcg<>david eppstein<>
5712<>158_19<>henri prade<>possibility theory as a basis for qualitative decision theory<>ijcai<>didier dubois<>
22318<>160_0<>barry w. boehm:prasanta k. bose:ellis horowitz<>software requirements negotiation and renegotiation aids: a theory-w based spiral approach<>icse<>ming june lee<>
22291<>167_5<>nulo<>legal control of computer crime in hong kong<>imcs<>matthew k. o. lee<>
27150<>202_5<>michael j. e. sternberg:ashwin srinivasan<>relating chemical activity to structure: an examination of ilp successes<>ngc<>ross d. king<>
27163<>202_18<>michael j. e. sternberg:ashwin srinivasan:stephen muggleton<>drug design by machine learning<>mi<>ross d. king<>
34800<>210_19<>nulo<>on the colorings of outerplanar graphs<>dm<>weifan wang<>
1845<>216_0<>rolf drechsler<>learning heuristics by genetic algorithms<>aspdac<>bernd becker<>
1841<>225_2<>nelson l. max:david a. lane<>unsteady flow volumes<>visualization<>barry g. becker<>
17171<>234_10<>nulo<>average-case completeness of a word problem for groups<>stoc<>jie wang<>
17175<>234_14<>jay belanger<>on the np-isomorphism problem with respect to random instances<>jcss<>jie wang<>
39127<>248_1<>jian chen:shuzo yamamoto:shinichi tamura:noboru harada:takeshi shiga:seiyo harino:yusuke oshima<>measuring microcirculation using spatiotemporal image analysis<>cvrmed<>yoshinobu sato<>
11900<>267_0<>bo zhang:ling zhang<>the complexity of learning in pln networks<>nn<>huai zhang<>
30852<>269_19<>mahendra sekaran<>multiagent coordination with learning classifier systems<>ijcai<>sandip sen<>
30876<>269_43<>thomas haynes:roger l. wainwright<>evolving cooperation strategies<>icmas<>sandip sen<>
30883<>269_50<>edmund h. durfee<>unsupervised surrogate agents and search bias change in flexible distributed scheduling<>icmas<>sandip sen<>
30941<>270_31<>nulo<>fractional cascading revisited<>jal<>sandeep sen<>
30950<>273_0<>leslie knight<>please: a prototype learning system using genetic algorithms<>icga<>sandip sen<>
30955<>273_5<>leslie knight<>a genetic prototype learner<>ijcai<>sandip sen<>
30956<>273_6<>thomas haynes:roger l. wainwright:dale a. schoenefeld<>strongly typed genetic programming in evolving cooperation strategies<>icga<>sandip sen<>
29172<>280_13<>claudio bettini:xiaoyang sean wang:elisa bertino<>semantic assumptions and query evaluation in temporal databases<>sigmod<>sushil jajodia<>
29197<>280_38<>paul ammann:padmaja mavuluri<>on-the-fly reading of entire databases<>tkde<>sushil jajodia<>
29219<>280_60<>vijayalakshmi atluri:elisa bertino<>providing different degrees of recency options to transactions in multilevel secure databases<>dbsec<>sushil jajodia<>
29286<>280_127<>ouri wolfson<>an algorithm for dynamic data allocation in distributed systems<>ipl<>sushil jajodia<>
29327<>280_168<>elisa bertino:pierangela samarati<>database security: research and practice<>is<>sushil jajodia<>
29356<>280_197<>paul ammann:indrakshi ray<>using formal methods to reason about semantics-based decompositions of transactions<>vldb<>sushil jajodia<>
23585<>333_25<>nulo<>on the complexity of bounded-variable queries<>pods<>moshe y. vardi<>
23614<>333_54<>nulo<>an automata-theoretic approach to linear temporal logic<>banff<>moshe y. vardi<>
23621<>333_61<>phokion g. kolaitis<>on the expressive power of datalog: tools and a case study<>jcss<>moshe y. vardi<>
23633<>333_73<>ronald fagin:joseph y. halpern:yoram moses<>knowledge-based programs<>podc<>moshe y. vardi<>
23639<>333_79<>rob gerth:doron peled:pierre wolper<>simple on-the-fly automatic verification of linear temporal logic<>pstv<>moshe y. vardi<>
23683<>333_123<>nulo<>on the complexity of modular model checking<>lics<>moshe y. vardi<>
23699<>333_139<>nulo<>an automata-theoretic approach to fair realizability and synthesis<>cav<>moshe y. vardi<>
31404<>334_0<>marshall w. bern:david eppstein:leonidas j. guibas:john hershberger:jan wolter<>the centroid of points with approximate weights<>esa<>subhash suri<>
31416<>334_12<>pankaj k. agarwal:boris aronov<>stabbing triangulations by lines in 3d<>compgeom<>subhash suri<>
33281<>355_13<>cong fu:apostolos gerasoulis:vivek sarkar<>mapping iterative task graphs on distributed memory machines<>icpp<>tao yang<>
33301<>355_33<>cheolwhan lee:yuan-fang wang<>static global scheduling for optimal computer vision and image processing operations on distributed-memory multiprocessors<>caip<>tao yang<>
33315<>358_0<>qing yang<>a memory interference model for regularly patterned multiple stream vector accesses<>tpds<>tao yang<>
9661<>383_0<>t.-y. hou:arding hsu:shi-kuo chang<>tele-action objects for an active multimedia system<>icmcs<>h.-j. chang<>
22755<>424_8<>anil s. rao:otfried schwarzkopf:chantal wentink<>immobilizing polygons against a wall<>compgeom<>mark h. overmars<>
22777<>424_30<>mark de berg:leonidas j. guibas:dan halperin:otfried schwarzkopf:micha sharir:monique teillaud<>reaching a goal with directional uncertainty<>tcs<>mark h. overmars<>
22827<>424_80<>mark de berg:marc j. van kreveld:rene van oostrum<>simple traversal of a subdivision without extra storage<>gis<>mark h. overmars<>
1095<>481_3<>nulo<>automatic analytical tools for reliability and dynamic adaptation of complex distributed systems<>iceccs<>alvin s. lim<>
19443<>485_18<>nulo<>efficiently following object references for large object collections and small main memory<>dood<>kenneth a. ross<>
19478<>485_53<>nulo<>structural totality and constraint stratification<>pods<>kenneth a. ross<>
24185<>489_2<>tanuja joshi:jean ponce<>structure and motion estimation from dynamic silhouettes under perspective projection<>iccv<>narendra ahuja<>
15332<>506_1<>dominique beroule<>temporal codes within a typology of cooperation between modalities<>air<>jean-claude martin<>
39246<>522_2<>sanjeev r. kulkarni:peter j. ramadge<>a new method for camera motion parameter estimation<>icip<>yap-peng tan<>
15326<>527_14<>brad calder:dirk grunwald:donald c. lindsay:michael mozer:benjamin g. zorn<>corpus-based static branch prediction<>pldi<>james h. martin<>
33907<>529_2<>samuel defazio:amjad m. daoud:lisa ann smith:jagannathan srinivasan:james p. callan<>integrating ir and rdbms using cooperative indexing<>sigir<>w. bruce croft<>
33913<>529_8<>t. b. rajashekar<>combining automatic and manual index representations in probabilistic retrieval<>jasis<>w. bruce croft<>
33948<>529_43<>james p. callan:john broglio<>trec and tipster experiments with inquery<>ipm<>w. bruce croft<>
33971<>529_66<>james p. callan:zhihong lu<>searching distributed collections with inference networks<>sigir<>w. bruce croft<>
33979<>529_74<>james allan:lisa ballesteros:james p. callan:zhihong lu<>recent experiments with inquery<>trec<>w. bruce croft<>
25369<>542_3<>adrian papamarcou<>error bounds for parallel distributed detection under the neyman-pearson criterion<>tit<>po-ning chen<>
25324<>546_1<>edward k. lee<>striping in a raid level 5 disk array<>sigmetrics<>peter m. chen<>
6255<>591_34<>nulo<>massive parallelism on the hybrid text-retrieval machine<>ipm<>dik lun lee<>
6258<>591_37<>young man kim:gaurav patel<>efficient signature file methods for text retrieval<>tkde<>dik lun lee<>
6261<>591_40<>wang-chien lee<>on processing nested queries in distributed object-oriented database systems<>ride<>dik lun lee<>
6266<>591_45<>wang-chien lee<>combining indexing technique with path dictionary for nested object queries<>dasfaa<>dik lun lee<>
6324<>592_14<>muhammad h. alsuwaiyel<>finding an approximate minimum-link visibility path inside a simple polygon<>ipl<>d. t. lee<>
6326<>592_16<>chung-do yang:c. k. wong<>rectilinear path problems among rectilinear obstacles revisited<>siamcomp<>d. t. lee<>
6329<>592_19<>kurt swanson:vanban l. wu<>an optimal algorithm for roundness determination on convex polygons<>comgeo<>d. t. lee<>
6334<>592_24<>mikhail j. atallah:danny z. chen<>"an optimal algorithm for shortest paths on weighted interval and circular-arc graphs, with applications."<>algorithmica<>d. t. lee<>
6290<>594_9<>mihalis yannakakis<>testing finite state machines: fault detection<>jcss<>david lee<>
422<>622_4<>a. j. radcliffe:stephen suen<>analysis of a simple greedy matching algorithm on random cubic graphs<>cpc<>alan m. frieze<>
428<>622_10<>bruce a. reed<>covering the edges of a random graph by cliques<>combinatorica<>alan m. frieze<>
463<>622_45<>michael h. albert:bruce a. reed<>multicoloured hamilton cycles<>combinatorics<>alan m. frieze<>
467<>622_49<>svante janson<>perfect matchings in random s-uniform hypergraphs<>rsa<>alan m. frieze<>
484<>622_66<>jonathan aronson:martin e. dyer:stephen suen<>randomized greedy matching ii<>rsa<>alan m. frieze<>
485<>622_67<>colin cooper<>multicoloured hamilton cycles in random graphs; an anti-ramsey threshold<>combinatorics<>alan m. frieze<>
25625<>631_0<>devdatt p. dubhashi:grammati e. pantziou:christos d. zaroliagis<>the fourth moment in luby's distribution<>tcs<>paul g. spirakis<>
12131<>642_4<>jacky s. chow:john m. cioffi<>performance evaluation of a fast computation algorithm for the dmt in high-speed subscriber loop<>jsac<>inkyu lee<>
29698<>697_1<>sung yong shin:kyung-yong chwa<>efficient algorithms for solving diagonal visibility problems in a simple polygon<>ijcga<>s. h. kim<>
25775<>702_39<>ming-syan chen:dilip d. kandlur<>storage and retrieval methods to support fully interactive playout in a disk-array-based video server<>mms<>philip s. yu<>
25795<>702_59<>kun-lung wu:jen-yao chung:james z. teng<>a performance study of workfile disk management for concurrent mergesorts in a multiprocessor database system<>vldb<>philip s. yu<>
25799<>702_63<>ming-syan chen:hui-i hsiao:chung-sheng li<>using rotational mirrored declustering for replica placement in a disk-array-based video server<>mm<>philip s. yu<>
25800<>702_64<>ming-syan chen:ming-ling lo:honesty c. young<>applying segmented right-deep trees to pipelining multiple hash joins<>tkde<>philip s. yu<>
25808<>702_72<>arif merchant<>analytic modeling and comparisons of striping strategies for replicated disk arrays<>tc<>philip s. yu<>
25816<>702_80<>edward a. macnair:stephen s. lavenberg<>performance modeling for designing client/server systems<>cmg<>philip s. yu<>
25849<>702_113<>wenwey hseush:gail e. kaiser:calton pu:kun-lung wu<>divergence control for distributed database systems<>dpd<>philip s. yu<>
25852<>702_116<>jong soo park:ming-syan chen<>an effective hash based algorithm for mining association rules<>sigmod<>philip s. yu<>
25854<>702_118<>asit dan:jen-yao chung<>characterization of database access pattern for analytic prediction of buffer hit probability<>vldb<>philip s. yu<>
25871<>702_135<>joel l. wolf:hadas shachnai<>design and analysis of a look-ahead scheduling scheme to support pause-resume for video-on-demand applications<>mms<>philip s. yu<>
18186<>728_10<>dharmavani bhagavathi:stephan olariu:james l. schwing:w. shen:larry wilson<>convexity problems on meshes with multiple broadcasting<>jpdc<>jingyuan zhang<>
40021<>736_19<>qunsheng peng<>multiresolution b-spline radiosity<>cgf<>yizhou yu<>
21565<>747_0<>cecile paris:keith vander linden:anthony hartley:lyn pemberton:richard power:donia scott<>a support tool for writing multilingual instructions<>ijcai<>markus fischer<>
12273<>761_4<>mary beth rosson<>managing evaluation goals for training<>cacm<>john m. carroll<>
20268<>765_0<>theo moons:eric j. pauwels:andre oosterlinck<>vision and lie's approach to invariance<>ivc<>luc j. van gool<>
5492<>816_1<>allen s. parrish:david cordes<>experience in teaching a management-oriented capstone software engineering course<>csee<>david brown<>
21249<>832_18<>nulo<>mathematics of software engineering<>mpc<>manfred broy<>
21267<>832_36<>michal walicki<>structured specifications and implementation of nondeterministic data types<>njc<>manfred broy<>
14575<>949_2<>kyoung jun lee:june seok hong:wooju kim:eun-young kim:soo yeoul choi:ho dong kim:ok ryul yang:hyung rim choi<>das: intelligent scheduling systems for shipbuilding<>aim<>jae kyu lee<>
22903<>956_18<>hirendu vaishnav<>minimizing the routing cost during logic extraction<>dac<>massoud pedram<>
22905<>956_20<>shihming liu:alvin m. despain<>a fast state assignment procedure for large fsms<>dac<>massoud pedram<>
22917<>956_32<>hirendu vaishnav<>delay optimal partitioning targeting low power vlsi circuits<>iccad<>massoud pedram<>
22950<>956_65<>hirendu vaishnav<>logic extraction based on normalized netlengths<>iccd<>massoud pedram<>
22961<>956_76<>sasan iman<>two-level logic minimization for low power<>iccad<>massoud pedram<>
23009<>956_124<>sasan iman<>logic extraction and factorization for low power<>dac<>massoud pedram<>
23011<>956_126<>jui-ming chang<>register allocation and binding for low power<>dac<>massoud pedram<>
23033<>956_148<>radu marculescu:diana marculescu<>efficient power estimation for highly correlated input streams<>dac<>massoud pedram<>
3637<>963_12<>nulo<>decision theory and safety-critical interfaces<>interact<>chris w. johnson<>
20646<>974_7<>joao gabriel silva:simon chapple:lyndon clarke<>portable checkpointing and recovery<>hpdc<>luis moura silva<>
20651<>974_12<>joao gabriel silva:simon chapple:lyndon clarke<>fault-tolerance on regular decomposition grid applications<>pdp<>luis moura silva<>
10205<>981_2<>mark s. fox:michael gruninger<>an ontology of quality for enterprise modelling<>wetice<>henry m. kim<>
31969<>987_9<>rogerio de lemos:amer saeed<>analyzing safety requirements for process-control systems<>software<>tom anderson<>
31973<>988_1<>michael dahlin:jeanna m. neefe:david a. patterson:drew s. roselli:randolph y. wang<>serverless network file systems<>sosp<>thomas e. anderson<>
31976<>988_4<>remzi h. arpaci-dusseau:andrea c. arpaci-dusseau:amin vahdat:lok t. liu:david a. patterson<>the interaction of parallel and sequential workloads on a network of workstations<>sigmetrics<>thomas e. anderson<>
31978<>988_6<>david e. culler:david a. patterson<>a case for now (networks of workstations)<>micro<>thomas e. anderson<>
11780<>998_0<>sung-joo kim:yung-hwan oh<>estimating fuzzy phoneme similarity relations for continuous speech recognition<>ieaaie<>hajin yu<>
15875<>1012_5<>alexander borgida:raymond reiter<>on the frame problem in procedure specifications<>tse<>john mylopoulos<>
8243<>1039_0<>mary dalrymple:john lamping:vijay a. saraswat<>linear logic for meaning assembly<>corr<>fernando c. n. pereira<>
8258<>1044_1<>mary dalrymple:john lamping:vijay a. saraswat<>"quantifiers, anaphora, and intensionality"<>corr<>fernando c. n. pereira<>
22031<>1047_8<>dima grigoriev:friedhelm meyer auf der heide:roman smolensky<>a lower bound for randomized algebraic decision trees<>eccc<>marek karpinski<>
22035<>1047_12<>felipe cucker:pascal koiran:thomas lickteig:kai werther<>on real turing machines that toss coins<>stoc<>marek karpinski<>
22037<>1047_14<>sanjeev arora:david r. karger<>polynomial time approximation schemes for dense instances of -hard problems<>stoc<>marek karpinski<>
22041<>1047_18<>wojciech rytter:ayumi shinohara<>pattern-matching for strings with short descriptions<>cpm<>marek karpinski<>
22044<>1047_21<>wojciech rytter:ayumi shinohara<>pattern-matching for strings with short descriptions<>eccc<>marek karpinski<>
22052<>1047_29<>rusins freivalds<>lower time bounds for randomized computation<>icalp<>marek karpinski<>
22061<>1047_38<>dima grigoriev:nicolai vorobjov<>improved lower bound on testing membership to a polyhedron by algebraic decision trees<>focs<>marek karpinski<>
22074<>1047_51<>dima grigoriev:andrew chi-chih yao<>an exponential lower bound on the size of algebraic decision trees for max<>eccc<>marek karpinski<>
22099<>1047_76<>angus macintyre<>polynomial bounds for vc dimension of sigmoidal neural networks<>stoc<>marek karpinski<>
9317<>1060_14<>chandrajit l. bajaj:fausto bernardini<>automatic reconstruction of surfaces and scalar fields from 3d scans<>siggraph<>guoliang xu<>
9322<>1060_19<>chandrajit l. bajaj:jindong chen<>modeling with cubic a-patches<>tog<>guoliang xu<>
37069<>1068_18<>pavol hell<>the existence of homomorphisms to oriented cycles<>siamdm<>xuding zhu<>
37070<>1068_19<>vojtech rodl:norbert sauer<>ramsey families which exclude a graph<>combinatorica<>xu-ding zhu<>
37094<>1068_43<>nulo<>a polynomial algorithm for homomorphisms to oriented cycles<>jal<>xuding zhu<>
22119<>1081_1<>nulo<>a multimedia information system for home health-care support<>ieeemm<>michelle y. kim<>
22120<>1081_2<>junehwa song<>multimedia documents with elastic time<>mm<>michelle y. kim<>
22122<>1081_4<>linda tetzlaff:robert j. schloss<>home health care support<>chi<>michelle kim<>
12233<>1090_10<>d. sivakumar<>the resolution of a hartmanis conjecture<>focs<>jin-yi cai<>
38490<>1099_27<>tsung-yi wu<>register minimization beyond sharing among variables<>dac<>youn-long lin<>
38419<>1100_8<>nulo<>failure restoration of mobility databases for personal communication networks<>winet<>yi-bing lin<>
38434<>1100_23<>dan daly<>a flexible graphical user interface for performance modeling<>spe<>yi-bing lin<>
38450<>1100_39<>yung-chang wong:shu-yuen hwang<>a parallelism analyzer for conservative parallel simulation<>tpds<>yi-bing lin<>
28345<>1108_1<>gonzalo r. arce<>multichannel permutation filters<>icip<>s. k. basu<>
3327<>1128_11<>nulo<>fast searching by content in multimedia databases<>debu<>christos faloutsos<>
23522<>1172_0<>john sherwood<>business continuity planning<>compsec<>martin smith<>
23521<>1173_3<>michael g. christel<>automating the creation of a digital video library<>mm<>michael a. smith<>
37627<>1202_0<>r. alan mccoy:robert b. marr:ronald f. peierls<>an unconventional method for load balancing<>ppsc<>yuefan deng<>
8788<>1218_0<>nulo<>"orthogonal (g, f)-factorizations in graphs."<>dm<>guizhen liu<>
8786<>1220_2<>alexander marlevi:gerald q. maguire jr.<>a mobile virtual-distributed system architecture for supporting wireless mobile computing and communications<>mobicom<>george y. liu<>
19911<>1273_6<>scott r. tilley:hausi a. muller:margaret-anne d. storey<>structural redocumentation: a case study<>software<>kenny wong<>
19914<>1273_9<>michael j. whitney:morris bernstein:renato de mori:kostas kontogiannis:brain corrie:hausi a. muller:scott r. tilley:ettore merlo:john mylopoulos:j. howard johnson:james mcdaniel:martin stanley<>using an integrated toolset for program understanding<>cascon<>kenny wong<>
19869<>1276_28<>gary c. k. lam:vincent y. lum<>on the issues of expressiveness and portability of chiql<>dasfaa<>kam-fai wong<>
9902<>1287_3<>nulo<>the union of balls and its dual shape<>dcg<>herbert edelsbrunner<>
12708<>1295_9<>byungho kim:boseob kwon:jinchun kim:hyunsoo yoon<>performance analysis of an atm switch with multiple paths<>icnp<>jung wan cho<>
10047<>1316_0<>alberto o. mendelzon:tova milo<>similarity-based queries<>pods<>h. v. jagadish<>
21190<>1320_0<>andreas fabri<>on the multisearching problem for hypercubes<>comgeo<>mikhail j. atallah<>
29616<>1327_2<>shahram ghandeharizadeh:cyrus shahabi<>on configuring a single disk continuous media server<>sigmetrics<>seon ho kim<>
4858<>1340_4<>chiu-yu ku<>a near-optimal broadcasting algorithm in all-port wormhole-routed hypercubes<>ics<>chien-min wang<>
4853<>1352_7<>christos levcopoulos:andrzej lingas<>on parallel complexity of planar triangulations<>fsttcs<>cao wang<>
19413<>1378_2<>nulo<>a comparative study of genetic search<>icga<>kihong park<>
1448<>1410_4<>samir khuller:ehud rivlin<>graphbots: mobility in discrete spaces<>icalp<>azriel rosenfeld<>
1449<>1410_5<>ehud rivlin<>navigational functionalities<>cviu<>azriel rosenfeld<>
1452<>1410_8<>ehud rivlin:sven j. dickinson<>recognition by functional parts<>cviu<>azriel rosenfeld<>
23241<>1433_36<>hayato yamana:yuetsu kodama:hirofumi sakane:shuichi sakai:yoshinori yamaguchi<>a macrotask-level unlimited speculative execution on multiprocessors<>ics<>mitsuhisa sato<>
23244<>1433_39<>yuetsu kodama:hirohumi sakane:hayato yamana:shuichi sakai:yoshinori yamaguchi<>the em-x parallel computer: architecture and basic performance<>isca<>mitsuhisa sato<>
16156<>1441_30<>nulo<>parallel molecular computation<>spaa<>john h. reif<>
16175<>1441_49<>nulo<>work efficient parallel solution of toeplitz systems and polynomial gcd<>stoc<>john h. reif<>
16181<>1441_55<>nulo<>efficient parallel solution of sparse eigenvalue and eigenvector problems<>focs<>john h. reif<>
16193<>1441_67<>ramamohan paturi:sanguthevar rajasekaran<>the light bulb problem<>iandc<>john h. reif<>
16207<>1441_81<>zhiyong li:peter mills<>models and resource metrics for parallel and distributed computation<>hicss<>john h. reif<>
14486<>1462_0<>eugene w. myers<>approximate regular expression pattern matching with concave gap penalties<>algorithmica<>james r. knight<>
13127<>1465_6<>shirley browne:stan green:keith moore:theresa pepin:tom rowan:reed wade<>location-independent naming for virtual distributed software repositories<>ssr<>jack dongarra<>
13138<>1465_17<>tom rowan:reed wade<>software distribution using xnetlib<>toms<>jack dongarra<>
13145<>1465_24<>ronald f. boisvert:shirley browne:eric grosse<>digital software and data repositories for support of scientific computing<>adl<>jack dongarra<>
13147<>1465_26<>jaeyoung choi:james demmel:inderjit s. dhillon:susan ostrouchov:antoine petitet:ken stanley:david w. walker:r. clinton whaley<>scalapack: a portable linear algebra library for distributed memory computers - design issues and performance<>para<>jack dongarra<>
13153<>1465_32<>jeremy du croz:sven hammarling:jerzy wasniewski:adam zemla<>a proposal for a fortran 90 interface for lapack<>para<>jack dongarra<>
13176<>1465_55<>antoine petitet<>scalapack tutorial<>para<>jack dongarra<>
13177<>1465_56<>shirley browne:geoffrey fox:kenneth a. hawick:ken kennedy:rick stevens:robert olson:tom rowan<>distributed information management in the national hpcc software exchange<>sc<>jack dongarra<>
13206<>1465_85<>jaeyoung choi:susan ostrouchov:antoine petitet:david w. walker:r. clinton whaley<>a proposal for a set of parallel basic linear algebra subprograms<>para<>jack dongarra<>
13219<>1465_98<>jaeyoung choi:david w. walker<>parallel matrix transpose algorithms on distributed memory concurrent computers<>pc<>jack dongarra<>
13227<>1465_106<>nulo<>position paper<>ppsc<>jack dongarra<>
13240<>1465_119<>james s. plank:youngbae kim<>algorithm-based diskless checkpointing for fault tolerant matrix operations<>ftcs<>jack dongarra<>
13244<>1465_123<>frederic desprez:bernard tourancheau<>performance study of lu factorization with low communication overhead on multiprocessors<>ppl<>jack dongarra<>
40571<>1471_5<>rei-heng cheng:chi-wei lee<>preclassification of handwritten chinese characters based on basic stroke substructures<>prl<>zen chen<>
40573<>1471_7<>jenn-yih lin<>a chinese-character thinning algorithm based on global features and contour information<>pr<>zen chen<>
19311<>1482_9<>a. prasad sistla:clement t. yu:chengwen liu<>similarity based retrieval of pictures using indices on spatial relationships<>vldb<>king-lup liu<>
9018<>1494_5<>daniel schwabe<>the object-oriented hypermedia design model<>cacm<>gustavo rossi<>
12871<>1499_20<>yean-yow hwang<>simultaneous depth and area minimization in lut-based fpga mapping<>fpga<>jason cong<>
12886<>1499_35<>yuzheng ding<>on nominal delay minimization in lut-based fpga technology mapping<>fpga<>jason cong<>
12897<>1499_46<>andrew b. kahng:cheng-kok koh:chung-wen albert tsao<>bounded-skew clock and steiner routing under elmore delay<>iccad<>jason cong<>
12899<>1499_48<>lei he<>optimal wiresizing for interconnects with multiple sources<>iccad<>jason cong<>
12956<>1499_105<>cheng-kok koh<>minimum-cost bounded-skew clock routing<>iscas<>jason cong<>
12963<>1499_112<>kei-yong khoo<>an efficient multilayer mcm router based on four-via routing<>tcad<>jason cong<>
12974<>1499_123<>kwok-shing leung<>optimal wiresizing under elmore delay model<>tcad<>jason cong<>
7653<>1520_40<>naser s. barghouti:eleftherios koutsofios<>improvise: interactive multimedia process visualization environment<>esec<>edith cohen<>
7677<>1520_64<>nulo<>approximate max-flow on small depth networks<>siamcomp<>edith cohen<>
5020<>1523_24<>burkhard monien:reinhard luling:francis c. m. lau<>an analytical comparison of nearest neighbor algorithms for load balancing in parallel computers<>ipps<>cheng-zhong xu<>
8174<>1532_1<>chao feng:wei-kang huang<>a new diagnosis approach for short faults in interconnects<>ftcs<>fabrizio lombardi<>
8182<>1532_9<>amitabh mishra:yeimkuan chang:laxmi n. bhuyan<>fault-tolerant sorting in simd hypercubes<>ipps<>fabrizio lombardi<>
18927<>1553_0<>uffe engberg<>efficient simplification of bisimulation formulas<>tacas<>kim s. larsen<>
18933<>1553_6<>joan boyar:rolf fagerberg<>"amortization results for chromatic search trees, with an application to priority queues."<>wads<>kim s. larsen<>
18960<>1553_33<>rolf fagerberg<>b-trees with relaxed balance<>ipps<>kim s. larsen<>
18969<>1554_1<>francois laroussinie:carsten weise<>from timed automata to logic - and back<>mfcs<>kim guldstrand larsen<>
18981<>1554_13<>bernhard steffen:carsten weise<>a constraint oriented proof methodology based on modal transition systems<>tacas<>kim guldstrand larsen<>
18984<>1554_16<>paul pettersson:wang yi<>diagnostic model-checking for real-time systems<>hybrid<>kim guldstrand larsen<>
18990<>1554_22<>johan bengtsson:fredrik larsson:paul pettersson:wang yi<>uppaal - a tool suite for automatic verification of real-time systems<>hybrid<>kim guldstrand larsen<>
18998<>1554_30<>paul pettersson:wang yi<>compositional and symbolic model-checking of real-time systems<>rtss<>kim guldstrand larsen<>
19003<>1554_35<>francois laroussinie<>compositional model checking of real time systems<>concur<>kim guldstrand larsen<>
19017<>1554_49<>jens chr. godskesen<>synthesizing distinguishing formulae for real time systems<>njc<>kim guldstrand larsen<>
19019<>1554_51<>anders borjesson:arne skou<>generality in design and compositional verification using tav<>fmsd<>kim guldstrand larsen<>
19022<>1554_54<>jorgen h. andersen:kare j. kristoffersen:jesper niedermann<>automatic synthesis of real time systems<>icalp<>kim guldstrand larsen<>
19023<>1554_55<>paul pettersson:wang yi<>model-checking for real-time systems<>fct<>kim guldstrand larsen<>
19027<>1554_59<>bernhard steffen:carsten weise<>fischer's protocol revisited: a simple proof using modal constraints<>hybrid<>kim guldstrand larsen<>
12769<>1559_0<>insup lee:hong-liang xie<>the specification and schedulability analysis of real-time systems using acsr<>rtss<>jin-young choi<>
19093<>1563_12<>man leung wong<>an adaptive inductive logic programming system using genetic programming<>eps<>kwong-sak leung<>
19096<>1563_15<>man leung wong<>inducing logic programs with genetic algorithms: the genetic logic programming system<>expert<>kwong-sak leung<>
19115<>1563_34<>man leung wong<>learning programs in different paradigms using genetic programming<>aiia<>kwong-sak leung<>
19129<>1564_1<>gagan l. choudhury:ward whitt<>an inversion algorithm for loss networks with state-dependent rates<>infocom<>kin k. leung<>
19130<>1564_2<>gagan l. choudhury:ward whitt<>calculating normalization constants of closed queueing networks by numerically inverting their generating functions<>jacm<>kin k. leung<>
17969<>1581_0<>barry l. nelson:marne c. cario:chester a. harris:stephanie a. jamison:john o. miller:james steinbugl:peter p. ware<>input modeling when simple models fail<>wsc<>jaehwan yang<>
10765<>1600_6<>sandhya dwarkadas:alan l. cox:willy zwaenepoel<>message passing versus distributed shared memory on networks of workstations<>sc<>honghui lu<>
21660<>1604_0<>b. kannan:prasasth palnati<>protocols for an optical star interconnect for high speed mesh networks<>infocom<>mario gerla<>
37395<>1615_10<>mark s. nixon:david w. thomas<>statistical geometrical features for texture classification<>pr<>yan qiu chen<>
13774<>1619_32<>nulo<>providing configuration management support in software engineering environments<>apsec<>jun han<>
13785<>1621_5<>yongjian fu<>discovery of multiple-level association rules from large databases<>vldb<>jiawei han<>
30524<>1627_23<>h. ramesh<>string matching under a general matching relation<>iandc<>s. muthukrishnan<>
30536<>1627_35<>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<>stoc<>s. muthukrishnan<>
30567<>1627_66<>vineet bafna:r. ravi<>computing similarity between rna strings<>cpm<>s. muthukrishnan<>
30609<>1627_108<>r. v. nambiar:k. l. lawrence<>refinement of 3d meshes at surface intersections<>cad<>s. n. muthukrishnan<>
30675<>1628_6<>nulo<>adaptive deadlock-free wormhole routing in faulty hypercubes<>pdpcs<>seungjin park<>
30693<>1637_2<>nicholas j. belkin:colleen cool:jurgen koenemann:kwong bor ng<>using relevance feedback and ranking in interactive searching<>trec<>soyeon park<>
23766<>1638_30<>peter stone<>flecs: planning with a flexible commitment strategy<>jair<>manuela m. veloso<>
23770<>1638_34<>karen zita haigh<>route planning by analogy<>iccbr<>manuela m. veloso<>
16083<>1642_2<>wolfgang w. bein:peter brucker:pramod k. pathak<>a monge property for the d-dimensional transportation problem<>dam<>james k. park<>
37776<>1644_0<>lane a. hemaspaandra<>pseudorandom generators and the frequency of simplicity<>stacs<>yenjo han<>
28630<>1667_2<>nulo<>bayesian grammar induction for language modeling<>corr<>stanley f. chen<>
28631<>1667_3<>nulo<>bayesian grammar induction for language modeling<>acl<>stanley f. chen<>
6710<>1691_44<>paul stephenson<>experience using design patterns to evolve communication software across diverse os platforms<>ecoop<>douglas c. schmidt<>
6718<>1691_52<>nulo<>using design patterns to develop reusable object-oriented communication software<>cacm<>douglas c. schmidt<>
6725<>1691_59<>tatsuya suda<>measuring the performance of parallel message-based process architectures<>infocom<>douglas c. schmidt<>
6738<>1691_72<>timothy h. harrison<>object-oriented components for high-speed network programming<>coots<>douglas c. schmidt<>
11223<>1705_5<>katsushi ikeuchi:raj reddy<>principal component analysis with missing data and its application to polyhedral object modeling<>pami<>heung-yeung shum<>
16983<>1706_4<>hector garcia-molina:dallan quass:yannis papakonstantinou:anand rajaraman:yehoshua sagiv:jennifer widom<>the tsimmis approach to mediation: data models and languages<>ngits<>jeffrey d. ullman<>
16985<>1706_6<>dallan quass:anand rajaraman:yehoshua sagiv:jennifer widom<>querying semistructured heterogeneous information<>dood<>jeffrey d. ullman<>
16986<>1706_7<>nulo<>the role of theory today<>csur<>jeffrey d. ullman<>
16991<>1706_12<>anand rajaraman:yehoshua sagiv<>answering queries using templates with binding patterns<>pods<>jeffrey d. ullman<>
16995<>1706_16<>yannis papakonstantinou:ashish gupta:hector garcia-molina<>a query translation scheme for rapid implementation of wrappers<>dood<>jeffrey d. ullman<>
23837<>1717_5<>kwong-sak leung<>an adaptive inductive logic programming system using genetic programming<>eps<>man leung wong<>
23841<>1717_9<>kwong-sak leung<>inducing logic programs with genetic algorithms: the genetic logic programming system<>expert<>man leung wong<>
23844<>1717_12<>kwong-sak leung<>learning programs in different paradigms using genetic programming<>aiia<>man leung wong<>
14511<>1765_1<>edmund h. durfee<>a microeconomic approach to intelligent resource sharing in multiagent systems<>icmas<>jaeho lee<>
14499<>1769_8<>zohar manna:nikolaj bjorner:anca browne:edward y. chang:michael colon:luca de alfaro:harish devarajan:arjun kapur:henny sipma:tomas e. uribe<>step: the stanford temporal prover<>tapsoft<>jaejin lee<>
41073<>1783_9<>anca browne:henny sipma<>generalized temporal verification diagrams<>fsttcs<>zohar manna<>
41082<>1783_18<>yonit kesten:amir pnueli<>verifying clocked transition systems<>hybrid<>zohar manna<>
41087<>1783_23<>luca de alfaro<>verification in continuous time by discrete reasoning<>amast<>zohar manna<>
41108<>1783_44<>nikolaj bjorner:anca browne:edward y. chang:michael colon:luca de alfaro:harish devarajan:arjun kapur:jaejin lee:henny sipma:tomas e. uribe<>step: the stanford temporal prover<>tapsoft<>zohar manna<>
3977<>1788_4<>c. k. lee<>image smoothing using parametric relaxation<>cvgip<>c. h. li<>
8809<>1796_3<>dafna talmor:shang-hua teng:noel walkington<>"a delaunay based numerical method for three dimensions: generation, formulation, and partition."<>stoc<>gary l. miller<>
8814<>1796_8<>joseph naor<>flow in planar graphs with multiple sources and sinks<>siamcomp<>gary l. miller<>
8819<>1796_13<>john r. gilbert:shang-hua teng<>geometric mesh partitioning: implementation and experiments<>ipps<>gary l. miller<>
8832<>1796_26<>stephen guattery<>on the performance of spectral graph partitioning methods<>soda<>gary l. miller<>
8834<>1796_28<>david eppstein:shang-hua teng<>a deterministic linear time algorithm for geometric separators and its applications<>fuin<>gary l. miller<>
8880<>1811_0<>peter m. todd<>"the role of mate choice in biocomputation: sexual selection as a process of search, optimization and diversification."<>eb<>geoffrey f. miller<>
1485<>1816_3<>luciano lavagno:kurt keutzer<>synthesis of hazard-free asynchronous circuits with bounded wire delays<>tcad<>alberto l. sangiovanni-vincentelli<>
1490<>1816_8<>massimiliano chiodo:paolo giusto:attila jurecska:luciano lavagno:harry hsieh:kei suzuki:ellen sentovich<>synthesis of software programs for embedded control applications<>dac<>alberto l. sangiovanni-vincentelli<>
27694<>1824_3<>david ungar<>programming as an experience: the inspiration for self<>ecoop<>randall b. smith<>
27700<>1824_9<>john maloney:david ungar<>"the self-4.0 user interface: manifesting a system-wide vision of concreteness, uniformity and flexibility."<>oopsla<>randall b. smith<>
37448<>1854_2<>glenn s. fowler:eleftherios koutsofios:ryan s. wallach<>ciao: a graphical navigator for software and document repositories<>icsm<>yih-farn chen<>
37536<>1857_3<>randal e. bryant<>verification of arithmetic circuits with binary moment diagrams<>dac<>yirng-an chen<>
38947<>1870_9<>michael j. kearns:andrew y. ng:dana ron<>an experimental and theoretical comparison of model selection methods<>colt<>yishay mansour<>
38956<>1870_18<>shai ben-david:eyal kushilevitz<>online learning versus offline learning<>eurocolt<>yishay mansour<>
38987<>1870_49<>iris gaber<>broadcast in radio networks<>soda<>yishay mansour<>
38997<>1870_59<>sigal sahar<>implementation issues in the fourier transform algorithm<>nips<>yishay mansour<>
39012<>1870_74<>amotz bar-noy:ran canetti:shay kutten:baruch schieber<>bandwidth allocation with preemption<>stoc<>yishay mansour<>
39021<>1870_83<>israel cidon:shay kutten:david peleg<>greedy packet scheduling<>siamcomp<>yishay mansour<>
39051<>1870_113<>eyal kushilevitz:michael o. rabin<>on lotteries with unique winners<>siamdm<>yishay mansour<>
39064<>1870_126<>nader h. bshouty<>simple learning algorithms for decision trees and multivariate polynomials<>focs<>yishay mansour<>
17802<>1884_0<>shi-ze huang<>sequentially t-diagnosable systems: a characterization and its applications<>tc<>jie xu<>
2930<>1896_0<>steve benford:dave snowdon:chris greenhalgh:rob ingram:ian knox<>vr-vibe: a virtual environment for co-operative information retrieval<>cgf<>chris brown<>
32450<>1898_33<>kazuhisa makino<>a fast and simple algorithm for identifying 2-monotonic positive boolean functions<>isaac<>toshihide ibaraki<>
32475<>1898_58<>endre boros:vladimir gurvich:peter l. hammer:alexander kogan<>decomposability of partially defined boolean functions<>dam<>toshihide ibaraki<>
3532<>1907_4<>arie segev:richard t. snodgrass<>report on the 1995 international workshop on temporal databases<>sigmod<>christian s. jensen<>
3575<>1907_47<>michael h. bohlen:richard t. snodgrass<>evaluating the completeness of tsql2<>tdb<>christian s. jensen<>
37546<>1929_0<>t. i. chen<>an approach to isochronous slot reuse for multimedia services on dqdb network<>ftdcs<>y. c. chen<>
9467<>1943_2<>klaus jansen<>restrictions of graph partition problems. part i<>tcs<>hans l. bodlaender<>
9489<>1943_24<>rodney g. downey:michael r. fellows:michael t. hallett:harold t. wareham<>parameterized complexity analysis in computational biology<>bioinformatics<>hans l. bodlaender<>
9524<>1943_59<>richard b. tan:dimitrios m. thilikos:jan van leeuwen<>on interval routing schemes and treewidth<>wg<>hans l. bodlaender<>
9533<>1943_68<>ton kloks:dieter kratsch<>treewidth and pathwidth of permutation graphs<>siamdm<>hans l. bodlaender<>
9554<>1943_89<>rodney g. downey:michael r. fellows:harold t. wareham<>the parameterized complexity of sequence alignment and consensus<>tcs<>hans l. bodlaender<>
9574<>1943_109<>torben hagerup<>parallel algorithms with optimal speedup for bounded treewidth<>icalp<>hans l. bodlaender<>
9581<>1943_116<>babette de fluiter<>intervalizing k-colored graphs<>icalp<>hans l. bodlaender<>
9592<>1943_127<>teofilo f. gonzalez:ton kloks<>complexity aspects of two-dimensional data compression<>njc<>hans l. bodlaender<>
34882<>1954_7<>richard a. demillo:aditya p. mathur<>some critical remarks on a hierarchy of fault-detecting abilities of test methods<>tse<>w. eric wong<>
34896<>1954_21<>joseph robert horgan:saul london:aditya p. mathur<>effect of test set minimization on fault detection effectiveness<>icse<>w. eric wong<>
34910<>1954_35<>aditya p. mathur<>reducing the cost of mutation testing: an empirical study<>jss<>w. eric wong<>
34922<>1955_1<>ming-dong feng:chung-kwong yuen<>design and implementation of abstract machine for parallel lisp compilation<>icpp<>weng-fai wong<>
34927<>1955_6<>ming-dong feng:chung-kwong yuen<>compiling parallel lisp for a shared memory multiprocessor<>pdpcs<>weng-fai wong<>
34929<>1955_8<>e. goto<>fast evaluation of the elementary functions in single precision<>tc<>weng-fai wong<>
31364<>1959_25<>mounir hamdi<>efficient embeddings into the hypercube using matrix transformations<>ics<>siang w. song<>
9184<>1961_5<>nulo<>mediation in information systems<>csur<>gio wiederhold<>
9212<>1961_33<>shailesh agarwal:arthur m. keller:krishna saraswat<>"flexible relation: an approach for integrating data from multiple, possibly inconsistent databases."<>icde<>gio wiederhold<>
9223<>1961_44<>nulo<>value-added mediation in large-scale information systems<>ds<>gio wiederhold<>
9229<>1961_50<>michael r. genesereth<>the basis for mediation<>coopis<>gio wiederhold<>
10257<>1989_0<>hyun seop bae:yong rae kwon<>an efficient debugging method for message-based parallel programs using static analysis information<>apsec<>hyeon soo kim<>
4671<>1995_17<>william c. k. yen<>an optimal algorithm for solving the searchlight guarding problem on weighted trees<>isci<>c. y. tang<>
27901<>1997_11<>nenad medvidovic:kenneth m. anderson:e. james whitehead jr.:jason e. robbins<>a component- and message-based architectural style for gui software<>icse<>richard n. taylor<>
4405<>2007_2<>nikolaos p. papanikopoulos<>computer vision issues during eye-in-hand robotic tasks<>icra<>christopher e. smith<>
4430<>2008_20<>lloyd g. williams<>information requirements for software performance engineering<>mmb<>connie u. smith<>
29475<>2020_6<>katsushi ikeuchi<>a robot system that observes and replicates grasping tasks<>iccv<>sing bang kang<>
29484<>2020_15<>jon a. webb:c. lawrence zitnick:takeo kanade<>a multibaseline stereo system with active illumination and real-time image acquisition<>iccv<>sing bing kang<>
28002<>2028_3<>judy kay<>studying long-term system use<>cacm<>richard c. thomas<>
27971<>2031_26<>neil robertson:paul d. seymour<>kuratowski chains<>jct<>robin thomas<>
27972<>2031_27<>neil robertson:paul d. seymour<>petersen family minors<>jct<>robin thomas<>
27978<>2031_33<>vojtech rodl<>on the genus of a random graph<>rsa<>robin thomas<>
27979<>2031_34<>neil robertson:paul d. seymour<>sachs' linkless embedding conjecture<>jct<>robin thomas<>
39868<>2040_9<>nulo<>coordination for process support is not enough!<>ewspt<>yun yang<>
39847<>2041_24<>nulo<>noise reduction in a statistical approach to text categorization<>sigir<>yiming yang<>
32176<>2047_0<>y. c. chen<>an approach to isochronous slot reuse for multimedia services on dqdb network<>ftdcs<>t. i. chen<>
12027<>2049_0<>farokh b. bastani:ta-wei tsao<>on the reliability of ai planning software in real-time applications<>tkde<>ing-ray chen<>
12054<>2049_27<>nulo<>on applying imprecise computation to real-time ai systems<>cj<>ing-ray chen<>
24463<>2083_19<>indradeep ghosh:anand raghunathan<>design for hierarchical testability of rtl circuits obtained by behavioral synthesis<>iccd<>niraj k. jha<>
24471<>2083_27<>santhanam srinivasan<>task allocation for safety and reliability in distributed systems<>icpp<>niraj k. jha<>
24492<>2083_48<>anand raghunathan<>an ilp formulation for low power based on minimizing switched capacitance during data path allocation<>iscas<>niraj k. jha<>
24567<>2083_123<>steven m. nowick:fu-chiung cheng<>synthesis of asynchronous circuits for stuck-at and robust path delay fault testability<>vlsid<>niraj k. jha<>
24610<>2083_166<>anand raghunathan<>an iterative improvement algorithm for low power data path synthesis<>iccad<>niraj k. jha<>
21517<>2089_0<>reid a. baldwin<>a formal approach to managing design processes<>computer<>moon-jung chung<>
14426<>2100_1<>yongmin kim<>efficient 2-d convolution algorithm with the single-data multiple kernel approach<>cvgip<>jihong kim<>
41561<>2107_5<>cuiqin lin:guanzhang hu<>a six-color theorem for the edge-face coloring of plane graphs<>dm<>zhongfu zhang<>
40980<>2129_19<>mathai joseph:tomasz janowski<>verification of schedulability for real-time programs<>fac<>zhiming liu<>
41586<>2140_5<>rachid deriche:olivier d. faugeras:quang-tuan luong<>a robust technique for matching two uncalibrated images through the recovery of the unknown epipolar geometry<>ai<>zhengyou zhang<>
14450<>2148_2<>v. purohit:fabrizio lombardi:susumu horiguchi<>diagnosing multiple bridge faults in baseline multistage interconnection networks<>icpp<>j. h. kim<>
40927<>2152_1<>eric sanlaville<>"preemptive scheduling with variable profile, precedence constraints and due dates."<>dam<>zhen liu<>
40946<>2153_6<>nick barnes<>vision guided circumnavigating autonomous robots<>icsc<>zhi-qiang liu<>
14295<>2166_1<>zubin dittia:guru m. parulkar<>design of the apic: a high performance atm host-network interface chip<>infocom<>jerome r. cox jr.<>
14297<>2166_3<>william d. richard:a. maynard engebretson:jason fritts:brian l. gottlieb:craig horn<>production-quality video over broadband networks: a system description and two interactive applications<>jsac<>jerome r. cox jr.<>
40194<>2194_0<>alan k. mackworth<>specification and verification of hybrid dynamic systems with timed forall-automata<>hybrid<>ying zhang<>
40205<>2194_11<>alan k. mackworth<>constraint nets: a semantic model for hybrid dynamic systems<>tcs<>ying zhang<>
7009<>2268_1<>nulo<>elimination procedures for mechanical theorem proving in geometry<>amai<>dongming wang<>
23361<>2280_1<>randy h. katz<>the case for design using the world wide web<>dac<>mario j. silva<>
23201<>2291_1<>gary k. h. yeap<>sliceable floorplanning by graph dualization<>siamdm<>majid sarrafzadeh<>
27749<>2308_8<>robert f. cohen<>dynamic expression trees<>algorithmica<>roberto tamassia<>
27761<>2308_20<>james e. baker:isabel f. cruz:giuseppe liotta<>a new model for algorithm animation over the www<>csur<>roberto tamassia<>
27778<>2308_37<>robert f. cohen:giuseppe di battista:ioannis g. tollis<>"dynamic graph drawings: trees, series-parallel digraphs, and planar st-digraphs."<>siamcomp<>roberto tamassia<>
27792<>2308_51<>yi-jen chiang:michael t. goodrich:edward f. grove:darren erik vengroff:jeffrey scott vitter<>external-memory graph algorithms<>soda<>roberto tamassia<>
27833<>2308_92<>sairam subramanian:jeffrey scott vitter<>an efficient parallel algorithm for shortest paths in planar layered digraphs<>algorithmica<>roberto tamassia<>
32078<>2316_0<>jian ping shao<>parallel complexity of domain decomposition methods and optimal coarse grid size<>pc<>tony f. chan<>
32037<>2317_22<>nulo<>"output-sensitive results on convex hulls, extreme points, and related problems."<>compgeom<>timothy m. chan<>
21373<>2326_15<>jong soo park:philip s. yu<>an effective hash based algorithm for mining association rules<>sigmod<>ming-syan chen<>
21375<>2326_17<>ming-ling lo:philip s. yu:honesty c. young<>applying segmented right-deep trees to pipelining multiple hash joins<>tkde<>ming-syan chen<>
21378<>2326_20<>dilip d. kandlur:philip s. yu<>storage and retrieval methods to support fully interactive playout in a disk-array-based video server<>mms<>ming-syan chen<>
18026<>2351_0<>sung k. yoo<>concept formation in numeric domains<>acm<>jungsoon p. yoo<>
23812<>2355_9<>maurice pagnucco:norman y. foo:brailey sims<>determining explanations using transmutations<>ijcai<>mary-anne williams<>
23813<>2355_10<>pavlos peppas<>constructive modelings for theory change<>ndjfl<>mary-anne williams<>
23817<>2355_14<>nulo<>changing nonmonotonic inference relations<>wocfai<>mary-anne williams<>
17586<>2361_49<>nulo<>unicasting in faulty hypercubes using safety levels<>icpp<>jie wu<>
17636<>2361_99<>larry brown<>snooping fault-tolerant distributed shared memories<>jss<>jie wu<>
17641<>2361_104<>nulo<>tight bounds on the number of l-nodes in a faulty hypercube<>ppl<>jie wu<>
17665<>2361_128<>haifeng qian:eduardo b. fernandez<>a combined functional and object-oriented approach to software design<>iceccs<>jie wu<>
17666<>2361_129<>kejun yao<>reliability optimization of concurrent software with redundancy<>informaticaSI<>jie wu<>
1680<>2381_2<>suresh chari:pankaj rohatgi<>randomness-optimal unique element isolation with applications to perfect matching and related problems<>siamcomp<>aravind srinivasan<>
1687<>2381_9<>moni naor:leonard j. schulman<>splitters and near-optimal derandomization<>focs<>aravind srinivasan<>
1688<>2381_10<>michael e. saks:shiyu zhou<>explicit dispersers with polylog degree<>stoc<>aravind srinivasan<>
1690<>2381_12<>nulo<>improved approximations of packing and covering problems<>stoc<>aravind srinivasan<>
1708<>2381_30<>jeanette p. schmidt:alan siegel<>chernoff-hoeffding bounds for applications with limited independence<>siamdm<>aravind srinivasan<>
1726<>2381_48<>mike paterson<>contention resolution with bounded delay<>focs<>aravind srinivasan<>
1793<>2389_0<>k. madhukar:p. nagavamsi:c. pandu rangan:maw-shang chang<>edge domination on bipartite permutation graphs and cotriangulated graphs<>ipl<>anand srinivasan<>
16058<>2396_2<>ming-syan chen:philip s. yu<>an effective hash based algorithm for mining association rules<>sigmod<>jong soo park<>
12837<>2399_17<>marc olano:mark r. mine:gary bishop<>combatting rendering latency<>si3d<>jonathan d. cohen<>
27364<>2427_42<>ian j. grimstead<>creating solid models from single 2d sketches<>sma<>ralph r. martin<>
37669<>2432_3<>jiawei han<>discovery of multiple-level association rules from large databases<>vldb<>yongjian fu<>
37672<>2432_6<>jiawei han<>meta-rule-guided mining of association rules in relational databases<>dood<>yongjian fu<>
37688<>2443_0<>mike a. steel<>classifying and counting linear phylogenetic invariants for the jukes-cantor model<>jcb<>y. x. fu<>
10546<>2493_5<>nulo<>pam: a process algebra manipulator<>fmsd<>huimin lin<>
10551<>2493_10<>matthew hennessy<>symbolic bisimulations<>tcs<>h. lin<>
10554<>2493_13<>nulo<>unique fixpoint induction for mobile processes<>concur<>h. lin<>
10555<>2493_14<>nulo<>complete inference systems for weak bisimulation equivalences in the pi-calculus<>tapsoft<>huimin lin<>
12523<>2503_3<>nathalie mathe<>learning subjective relevance to facilitate information access<>cikm<>james r. chen<>
12450<>2522_50<>liming cai<>on input read-modes of alternating turing machines<>tcs<>jianer chen<>
12487<>2522_87<>liming cai:rodney g. downey:michael r. fellows<>on the structure of parameterized problems in np<>iandc<>jianer chen<>
21067<>2564_0<>bo zhang:huai zhang<>the complexity of learning in pln networks<>nn<>ling zhang<>
26741<>2573_1<>y. shen<>application of genetic algorithm for response surface modeling in optimal statistical design<>iscas<>richard m. m. chen<>
26730<>2575_3<>yu-song hou<>poisson generators on mesh-connected computers with multiple broadcasting<>jise<>rong-jaye chen<>
26992<>2589_14<>david l. dill:jerry r. burch<>efficient validity checking for processor verification<>iccad<>robert b. jones<>
185<>2603_0<>koppolu sasidhar:vinod k. agarwal:joseph l. a. hughes<>distributed probabilistic diagnosis of mcms on large area<>itc<>abhijit chatterjee<>
189<>2603_4<>bruce c. kim:madhavan swaminathan:david e. schimmel<>a novel low-cost approach to mcm interconnect test<>itc<>abhijit chatterjee<>
19203<>2637_2<>karin petersen<>multiprocessor cache coherence based on virtual memory support<>jpdc<>kai li<>
1279<>2662_0<>ali azarbayejani<>"recursive estimation of motion, structure, and focal length."<>pami<>alex pentland<>
31050<>2683_82<>pater komjath<>universal graphs without large cliques<>jct<>saharon shelah<>
31061<>2683_93<>lee j. stanley<>the combinatorics of combinatorial coding by a real<>jsyml<>saharon shelah<>
31062<>2683_94<>tomasz luczak<>convergence in homogeneous random graphs<>rsa<>saharon shelah<>
31065<>2683_97<>martin goldstern<>the bounded proper forcing axiom<>jsyml<>saharon shelah<>
31089<>2683_121<>james cummings<>cardinal invariants above the continuum<>apal<>saharon shelah<>
23872<>2684_15<>adam walker<>understanding the emergence of conventions in multi-agent systems<>icmas<>michael wooldridge<>
23887<>2684_30<>nulo<>"time, knowledge, and choice."<>atal<>michael wooldridge<>
23894<>2684_37<>nicholas r. jennings<>applying agent technology<>aai<>michael wooldridge<>
36794<>2697_0<>zhichen xu<>multiprocessor scalability predictions through detailed program execution analysis<>ics<>xiaodong zhang<>
21282<>2703_13<>hilde ade:luc de raedt<>declarative bias for specific-to-general ilp systems<>ml<>maurice bruynooghe<>
3072<>2708_7<>onn chan:qinglin yu<>on 2-extendable abelian cayley graphs<>dm<>c. c. chen<>
13067<>2721_4<>nulo<>living with free type and class union<>apsec<>jin song dong<>
13072<>2721_9<>gordon a. rose:roger duke<>the role of secondary attributes in formal object modelling<>iceccs<>jin song dong<>
3075<>2722_2<>nulo<>binding number and toughness for matching extension<>dm<>ciping chen<>
8911<>2734_27<>marjo lipponen<>strongly prime pcp words<>dam<>gheorghe paun<>
8912<>2734_28<>lila kari:alexandru mateescu:arto salomaa<>on parallel deletions applied to a word<>ita<>gheorghe paun<>
8913<>2734_29<>erzsubet csuhaj-varju:arto salomaa<>conditional tabled eco-grammar systems<>jucs<>gheorghe paun<>
8939<>2734_55<>rudolf freund<>a variant of team cooperation in grammar systems<>jucs<>gheorghe paun<>
8951<>2734_67<>jurgen dassow:rudolf freund<>cooperating array grammar systems<>ijprai<>gheorghe paun<>
8964<>2734_80<>nulo<>grammar systems: a grammatical approach to distribution and cooperation<>icalp<>gheorghe paun<>
8967<>2734_83<>lila kari:alexandru mateescu:arto salomaa<>multi-pattern languages<>tcs<>gheorghe paun<>
8973<>2734_89<>jurgen dassow:sorina vicolov<>on the generative capacity of certain classes of cooperating grammar systems<>fuin<>gheorghe paun<>
39768<>2743_0<>cyril u. orji:yi deng:naphtali rishe<>an architecture for operating system support of distributed multimedia systems<>iwmmdbms<>ya xu<>
14309<>2748_1<>nulo<>challenges in requirements engineering<>re<>janis a. bubenko jr.<>
7161<>2750_8<>alvin r. lebeck<>active memory: a new abstraction for memory-system simulation<>sigmetrics<>david a. wood<>
7162<>2750_9<>doug burger<>accuracy vs. performance in parallel simulation of interconnection networks<>ipps<>david a. wood<>
7166<>2750_13<>mark d. hill<>cost-effective parallel computing<>computer<>david a. wood<>
31112<>2773_6<>lawrence k. saul<>markov decision processes in large state spaces<>colt<>satinder p. singh<>
31117<>2773_11<>peter dayan<>improving policies without measuring merits<>nips<>satinder p. singh<>
31176<>2773_70<>andrew g. barto:steven j. bradtke<>learning to act using real-time dynamic programming<>ai<>satinder p. singh<>
3155<>2812_0<>olvi l. mangasarian<>smoothing methods for convex inequalities and linear complementarity problems<>mp<>chunhui chen<>
33642<>2833_0<>nulo<>position paper<>ppsc<>vipin kumar<>
28095<>2845_3<>jim hann<>the impact of it infusion and diffusion on some characteristics of is planning: a model and an empirical test<>icis<>ron weber<>
6164<>2853_3<>richard n. czerwinski:william d. o'brien jr.<>ultrasound speckle reduction by directional median filtering<>icip<>douglas l. jones<>
21865<>2854_27<>sam bayer<>features and agreement<>acl<>mark johnson<>
21868<>2854_30<>jochen dorre<>memoization of coroutined constraints<>corr<>mark johnson<>
21872<>2854_34<>jochen dorre<>memoization of coroutined constraints<>acl<>mark johnson<>
4944<>2857_6<>michael w. berry:sailaja shivakumar<>neural networks for full-scale protein sequence classification: sequence encoding with singular value decomposition<>ml<>cathy h. wu<>
4931<>2859_2<>yew-huey liu:yarsun hsu<>timestamp consistency and trace-driven analysis for distributed parallel systems<>ipps<>ching-farn eric wu<>
4933<>2859_4<>hubertus franke:michel riviere:pratap pattnaik:marc snir<>mpi programming environment for ibm sp1/sp2<>icdcs<>ching-farn eric wu<>
38074<>2869_2<>sun sup so:yongseop lim:sung deok cha<>"an empirical study on software error detection: voting, instrumentation, and fagan inspection."<>apsec<>yong rae kwon<>
38079<>2869_7<>hyun seop bae:hyeon soo kim<>an efficient debugging method for message-based parallel programs using static analysis information<>apsec<>yong rae kwon<>
38102<>2869_30<>hyoung seok hong:sung deok cha<>testing of object-oriented programs based on finite state machines<>apsec<>yong rae kwon<>
38103<>2869_31<>soon ju kang<>hybrid knowledge-based architecture for building an intelligent nondestructive signal inspection system<>kbs<>yong rae kwon<>
36641<>2900_2<>yoshimi egawa:katsuhiro ota:akira saito<>non-contractible edges in a 3-connected graph<>combinatorica<>xingxing yu<>
26228<>2902_13<>tao yang<>a memory interference model for regularly patterned multiple stream vector accesses<>tpds<>qing yang<>
26121<>2903_23<>eugene fink<>planning with primary effects: experiments and analysis<>ijcai<>qiang yang<>
26160<>2903_62<>craig a. knoblock<>relating the performance of partial-order planning algorithms to domain features<>sigart<>qiang yang<>
26173<>2903_75<>subbarao kambhampati:craig a. knoblock<>planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning<>ai<>qiang yang<>
21289<>2954_3<>laura m. haas:peter m. schwarz:manish arya:william f. cody:ronald fagin:myron flickner:allen luniewski:wayne niblack:dragutin petkovic:joachim thomas ii:john h. williams:edward l. wimmers<>towards heterogeneous multimedia information systems: the garlic approach<>ride<>michael j. carey<>
21293<>2954_7<>jerry kiernan<>extending sql-92 for oodb access: design and implementation experience<>oopsla<>michael j. carey<>
21294<>2954_8<>william f. cody:laura m. haas:wayne niblack:manish arya:ronald fagin:myron flickner:denis lee:dragutin petkovic:peter m. schwarz:joachim thomas ii:mary tork roth:john h. williams:edward l. wimmers<>querying multimedia data from multiple repositories by content: the garlic project<>vdb<>michael j. carey<>
4734<>3022_4<>david j. kriegman<>structure and motion from line segments in multiple images<>pami<>camillo j. taylor<>
19548<>3044_29<>jeffrey s. vetter<>progress: a toolkit for interactive program steering<>icpp<>karsten schwan<>
19602<>3044_83<>prince kohli:mustaque ahamad<>indigo: user-level support for building distributed shared abstractions<>hpdc<>karsten schwan<>
13593<>3047_67<>nir friedman<>plausibility measures: a user's guide<>uai<>joseph y. halpern<>
13608<>3047_82<>ronald fagin:moshe y. vardi<>a nonstandard approach to the logical omniscience problem<>ai<>joseph y. halpern<>
13621<>3047_95<>danny dolev:barbara simons:h. raymond strong<>dynamic fault-tolerant clock synchronization<>jacm<>joseph y. halpern<>
13647<>3047_121<>nulo<>the effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic<>ai<>joseph y. halpern<>
13659<>3047_133<>edward l. wimmers<>full abstraction and expressive completeness for fp<>iandc<>joseph y. halpern<>
13666<>3047_140<>fahiem bacchus:hector j. levesque<>reasoning about noisy sensors in the situation calculus<>ijcai<>joseph y. halpern<>
13675<>3047_149<>daphne koller<>representation dependence in probabilistic inference<>ijcai<>joseph y. halpern<>
13700<>3047_174<>gerhard lakemeyer<>levesque's axiomatization of only knowing is incomplete<>ai<>joseph y. halpern<>
13740<>3047_214<>ronald fagin:yoram moses:moshe y. vardi<>knowledge-based programs<>podc<>joseph y. halpern<>
29938<>3048_9<>kyung-yong chwa:sung yong shin<>image metamorphosis using snakes and free-form deformations<>siggraph<>seungyong lee<>
10535<>3051_1<>victor b. strelets<>compression of protein sequence databases<>bioinformatics<>hwa a. lim<>
29400<>3060_23<>john launchbury<>state in haskell<>lisp<>simon l. peyton jones<>
29405<>3060_28<>sigbjorn finne<>composing haggis<>oographics<>simon l. peyton jones<>
34094<>3115_11<>amy e. zwarico<>automatic synthesis of compression techniques for heterogeneous<>spe<>william h. hsu<>
34073<>3116_0<>jeremy spinrad<>independent sets in circular-arc graphs<>jal<>wen-lian hsu<>
1810<>3117_2<>joel friedman<>on the second eigenvalue of hypergraphs<>combinatorica<>avi wigderson<>
1806<>3119_1<>peter bro miltersen:noam nisan:shmuel safra<>on data structures and asymmetric communication complexity<>stoc<>avi wigderson<>
6823<>3164_7<>nulo<>ubiquitous applications: embedded systems to mainframe<>cacm<>dave a. thomas<>
5454<>3186_9<>rudiger l. urbanke<>a counterexample to a voronoi region conjecture<>tit<>dakshi agrawal<>
5412<>3189_36<>james m. conrad<>asynchronous parallel arc consistency algorithms on a distributed memory machine<>jpdc<>dharma p. agrawal<>
4339<>3195_20<>nulo<>database metatheory: asking the big queries<>pods<>christos h. papadimitriou<>
4373<>3235_0<>michelangelo grigni:elias koutsoupias<>an approximation scheme for planar graph tsp<>focs<>christos h. papadimitriou<>
8650<>3323_0<>chang-wu yu<>efficient parallel algorithms for doubly convex-bipartite graphs<>tcs<>gen-huey chen<>
27736<>3332_0<>bruce a. dike:s. a. stegmann<>fitness inheritance in genetic algorithms<>sac<>robert e. smith<>
35701<>3366_5<>nulo<>extremal cayley digraphs of finite cyclic groups<>siamdm<>xing-de jia<>
35707<>3371_0<>nulo<>an approach to animating z specifications<>compsac<>xiaoping jia<>
9790<>3407_1<>andrei state:jonathan mcallister:ulrich neumann:tim j. cullip:david t. chen:henry fuchs<>interactive volume visualization on a heterogeneous message-passing multicomputer<>si3d<>hong chen<>
1140<>3411_1<>nulo<>almost-safe byzantine agreement in sparse networks with random faults<>ppl<>andrzej pelc<>
1155<>3411_16<>krzysztof diks<>broadcasting with universal lists<>hicss<>andrzej pelc<>
1157<>3411_18<>krzysztof diks:adam malinowski<>token transfer in a faulty network<>ita<>andrzej pelc<>
1161<>3411_22<>nulo<>fast fault-tolerant broadcasting and gossiping<>sirocco<>andrzej pelc<>
1240<>3411_101<>bogdan s. chlebus:leszek gasieniec<>fast deterministic simulation of computations on faulty parallel machines<>esa<>andrzej pelc<>
1250<>3411_111<>krzysztof diks:evangelos kranakis:adam malinowski<>anonymous wireless rings<>tcs<>andrzej pelc<>
83<>3448_36<>paolo nesi:d. ben-tzvi<>a robust algorithm for optical flow estimation<>cviu<>alberto del bimbo<>
101<>3448_54<>jacopo m. corridoni<>automatic video segmentation through editing analysis<>iciap<>alberto del bimbo<>
105<>3448_58<>enrico vicario:daniele zingoni<>symbolic description and visual querying of image sequences using spatio-temporal logic<>tkde<>alberto del bimbo<>
115<>3448_68<>jacopo m. corridoni:dario lucarella<>navigation and visualization of movies content<>vl<>alberto del bimbo<>
167<>3448_120<>pietro pala<>image retrieval by elastic matching of user sketches<>iciap<>alberto del bimbo<>
169<>3448_122<>enrico vicario<>specification by-example of virtual agents behavior<>tvcg<>alberto del bimbo<>
16715<>3449_29<>guozhu dong:rodney w. topor<>nonrecursive incremental evaluation of datalog queries<>amai<>jianwen su<>
16717<>3449_31<>guozhu dong<>increment boundedness and nonrecursive incremental evaluation of datalog queries<>icdt<>jianwen su<>
16722<>3449_36<>terence r. smith:amr el abbadi:divyakant agrawal:gustavo alonso:amitabh saran<>computational modeling systems<>is<>jianwen su<>
16737<>3449_51<>stephane grumbach<>dense-order constraint databases<>pods<>jianwen su<>
16738<>3449_52<>stephane grumbach<>first-order definability over constraint databases<>cp<>jianwen su<>
16748<>3449_62<>guozhu dong<>space-bounded foies<>pods<>jianwen su<>
16749<>3449_63<>guozhu dong<>incremental and decremental evaluation of transitive closure by first-order queries<>iandc<>jianwen su<>
25459<>3458_6<>nulo<>a tutorial on some new methods for performance evaluation of queueing networks<>jsac<>p. r. kumar<>
27391<>3469_7<>nulo<>situation calculus specifications for event calculus logic programs<>lpnmr<>rob miller<>
4398<>3480_12<>tito autrey:andrew p. black:charles consel:crispin cowan:jon inouye:lakshmi kethana:jonathan walpole:ke zhang<>optimistic incremental specialization: streamlining a commercial operating system<>sosp<>calton pu<>
1009<>3495_6<>michael e. atwood:bart burns:andreas girgensohn:thea turner:beatrix zimmermann<>prototyping considered dangerous<>interact<>alison lee<>
1010<>3495_7<>andreas girgensohn:beatrix zimmermann:bart burns:michael e. atwood<>dynamic forms: an enhanced interaction abstraction based on forms<>interact<>alison lee<>
1017<>3495_14<>nulo<>exploring user effort involved in using history tools through mhp/goms: results and experiences<>interact<>alison lee<>
1020<>3495_17<>michael e. atwood:bart burns:dieter gairing:andreas girgensohn:thea turner:sabina alteras-webb:beatrix zimmermann<>facilitating communication in software development<>ACMdis<>alison lee<>
26695<>3504_1<>jim kadin<>on computing boolean connectives of characteristic functions<>mst<>richard chang<>
26697<>3504_3<>jim kadin:pankaj rohatgi<>on unique satisfiability and the threshold behavior of randomized reductions<>jcss<>richard chang<>
26706<>3504_12<>william i. gasarch:jacobo toran<>on finding the number of graph automorphisms<>coco<>richard chang<>
18032<>3526_1<>suryanil ghosh:li-yan yuan:randy goebel<>an introspective framework for paraconsistent logic programs<>slp<>jia-huai you<>
18033<>3526_2<>li-yan yuan<>on coherence approach to logic program revision<>iclp<>jia-huai you<>
18035<>3526_4<>li-yan yuan<>on the extension of logic programming with negation through uniform proofs<>lpnmr<>jia-huai you<>
18075<>3526_44<>li-yan yuan<>on the equivalence of semantics for normal logic programs<>jlp<>jia-huai you<>
9057<>3575_6<>andrzej ehrenfeucht:tero harju<>theory of 2-structures<>icalp<>grzegorz rozenberg<>
9063<>3577_0<>mogens nielsen:p. s. thiagarajan<>"transition systems, event structures and unfoldings"<>iandc<>grzegorz rozenberg<>
9064<>3579_0<>clarence a. ellis:karim keddara<>dynamic change within workflow systems<>group<>grzegorz rozenberg<>
22473<>3584_8<>nulo<>longest cycles in regular 2-connected claw-free graphs<>dm<>mingchu li<>
22428<>3590_28<>tao jiang<>on the approximation of shortest common supersequences and longest common subsequences<>siamcomp<>ming li<>
22431<>3590_31<>paul m. b. vitanyi<>a new approach to formal language theory by kolmogorov complexity<>siamcomp<>ming li<>
29122<>3597_1<>ee-peng lim:jaideep srivastava<>an algebraic transformation framework for multidatabase queries<>dpd<>san-yih hwang<>
29123<>3597_2<>ee-peng lim:jaideep srivastava:dave clements:m. ganesh<>myriad: design and implementation of a federated database prototype<>spe<>san-yih hwang<>
18299<>3603_0<>thorsten hermes:christoph klauck:jutta kreys<>content-based image retrieval<>cascon<>j. zhang<>
33751<>3608_1<>lisa hellerstein:krishnan pillaipakkamnatt:dawn wilkins<>how many queries are needed to learn?<>stoc<>vijay v. raghavan<>
33766<>3608_16<>krishnan pillaipakkamnatt<>read-twice dnf formulas are properly learnable<>iandc<>vijay v. raghavan<>
16560<>3661_1<>thomas g. zimmerman:joseph a. paradiso:david allport:neil gershenfeld<>applying electric field sensing to human-computer interfaces<>chi<>joshua r. smith<>
16577<>3662_11<>terence c. fogarty<>an adaptive poly-parental recombination strategy<>aisb<>jim smith<>
25952<>3686_4<>haiyuan wu:masahiko yachida<>face detection by fuzzy pattern matching<>iccv<>qian chen<>
21991<>3699_0<>jean pierre cocquerez<>three-dimensional description of scenes observed in aerial photography<>pr<>michel jordan<>
34138<>3703_0<>gregory t. dobson:henry j. lamousin<>feature based models for anatomical data fitting<>cad<>warren n. waggenspack jr.<>
33208<>3712_5<>martin d. f. wong:yachyang sun:chak-kuen wong<>optimal net assignment<>tcad<>ting-chi wang<>
33211<>3712_8<>t. w. her:martin d. f. wong<>performance-driven channel pin assignment algorithms<>tcad<>ting-chi wang<>
8447<>3718_0<>nulo<>a temporal logic for real-time partial-ordering with named transactions<>latin<>farn wang<>
885<>3752_1<>andrew j. burstein:shankar narayanaswamy:richard han:robert w. brodersen<>the infopad user interface<>compcon<>allan christian long jr.<>
886<>3752_2<>shankar narayanaswamy:andrew j. burstein:richard han:ken lutz:brian c. richards:samuel sheng:robert w. brodersen:jan m. rabaey<>a prototype user interface for a mobile multimedia terminal<>chi<>allan christian long jr.<>
503<>3762_5<>antonio carlos pereira maia:carlos jose pereira de lucena<>a method for analyzing team design activity<>ACMdis<>ana cristina bicharra garcia<>
8386<>3771_1<>gianfranco bilardi<>horizons of parallel computation<>jpdc<>franco p. preparata<>
8266<>3772_5<>gianfranco bilardi<>upper bounds to processor-time tradeoffs under bounded-speed message propagation<>spaa<>franco p. preparata<>
8267<>3772_6<>takafumi hamano:naofumi takagi:shuzo yajima<>o(n)-depth circuit algorithm for modular exponentiation<>arith<>franco p. preparata<>
8282<>3772_21<>nulo<>should amdahl's law be repealed? (abstract)<>isaac<>franco p. preparata<>
8283<>3772_22<>victor y. pan<>work-preserving speed-up of parallel matrix computations<>siamcomp<>franco p. preparata<>
8294<>3772_33<>gianfranco bilardi<>lower bounds to processor-time tradeoffs under bounded-speed message propagation<>wads<>franco p. preparata<>
8298<>3772_37<>paul f. fischer:john e. savage<>generalized scans and tri-diagonal systems<>stacs<>franco p. preparata<>
8356<>3772_95<>nancy m. amato<>a time-optimal parallel algorithm for three-dimensional convex hulls<>algorithmica<>franco p. preparata<>
8374<>3772_113<>jean-daniel boissonnat:olivier devillers:leonbattista donati<>motion planning of legged robots: the spider robot problem<>ijcga<>franco p. preparata<>
2909<>3775_2<>ling zhang:huai zhang<>the complexity of learning in pln networks<>nn<>bo zhang<>
32575<>3781_20<>joao costeira<>a multi-body factorization method for motion analysis<>iccv<>takeo kanade<>
32577<>3781_22<>michael g. christel:m. mauldin:raj reddy:marvin a. sirbu:scott m. stevens:howard d. wactlar<>informedia digital video library<>cacm<>takeo kanade<>
32587<>3781_32<>michihiro uenohara<>vision-based object registration for real-time image overlay<>cvrmed<>takeo kanade<>
32610<>3781_55<>henry a. rowley:shumeet baluja<>human face detection in visual scenes<>nips<>takeo kanade<>
16927<>3812_2<>joel troster<>measurement and defect modeling for a legacy software system<>ansoft<>jeff tian<>
16930<>3812_5<>peng lu:joe palma<>test-execution-based reliability measurement and modeling for large commercial software<>tse<>jeff tian<>
16932<>3812_7<>marvin v. zelkowitz<>complexity measure evaluation and selection<>tse<>jeff tian<>
13269<>3833_1<>jan treur<>temporal theories of reasoning<>jancl<>joeri engelfriet<>
13271<>3833_3<>jan treur<>temporal theories of reasoning<>jancl<>joeri engelfriet<>
18108<>3850_5<>nulo<>a local reductive elimination for the fill-in of graphs<>dm<>jinjiang yuan<>
1422<>3852_1<>mark h. overmars:otfried schwarzkopf:chantal wentink<>immobilizing polygons against a wall<>compgeom<>anil s. rao<>
28697<>3862_6<>ashok k. agrawala<>optimal replication of series-parallel graphs for computation-intensive applications<>jpdc<>sheng-tzong cheng<>
28698<>3862_7<>ashok k. agrawala<>allocation and scheduling of real-time periodic tasks with relative timing constraints<>rtcsa<>sheng-tzong cheng<>
28701<>3862_10<>shyh-in hwang:ashok k. agrawala<>schedulability-oriented replication of periodic tasks in distributed real-time systems<>icdcs<>sheng-tzong cheng<>
6127<>3884_2<>john m. mulvey<>accountability and computer decision systems<>cacm<>deborah g. johnson<>
6116<>3890_53<>michael l. fredman:lyle a. mcgeoch:g. ostheimer<>data structures for traveling salesmen<>jal<>david s. johnson<>
38152<>3894_17<>randy chow:sandra e. cheung<>circular window control schemes in fast packet switches<>icccn<>yann-hang lee<>
38196<>3903_9<>jae soo yoo:myoung-ho kim:byoung mo im<>performance evaluation of dynamic signature file methods<>compsac<>yoon-joon lee<>
16856<>3905_1<>too-seng tia:zhong deng:mallikarjun shankar:matthew f. storch:l.-c. wu:jane w.-s. liu<>probabilistic performance guarantee for real-time tasks with varying computation times<>rtas<>jun sun<>
19226<>3930_2<>christos faloutsos<>"fastmap: a fast algorithm for indexing, data-mining and visualization of traditional and multimedia datasets."<>sigmod<>king-ip lin<>
19239<>3930_15<>rakesh agrawal:harpreet s. sawhney:kyuseok shim<>"fast similarity search in the presence of noise, scaling, and translation in time-series databases."<>vldb<>king-ip lin<>
22603<>3935_8<>jan kratochvil:paul d. manuel<>generalized domination in chordal graphs<>njc<>mirka miller<>
19243<>3944_2<>chih-wen hsueh:nong fan<>distributed pinwheel scheduling with end-to-end timing constraints<>rtss<>kwei-jay lin<>
19245<>3944_4<>ching-chih han:jane w.-s. liu<>scheduling jobs with temporal distance constraints<>siamcomp<>kwei-jay lin<>
39940<>3948_0<>philippe burlina:rama chellappa:t. h. wu<>electronic image stabilization using multiple visual cues<>icip<>yi-sheng yao<>
39941<>3948_1<>rama chellappa<>tracking a dynamic set of feature points<>tip<>yi-sheng yao<>
35839<>3962_8<>martin k. purvis<>connectionist learning using an optical thin-film model<>annes<>xiaodong li<>
35769<>3970_26<>ivan gutman<>a unified approach to the first derivatives of graph polynomials<>dam<>xueliang li<>
35771<>3970_28<>fuji zhang<>hexagonal systems with forcing edges<>dm<>xueliang li<>
32398<>3971_4<>jeff forbes:keiji kanazawa:stuart j. russell<>the batmobile: towards a bayesian automated taxi<>ijcai<>timothy huang<>
2465<>3975_85<>hongjun lu:r.-h. luo<>spatial joins by precomputation of approximations<>adc<>beng chin ooi<>
2473<>3975_93<>david j. abel:kian-lee tan:robert power:jeffrey xu yu<>spatial join strategies in distributed spatial dbms<>ssd<>beng chin ooi<>
38005<>3988_1<>jihong kim<>efficient 2-d convolution algorithm with the single-data multiple kernel approach<>cvgip<>yongmin kim<>
14268<>3995_5<>nulo<>a comparison of user interfaces for panning on a touch-controlled display<>chi<>jeff a. johnson<>
14273<>3995_10<>robin jeffries<>intuitive statistics for chi practitioners: developing understanding and avoiding bloopers<>chi<>jeff johnson<>
14256<>3996_1<>michael j. whitney:morris bernstein:renato de mori:kostas kontogiannis:brain corrie:hausi a. muller:scott r. tilley:ettore merlo:john mylopoulos:kenny wong:james mcdaniel:martin stanley<>using an integrated toolset for program understanding<>cascon<>j. howard johnson<>
14259<>3996_4<>nulo<>using textual redundancy to understand change<>cascon<>j. howard johnson<>
33126<>4000_25<>ian p. gent:ewan macintyre:patrick prosser<>scaling effects in the csp phase transition<>cp<>toby walsh<>
40320<>4025_3<>nulo<>on the edge-reconstruction of 3-connected planar graphs with minimum valency 4<>dm<>yue zhao<>
19648<>4033_3<>margo i. seltzer:hari balakrishnan:jacqueline chang:sara mcmains:venkata n. padmanabhan<>file system logging versus clustering: a performance comparison<>usenix<>keith a. smith<>
7865<>4058_0<>nigel g. sharp<>feature tracking by multi-frame relaxation<>ivc<>edwin r. hancock<>
5550<>4064_3<>andrei state:david banks<>interactive shape metamorphosis<>si3d<>david t. chen<>
5551<>4064_4<>andrei state:jonathan mcallister:ulrich neumann:hong chen:tim j. cullip:henry fuchs<>interactive volume visualization on a heterogeneous message-passing multicomputer<>si3d<>david t. chen<>
33591<>4070_2<>shawn d. moe<>performance of recovery algorithms for centralized database management systems<>isci<>vijay kumar<>
33611<>4070_22<>judy mullins<>an integrated data structure with multiple access paths for database systems and its performance<>dke<>vijay kumar<>
23281<>4085_14<>ralf hartmut guting:thomas de ridder<>implementation of the rose algebra: efficient algorithms for realm-based spatial data types<>ssd<>markus schneider<>
23293<>4085_26<>ralf hartmut guting<>realm-based spatial data types: the rose algebra<>vldb<>markus schneider<>
21722<>4104_61<>hervo bronnimann<>almost optimal set covers in finite vc-dimension<>dcg<>michael t. goodrich<>
21727<>4104_66<>nulo<>planar separators and parallel polygon triangulation<>jcss<>michael t. goodrich<>
21732<>4104_71<>yi-jen chiang:edward f. grove:roberto tamassia:darren erik vengroff:jeffrey scott vitter<>external-memory graph algorithms<>soda<>michael t. goodrich<>
21736<>4104_75<>nulo<>efficient piecewise-linear function approximation using the uniform metric<>dcg<>michael t. goodrich<>
27040<>4105_29<>micah adler:john w. byers<>scheduling parallel communication: the h-relation problem<>mfcs<>richard m. karp<>
27044<>4105_33<>noga alon:david peleg:douglas b. west<>a graph-theoretic game and its application to the k-server problem<>siamcomp<>richard m. karp<>
27055<>4105_44<>micah adler:john w. byers<>parallel sorting with limited bandwidth<>spaa<>richard m. karp<>
27098<>4105_87<>alan m. frieze:bruce a. reed<>when is the assignment bound tight for the asymmetric traveling-salesman problem?<>siamcomp<>richard m. karp<>
27105<>4105_94<>farid alizadeh:lee aaron newberg:deborah k. weisser<>physical mapping of chromosomes: a combinatorial problem in molecular biology<>algorithmica<>richard m. karp<>
27117<>4105_106<>farid alizadeh:deborah k. weisser:geoffrey zweig<>physical mapping of chromosomes using unique probes<>jcb<>richard m. karp<>
35516<>4110_8<>nulo<>pz nets- a formal method integrating petri nets with z<>seke<>xudong he<>
35517<>4110_9<>nulo<>a method for analyzing properties of hierarchical predicate transition nets<>compsac<>xudong he<>
35500<>4112_9<>nulo<>an efficient parallel algorithm for finding rectangular duals of plane triangular graphs<>algorithmica<>xin he<>
35502<>4112_11<>nulo<>grid embedding of 4-connected plane graphs<>gd<>xin he<>
33572<>4122_22<>milos zefran<>optimal control of systems with unilateral constraints<>icra<>vijay kumar<>
27139<>4145_0<>ann l. chervenak:david a. patterson<>choosing the best storage system for video service<>mm<>randy h. katz<>
27140<>4145_1<>mario j. silva<>the case for design using the world wide web<>dac<>randy h. katz<>
30482<>4146_11<>shamik d. sharma:mark d. hill:james r. larus:anne rogers:joel h. saltz<>efficient support for irregular applications on distributed-memory machines<>ppopp<>shubhendu s. mukherjee<>
11209<>4175_0<>sung-soo lim:young hyun bae:gyu tae jang:byung-do rhee:sang lyul min:chang yun park:kunsoo park:soo-mook moon:chong-sang kim<>an accurate worst case timing analysis for risc processors<>tse<>heonshik shin<>
6636<>4190_3<>thomas e. anderson:david e. culler<>a case for now (networks of workstations)<>micro<>david a. patterson<>
16658<>4232_0<>warren d. smith<>on the steiner ratio in 3-space<>jct<>j. macgregor smith<>
30318<>4241_8<>guido araujo<>optimal code generation for embedded memory non-homogeneous register architectures<>isss<>sharad malik<>
30320<>4241_10<>anand raghunathan:pranav ashar<>test generation for cyclic combinational circuits<>vlsid<>sharad malik<>
30323<>4241_13<>janett mohnke:paul molitor<>limits of using signatures for permutation independent boolean comparison<>aspdac<>sharad malik<>
30325<>4241_15<>anand raghunathan:pranav ashar<>test generation for cyclic combinational circuits<>tcad<>sharad malik<>
30327<>4241_17<>yau-tsun steven li:andrew wolfe<>efficient microarchitecture modeling and path analysis for real-time software<>rtss<>sharad malik<>
30331<>4241_21<>ashok sudarsanam<>memory bank and register allocation in software synthesis for asips<>iccad<>sharad malik<>
30340<>4241_30<>yau-tsun steven li<>performance analysis of embedded software using implicit path enumeration<>dac<>sharad malik<>
30353<>4241_43<>yau-tsun steven li:andrew wolfe<>performance estimation of embedded software with instruction cache modeling<>iccad<>sharad malik<>
30357<>4241_47<>pranav ashar<>functional timing analysis using atpg<>tcad<>sharad malik<>
30361<>4241_51<>yau-tsun steven li<>performance analysis of embedded software using implicit path enumeration<>lctrts<>sharad malik<>
30366<>4241_56<>pranav ashar<>fast functional simulation using branching programs<>iccad<>sharad malik<>
30367<>4241_57<>srinivas devadas<>a survey of optimization techniques targeting low power vlsi circuits<>dac<>sharad malik<>
30375<>4241_65<>noriya kobayashi<>delay abstraction in combinational logic circuits<>aspdac<>sharad malik<>
38053<>4265_1<>tse-yun feng<>fault-diagnosis for a class of distributed control multistage interconnection networks<>ftdcs<>yanggon kim<>
22646<>4280_9<>ron m. roth<>optimal file sharing in distributed networks<>siamcomp<>moni naor<>
22652<>4280_15<>larry j. stockmeyer<>what can be computed locally?<>siamcomp<>moni naor<>
22657<>4280_20<>laszla lovasz:ilan newman:avi wigderson<>search problems in the decision tree model<>siamdm<>moni naor<>
22680<>4280_43<>leonard j. schulman:aravind srinivasan<>splitters and near-optimal derandomization<>focs<>moni naor<>
22689<>4280_52<>miklos ajtai:james aspnes:yuval rabani:leonard j. schulman:orli waarts<>fairness in scheduling<>soda<>moni naor<>
16620<>4284_0<>tanel tammet<>optimized encodings of fragments of type theory in first order logic<>types<>jan m. smith<>
38065<>4288_2<>nulo<>a backward approach in list scheduling algorithms for multi-machine tardiness problems<>cor<>yeong-dae kim<>
20856<>4301_26<>michael i. jordan<>convergence results for the em approach to mixtures of experts architectures<>nn<>lei xu<>
235<>4302_35<>divyesh jadav:chutimet srinilta:p. bruce berra<>techniques for scheduling i/o in a high performance multimedia-on-demand server<>jpdc<>alok n. choudhary<>
247<>4302_47<>shailender chaudhry:mohammed raziuddin<>on guaranteed bandwidth channels<>icnp<>alok n. choudhary<>
274<>4302_74<>rajesh bordawekar<>communication strategies for out-of-core programs on distributed memory machines<>ics<>alok n. choudhary<>
328<>4302_128<>ravi ponnusamy:joel h. saltz:yuan-shin hwang:geoffrey fox<>runtime support and compilation methods for user-specified irregular data distributions<>tpds<>alok n. choudhary<>
20516<>4309_72<>nulo<>maintaining database consistency in the presence of schema evolution<>ds<>ling liu<>
25629<>4324_0<>edward y. y. zhang<>analysis and design of parallel thinning algorithms - a generic approach<>ijprai<>patrick shen-pei wang<>
25642<>4324_13<>arun agarwal:len granowetter:karim hussein:amar gupta<>detection of courtesy amount block on bank checks<>icdar<>patrick shen-pei wang<>
16293<>4331_0<>george pavlou:kevin m. t. mccarthy:george mykoniatis<>intelligent remote monitoring<>isn<>jorge sanchez<>
16285<>4333_14<>flavio s. azevedo:john j. leggett<>paragente: exploring the issues in agent-based user interfaces<>icmas<>j. alfredo sanchez<>
39165<>4338_0<>m. a. stolow<>xenopus sonic hedgehog as a potential morphogen during embryogenesis and thyroid hormone-dependent metamorphosis<>nar<>y. b. shi<>
38581<>4350_9<>nulo<>"cachet: an interactive, incremental-attribution-based program transformation system for deriving incremental programs."<>kbse<>yanhong a. liu<>
38591<>4350_19<>tim teitelbaum<>caching intermediate results for program improvement<>pepm<>yanhong a. liu<>
38596<>4350_24<>tim teitelbaum<>systematic derivation of incremental programs<>scp<>yanhong a. liu<>
9260<>4387_0<>joseph s. b. mitchell:gunter rote:gopalakrishnan sundaram<>counting convex polygons in planar point sets<>ipl<>gerhard j. woeginger<>
3194<>4443_6<>nulo<>mechanical verification of distributed algorithms in higher-order logic<>cj<>ching-tsun chou<>
16452<>4485_2<>alexandre alves:luis moura silva:joao carreira<>wpvm: parallel computing for the people<>hpcn<>joao gabriel silva<>
16471<>4485_21<>luis moura silva:simon chapple:lyndon clarke<>portable checkpointing and recovery<>hpdc<>joao gabriel silva<>
16474<>4485_24<>luis moura silva:simon chapple:lyndon clarke<>fault-tolerance on regular decomposition grid applications<>pdp<>joao gabriel silva<>
28890<>4494_0<>ted herman<>stabilizing phase-clocks<>ipl<>sukumar ghosh<>
21959<>4518_1<>paul hudak:sebastian shaumyan<>using types to parse natural language<>fp<>mark p. jones<>
21962<>4518_4<>nulo<>dictionary-free overloading by partial evaluation<>lisp<>mark p. jones<>
21963<>4518_5<>nulo<>functional programming with overloading and higher-order polymorphism<>afp<>mark p. jones<>
21966<>4518_8<>nulo<>simplifying and improving qualified types<>fpca<>mark p. jones<>
21970<>4518_12<>sheng liang:paul hudak<>monad transformers and modular interpreters<>popl<>mark p. jones<>
10410<>4533_13<>nulo<>circumferences in 1-tough graphs<>dm<>hao li<>
10418<>4533_21<>daniel barraez:evelyne flandrin:oscar ordaz<>dominating cycles in bipartite biclaw-free graphs<>dm<>hao li<>
12548<>4562_12<>kukhamay kundu<>the strong semantics for logic programs<>jiis<>jianahua chen<>
10988<>4566_11<>nulo<>general research issues in multimedia database systems<>csur<>hanan samet<>
11038<>4566_61<>aya soffer<>"a map acquisition, storage, indexing, and retrieval system."<>icdar<>hanan samet<>
11092<>4566_115<>erik g. hoel<>benchmarking spatial join operations with spatial output<>vldb<>hanan samet<>
11093<>4566_116<>walid g. aref<>a window retrieval algorithm for spatial databases using quadtrees<>gis<>hanan samet<>
11095<>4566_118<>gisli r. hjaltason<>ranking in spatial databases<>ssd<>hanan samet<>
11104<>4566_127<>erik g. hoel<>data-parallel primitives for spatial operations<>icpp<>hanan samet<>
7261<>4585_3<>nulo<>an algorithm for simultaneously bracketing parallel texts by aligning words<>acl<>dekai wu<>
7270<>4585_12<>eva wai-man fong<>learning restricted probabilistic link grammars<>ijcai<>dekai wu<>
34177<>4615_3<>gul agha<>efficient support of location transparency in concurrent object-oriented programming languages<>sc<>wooyoung kim<>
2592<>4669_1<>jonathan swartz<>a resolution independent video language<>mm<>brian c. smith<>
36359<>4671_12<>qing hu:weifa liang<>embedding k-ary complete trees into hypercubes<>jpdc<>xiaojun shen<>
36363<>4671_16<>yijie han<>conservative algorithms for parallel and sequential integer sorting<>cocoon<>xiaojun shen<>
36364<>4671_17<>qing hu:jingyu yang:qian zhang:ke liu<>an automatic seal imprint verification approach<>pr<>xiaojun shen<>
36370<>4671_23<>nulo<>generalized latin squares ii<>dm<>xiaojun shen<>
7101<>4674_0<>tonia g. morris:stephen p. deweerth<>analog vlsi circuits for manufacturing inspection<>arvlsi<>denise m. wilson<>
2583<>4679_0<>nulo<>on drawing lines on a map<>cosit<>barry smith<>
2584<>4679_1<>nulo<>"formal ontology, common sense and cognitive science."<>ijmms<>barry smith<>
2553<>4681_5<>nulo<>in search of exceptionally difficult constraint satisfaction problems<>cp<>barbara m. smith<>
2559<>4681_11<>stuart a. grant<>sparse constraint graphs and exceptionally hard problems<>ijcai<>barbara m. smith<>
1505<>4692_6<>banu ozden:rajeev rastogi<>research issues in multimedia storage servers<>csur<>abraham silberschatz<>
17476<>4714_9<>janelle j. harms<>performance modeling of a channel reservation service<>cn<>j. w. wong<>
27584<>4718_1<>dana h. ballard<>an active vision architecture based on iconic representations<>ai<>rajesh p. n. rao<>
27593<>4718_10<>dana h. ballard<>object indexing using an iconic sparse distributed memory<>iccv<>rajesh p. n. rao<>
27596<>4718_13<>gregory j. zelinsky:mary m. hayhoe:dana h. ballard<>modeling saccadic targeting in visual search<>nips<>rajesh p. n. rao<>
27601<>4718_18<>dana h. ballard<>natural basis functions and topographic memory for face recognition<>ijcai<>rajesh p. n. rao<>
25203<>4720_16<>godfried t. toussaint<>geometric and computational aspects of gravity casting<>cad<>prosenjit bose<>
25215<>4720_28<>michael mcallister:jack snoeyink<>optimal algorithms to embed trees in a point set<>gd<>prosenjit bose<>
25262<>4720_75<>francisco gomez:pedro a. ramos:godfried t. toussaint<>drawing nice projections of objects in space<>gd<>prosenjit bose<>
25274<>4720_87<>godfried t. toussaint<>no quadrangulation is extremely odd<>isaac<>prosenjit bose<>
25282<>4720_95<>godfried t. toussaint<>growing a tree from its branches<>jal<>prosenjit bose<>
27616<>4724_0<>jan o. pedersen:marti a. hearst:jock d. mackinlay:stuart k. card:larry masinter:per-kristian halvorsen:george g. robertson<>rich interaction in the digital library<>cacm<>ramana rao<>
27617<>4724_1<>stuart k. card<>exploring large tables with the table lens<>chi<>ramana rao<>
859<>4743_16<>srinivas bangalore<>some novel applications of explanation-based learning to parsing lexicalized tree-adjoining grammars<>corr<>aravind k. joshi<>
860<>4743_17<>owen rambow<>a processing model for free word order languages<>corr<>aravind k. joshi<>
864<>4749_0<>chia-hoang lee<>"on correspondence, line tokens and missing tokens."<>pr<>anupam joshi<>
17451<>4760_9<>athanassios n. avramidis<>correlation-induction techniques for estimating quantiles in simulation experiments<>wsc<>james r. wilson<>
17454<>4760_12<>ralf w. seifert:michael g. kay<>evaluation of agv routing strategies using hierarchical simulation<>wsc<>james r. wilson<>
2222<>4765_34<>nulo<>increasing functional constraints need to be checked only once<>ijcai<>bing liu<>
2233<>4765_45<>nulo<>intelligent air travel and tourist information systems<>ieaaie<>bing liu<>
2254<>4765_66<>nulo<>using knowledge to isolate search in route finding<>ijcai<>bing liu<>
6899<>4786_1<>karsten weihe<>a linear-time algorithm for edge-disjoint paths in planar graphs<>combinatorica<>dorothea wagner<>
11237<>4796_8<>eddy pramono:andrew sohn<>dynamic load balancing for finite element calculations on parallel computers<>ppsc<>horst d. simon<>
11259<>4800_2<>nulo<>artificial intelligence: an empirical science<>ai<>herbert a. simon<>
11262<>4800_5<>jinwoo kim:f. javier lerch<>internal representation and rule development in object-oriented design<>tochi<>herbert a. simon<>
11270<>4800_13<>pat langley<>applications of machine learning and rule induction<>cacm<>herbert a. simon<>
18334<>4816_14<>arie segev<>a framework for join pattern indexing in intelligent database systems<>tkde<>j. leon zhao<>
18346<>4816_26<>arie segev:abhirup chatterjee<>a universal relation approach to federated database management<>icde<>j. leon zhao<>
6192<>4832_0<>surath rath:john hale:sujeet shenoi<>a tool for inference detection and knowledge discovery in databases<>dbsec<>dominic jones<>
2951<>4833_0<>c. s. choy:m. h. ku<>a feedback control circuit design technique to suppress power noise in high speed output driver<>iscas<>c. f. chan<>
20272<>4844_1<>marshall w. bern:david eppstein:john hershberger:subhash suri:jan wolter<>the centroid of points with approximate weights<>esa<>leonidas j. guibas<>
38406<>4850_1<>nulo<>steiner set and connected domination in trapezoid graphs<>ipl<>y. daniel liang<>
2947<>4855_3<>qiang huo<>contextual vector quantization for speech recognition with discrete hidden markov model<>pr<>chorkin chan<>
34467<>4861_0<>r. g. mclean:alan bundy<>assignment methods for incidence calculus<>ijar<>weiru liu<>
34289<>4886_0<>marco fillo:stephen w. keckler:william j. dally:nicholas p. carter:andrew chang:yevgeny gurevich<>the m-machine multicomputer<>micro<>whay sing lee<>
22021<>4887_1<>ching-tien ho<>optimal broadcast in all-port wormhole-routed hypercubes<>tpds<>ming-yang kao<>
34190<>4893_4<>dik lun lee<>on processing nested queries in distributed object-oriented database systems<>ride<>wang-chien lee<>
34202<>4893_16<>dik lun lee<>combining indexing technique with path dictionary for nested object queries<>dasfaa<>wang-chien lee<>
11174<>4942_23<>nulo<>an efficient permutation-based parallel algorithm for range-join in hypercubes<>pc<>hong shen<>
11176<>4942_25<>nulo<>efficient parallel k-set chain range-join in hypercubes<>cj<>hong shen<>
33023<>4985_1<>nulo<>a statistical learning method for logic programs with distribution semantics<>iclp<>taisuke sato<>
33026<>4985_4<>hitoshi iba:hugo de garis<>a numerical approach to genetic programming for system identification<>ec<>taisuke sato<>
33049<>4987_0<>hitoshi iba:hugo de garis<>temporal data processing using genetic programming<>icga<>taisuke sato<>
896<>5009_0<>byung ro moon<>toward more powerful recombinations<>icga<>andrew b. kahng<>
35132<>5016_19<>thomas g. dietterich<>high-performance job-shop scheduling with a time-delay td-lambda network<>nips<>wei zhang<>
35149<>5016_36<>thomas g. dietterich<>a reinforcement learning approach to job-shop scheduling<>ijcai<>wei zhang<>
35073<>5018_3<>richard e. korf<>performance of linear-space search algorithms<>ai<>weixiong zhang<>
13847<>5026_12<>jeffrey f. naughton:avi pfeffer<>generalized search trees for database systems<>vldb<>joseph m. hellerstein<>
13855<>5026_20<>alexander aiken:jennifer widom<>static analysis techniques for predicting the behavior of active database rules<>tods<>joseph m. hellerstein<>
10796<>5068_8<>keith andrews:frank kappe<>serving information to the web with hyper-g<>cn<>hermann a. maurer<>
10810<>5068_22<>nick scherbakov:achim schneider<>hm-card: a new hypermedia authoring system<>mta<>hermann a. maurer<>
10820<>5068_32<>bill flinn<>levels of anonymity<>jucs<>hermann a. maurer<>
10830<>5068_42<>keith andrews:frank kappe<>hyper-g and harmony: towards the next generation of networked information technology<>chi<>hermann a. maurer<>
10833<>5068_45<>jennifer lennon<>digital libraries as learning and teaching support<>jucs<>hermann a. maurer<>
24964<>5073_34<>qi zheng<>an optimal shortest path parallel algorithm for permutation graphs<>jpdc<>oscar h. ibarra<>
24970<>5073_40<>tao jiang:nicholas q. tran:hui wang<>new decidability results concerning two-way counter machines<>siamcomp<>oscar h. ibarra<>
25038<>5073_108<>ting-chuen pong:stephen m. sohn<>a note on parsing pattern languages<>prl<>oscar h. ibarra<>
9642<>5075_2<>shih-chung ben lo:jyh-shyan lin:huai li:matthew t. freedman:seong k. mun<>artificial convolution neural network for medical image pattern recognition<>nn<>heang-ping chan<>
24206<>5078_14<>zsolt tuza<>the acyclic orientation game on random graphs<>rsa<>noga alon<>
24252<>5078_60<>richard m. karp:david peleg:douglas b. west<>a graph-theoretic game and its application to the k-server problem<>siamcomp<>noga alon<>
24290<>5079_1<>alon orlitsky<>repeated communication and ramsey graphs<>tit<>noga alon<>
32214<>5081_24<>pei-hsin ho:howard wong-toi<>a user guide to hytech<>tacas<>thomas a. henzinger<>
32233<>5081_43<>peter w. kopke:howard wong-toi<>the expressive power of clocks<>icalp<>thomas a. henzinger<>
32245<>5081_55<>rajeev alur<>local liveness for compositional modeling of fair reactive systems<>cav<>thomas a. henzinger<>
32263<>5081_73<>peter w. kopke:anuj puri:pravin varaiya<>what's decidable about hybrid automata?<>stoc<>thomas a. henzinger<>
32266<>5081_76<>howard wong-toi<>using hytech to synthesize control parameters for a steam boiler<>dagstuhl<>thomas a. henzinger<>
32280<>5081_90<>pei-hsin ho<>algorithmic analysis of nonlinear hybrid systems<>cav<>thomas a. henzinger<>
32327<>5081_137<>howard wong-toi<>linear phase-portrait approximations for nonlinear hybrid systems<>hybrid<>thomas a. henzinger<>
32339<>5081_149<>monika rauch henzinger:peter w. kopke<>computing simulations on finite and infinite graphs<>focs<>thomas a. henzinger<>
32346<>5081_156<>pei-hsin ho:howard wong-toi<>hytech: the next generation<>rtss<>thomas a. henzinger<>
32352<>5081_162<>rajeev alur:costas courcoubetis:nicolas halbwachs:pei-hsin ho:xavier nicollin:alfredo olivero:joseph sifakis:sergio yovine<>the algorithmic analysis of hybrid systems<>tcs<>thomas a. henzinger<>
35184<>5082_6<>biao chen:sanjay kamat<>fault-tolerant real-time communication in fddi-based networks<>rtss<>wei zhao<>
35187<>5082_9<>amitava raha:sanjay kamat<>using traffic regulation to meet end-to-end deadlines in atm lans<>icnp<>wei zhao<>
35202<>5082_24<>fang feng:sanjay kamat<>guaranteeing application-to-application deadlines in distributed real-time systems<>lcn<>wei zhao<>
35232<>5082_54<>amitava raha:sanjay kamat<>guaranteeing end-to-end deadlines in atm networks<>icdcs<>wei zhao<>
35236<>5082_58<>amitava raha:nicholas malcolm<>hard real-time communications with weighted round robin service in atm local area networks<>iceccs<>wei zhao<>
35241<>5082_63<>nicholas malcolm<>hard real-time communication in multiple-access networks<>rts<>wei zhao<>
2998<>5094_7<>bashir haswarey:pattanasak mongkolwat<>creating a distributed environment using object-oriented technology<>compsac<>carl k. chang<>
9436<>5105_12<>william c. rounds<>domain theory meets default logic<>logcom<>guo-qiang zhang<>
41153<>5109_9<>xinli gu:krzysztof kuchcinski<>an efficient and economic partitioning approach for testability<>itc<>zebo peng<>
15765<>5142_1<>martin buss:hideki hashimoto<>grasping force optimization for multi-fingered robot hands<>icra<>john b. moore<>
15763<>5147_3<>vibhu o. mittal:steven f. roth:joe mattis:giuseppe carenini<>generating explanatory captions for information graphics<>ijcai<>johanna d. moore<>
22354<>5148_33<>diego calvanese:giuseppe de giacomo<>increasing the power of structured objects<>krdb<>maurizio lenzerini<>
22362<>5148_41<>giuseppe de giacomo<>pdl-based framework for reasoning about actions<>aiia<>maurizio lenzerini<>
22364<>5148_43<>tiziana catarci:giovanna d'angiolini<>conceptual language for statistical data modeling<>dke<>maurizio lenzerini<>
23129<>5149_27<>fulvio corno:paolo prinetto:maurizio rebaudengo:enzo veiluva<>a portable atpg tool for parallel and distributed systems<>vts<>matteo sonza reorda<>
23162<>5149_60<>fulvio corno:paolo prinetto:maurizio rebaudengo:enzo veiluva<>a pvm tool for automatic test generation on parallel and distributed systems<>hpcn<>matteo sonza reorda<>
23167<>5149_65<>fulvio corno:paolo prinetto:uwe glaser:heinrich theodor vierhaus<>improving topological atpg with symbolic techniques<>vts<>matteo sonza reorda<>
21575<>5157_6<>roger d. chamberlain:gregory d. peterson:michael a. province<>"genetic epidemiology, parallel algorithms, and workstation networks."<>hicss<>mark a. franklin<>
21597<>5157_28<>chia-hsing chien:tienyo pan:prithvi prabhu<>aras: asynchronous risc architecture simulator<>async<>mark a. franklin<>
21625<>5163_22<>laurent amsaleg:olivier gruber<>efficient incremental garbage collection for client-server object database systems<>vldb<>michael j. franklin<>
31855<>5170_15<>nulo<>matroid tree graphs and interpolation theorems<>dm<>sanming zhou<>
6461<>5197_1<>judith e. dayhoff:panos a. ligomenides<>trajectory production with the adaptive time-delay neural network<>nn<>daw-tung lin<>
6456<>5207_4<>nulo<>a dependency-based method for evaluating broad-coverage parsers<>ijcai<>dekang lin<>
6458<>5207_6<>bonnie j. dorr:jye-hoon lee:sungki suh<>efficient parsing for korean and english: a parameterized message- passing approach<>coling<>dekang lin<>
4557<>5220_38<>min pang chium:worthy n. martin<>transputer implementation of a multiple agent model for object tracking<>prl<>chew lim tan<>
8709<>5223_0<>luis a. lozano<>exploiting short-lived variables in superscalar processors<>micro<>guang r. gao<>
28109<>5255_1<>monica s. lam<>efficient context-sensitive pointer analysis for c programs<>pldi<>robert p. wilson<>
28107<>5256_3<>lydia e. kavraki:tomes lozano-perez:jean-claude latombe<>two-handed assembly sequencing<>ijrr<>randall h. wilson<>
28724<>5288_14<>jeff kramer<>compositional reachability analysis of finite-state distributed systems with user-specified constraints<>sigsoft<>shing-chi cheung<>
28726<>5288_16<>jeff kramer<>contextual local analysis in the design of distributed systems<>ase<>shing-chi cheung<>
40697<>5298_0<>alberto apostolico:dany breslauer<>parallel detection of all palindromes in a string<>tcs<>zvi galil<>
40699<>5298_2<>dany breslauer<>finding all periods and initial palindromes of a string in parallel<>algorithmica<>zvi galil<>
31730<>5307_1<>jungsoon p. yoo<>concept formation in numeric domains<>acm<>sung k. yoo<>
15696<>5326_26<>subhash suri<>separation and approximation of polyhedral objects<>comgeo<>joseph s. b. mitchell<>
15718<>5326_48<>gunter rote:gopalakrishnan sundaram:gerhard j. woeginger<>counting convex polygons in planar point sets<>ipl<>joseph s. b. mitchell<>
15723<>5326_53<>claudio t. silva:arie e. kaufman<>automatic generation of triangular irregular networks using greedy cuts<>visualization<>joseph s. b. mitchell<>
15623<>5327_38<>my hoang<>lower bounds on type inference with subtypes<>popl<>john c. mitchell<>
15661<>5327_76<>kathleen fisher<>the development of type systems for object-oriented languages<>tapos<>john c. mitchell<>
2530<>5328_34<>maryam alavi:kent l. norman:ellen yu borkowski<>windows of opportunity in electronic classrooms<>cacm<>ben shneiderman<>
26421<>5357_26<>doron peled:wojciech penczek<>model-checking of causality properties<>lics<>rajeev alur<>
26463<>5357_68<>robert p. kurshan<>timing analysis in cospan<>hybrid<>rajeev alur<>
26480<>5357_85<>costas courcoubetis:mihalis yannakakis<>distinguishing tests for nondeterministic and probabilistic machines<>stoc<>rajeev alur<>
26501<>5357_106<>alon itai:robert p. kurshan:mihalis yannakakis<>timing verification by successive approximation<>iandc<>rajeev alur<>
26505<>5357_110<>costas courcoubetis:nicolas halbwachs:thomas a. henzinger:pei-hsin ho:xavier nicollin:alfredo olivero:joseph sifakis:sergio yovine<>the algorithmic analysis of hybrid systems<>tcs<>rajeev alur<>
26517<>5357_122<>thomas a. henzinger<>local liveness for compositional modeling of fair reactive systems<>cav<>rajeev alur<>
24635<>5359_13<>henri b. weinberg:norman m. delisle<>verification of automated vehicle protection systems<>hybrid<>nancy a. lynch<>
24678<>5359_56<>gunter leeb<>proving safety properties of the steam boiler controller<>dagstuhl<>nancy a. lynch<>
24745<>5359_123<>alan fekete:william e. weihl<>hybrid atomicity for nested transactions<>tcs<>nancy a. lynch<>
24754<>5359_132<>nulo<>"modelling and verification of automated transit systems, using timed automata, invariants and simulations."<>hybrid<>nancy a. lynch<>
24770<>5359_148<>roberto segala<>probabilistic simulations for probabilistic processes<>njc<>nancy a. lynch<>
24779<>5359_157<>roberto segala:frits w. vaandrager:henri b. weinberg<>hybrid i/o automata<>hybrid<>nancy a. lynch<>
14162<>5376_22<>cindy grimm<>modeling surfaces of arbitrary topology using manifolds<>siggraph<>john f. hughes<>
14177<>5378_0<>koppolu sasidhar:abhijit chatterjee:vinod k. agarwal<>distributed probabilistic diagnosis of mcms on large area<>itc<>joseph l. a. hughes<>
33065<>5385_1<>ian h. witten<>learning language using genetic algorithms<>ijcai<>tony c. smith<>
14194<>5386_13<>andrew moran<>making choices lazily<>fpca<>john hughes<>
14198<>5386_17<>nulo<>the design of a pretty-printing library<>afp<>john hughes<>
25585<>5389_0<>r. horowitz<>passive velocity field control of mechanical manipulators<>icra<>p. y. li<>
41056<>5412_2<>james p. callan:w. bruce croft<>searching distributed collections with inference networks<>sigir<>zhihong lu<>
41057<>5412_3<>james allan:lisa ballesteros:james p. callan:w. bruce croft<>recent experiments with inquery<>trec<>zhihong lu<>
26537<>5424_15<>nulo<>"crypto in europe - markets, law and policy."<>cpa<>ross j. anderson<>
37201<>5431_0<>laxmi n. bhuyan:sumon shahed<>partitioning an arbitrary multicomputer architecture<>icpp<>yeimkuan chang<>
37208<>5431_7<>amitabh mishra:laxmi n. bhuyan:fabrizio lombardi<>fault-tolerant sorting in simd hypercubes<>ipps<>yeimkuan chang<>
4049<>5451_10<>e. christopher lewis:lawrence snyder:george turkiyyah<>a portable parallel n-body solver<>ppsc<>calvin lin<>
4062<>5451_23<>marios d. dikaiakos:daphne manoussaki:diana e. woodward<>the portable parallel implementation of two novel mathematical biology algorithms in zpl<>ics<>calvin lin<>
15414<>5453_10<>sergio montagna:roberto paglino<>an integrated approach to evaluating the loss performance of atm switches<>atmn<>john f. meyer<>
15468<>5456_42<>bernd van linder:wiebe van der hoek<>formalising motivational attitudes of agents<>atal<>john-jules ch. meyer<>
15493<>5456_67<>bernd van linder:wiebe van der hoek<>seeing is believing<>aiia<>john-jules ch. meyer<>
7467<>5470_7<>claudio bettini:xiaoyang sean wang:sushil jajodia<>semantic assumptions and query evaluation in temporal databases<>sigmod<>elisa bertino<>
7484<>5470_24<>nulo<>query decomposition in an object-oriented database system distributed on a local area network<>ride<>elisa bertino<>
7493<>5470_33<>paola foscoli<>index organizations for object-oriented database systems<>tkde<>elisa bertino<>
7495<>5470_35<>sushil jajodia:pierangela samarati<>database security: research and practice<>is<>elisa bertino<>
7504<>5470_44<>vijayalakshmi atluri:sushil jajodia<>providing different degrees of recency options to transactions in multilevel secure databases<>dbsec<>elisa bertino<>
7505<>5470_45<>giovanna guerrini<>objects with multiple most specific classes<>ecoop<>elisa bertino<>
7508<>5470_48<>alberto belussi:michela bertolotto:barbara catania<>generalized relational algebra: modeling spatial queries in constraint databases<>cdb<>elisa bertino<>
7523<>5470_63<>barbara catania<>database monitoring in u-datalog<>ngits<>elisa bertino<>
4091<>5473_2<>samuel t. chanson<>atm admission models of stochastic high level petri nets based on hierarchical modeling<>icnp<>chuang lin<>
40913<>5479_0<>wei li<>on logic of paradox<>ismvl<>zuoquan lin<>
40915<>5479_2<>nulo<>paraconsistent circumscription: first-order case<>ismvl<>zuoquan lin<>
21798<>5520_0<>leonard m. adleman:kireeti kompella<>efficient checkers for number-theoretic computations<>iandc<>ming-deh a. huang<>
28958<>5556_9<>yu-chee tseng<>all-to-all personalized communication in a wormhole-routed torus<>icpp<>sandeep k. s. gupta<>
29009<>5557_1<>dana s. nau:william c. regli<>ai planning versus manufacturing-operation planning: a case study<>ijcai<>satyandra k. gupta<>
29023<>5557_15<>william c. regli:dana s. nau<>manufacturing feature instances: which ones to recognize?<>sma<>satyandra k. gupta<>
28985<>5558_12<>mody lempel<>zero aliasing for modeled faults<>tc<>sandeep k. gupta<>
28989<>5558_16<>chih-ang chen<>a methodology to design efficient bist test pattern generators<>itc<>sandeep k. gupta<>
29003<>5558_30<>mody lempel:melvin a. breuer<>test embedding with discrete logarithms<>tcad<>sandeep k. gupta<>
31787<>5578_12<>tao jiang:arto salomaa:kai salomaa<>decision problems for patterns<>jcss<>sheng yu<>
31796<>5582_3<>konrad weigl<>performance comparison of a deterministic and a stochastic method for image classification<>caip<>shan yu<>
35412<>5621_5<>nulo<>distributed near-optimal matching<>ipco<>xiaotie deng<>
18378<>5636_5<>guozhao wang:youdong liang<>gc continuity conditions for adjacent rational parametric surfaces<>cagd<>jianmin zheng<>
36985<>5638_6<>takao nishizeki<>finding optimal edge-rankings of trees<>soda<>xiao zhou<>
36990<>5638_11<>takao nishizeki<>algorithms for finding f-colorings of partial k-trees<>isaac<>xiao zhou<>
36998<>5638_19<>takao nishizeki<>simple reduction of f-colorings to edge-colorings<>cocoon<>xiao zhou<>
37016<>5638_37<>nobuaki nagai:takao nishizeki<>generalized vertex-rankings of trees<>ipl<>xiao zhou<>
8680<>5648_23<>salim hariri:sung-yong park:rajashekar reddy:mahesh subramanyan:rajesh yadav:manish parashar<>software tool evaluation methodology<>icdcs<>geoffrey fox<>
8686<>5648_29<>kenneth a. hawick<>exploiting high performance fortran for computational fluid dynamics<>hpcn<>geoffrey fox<>
8699<>5648_42<>gang cheng:kenneth a. hawick:gerald mortensen<>distributed computational electromagnetics systems<>ppsc<>geoffrey fox<>
27445<>5672_23<>waqar hasan<>coloring away communication in parallel query optimization<>vldb<>rajeev motwani<>
27446<>5672_24<>tomas feder<>"clique partitions, graph compression and speeding-up algorithms."<>jcss<>rajeev motwani<>
27467<>5672_45<>anil kamath:krishna v. palem:paul g. spirakis<>tail bounds for occupancy and the satisfiability threshold conjecture<>rsa<>rajeev motwani<>
27538<>5672_116<>chandra chekuri:waqar hasan<>scheduling problems in parallel query optimization<>pods<>rajeev motwani<>
19041<>5681_0<>jae kyu lee:june seok hong:wooju kim:eun-young kim:soo yeoul choi:ho dong kim:ok ryul yang:hyung rim choi<>das: intelligent scheduling systems for shipbuilding<>aim<>kyoung jun lee<>
17263<>5701_8<>kaizhong zhang:gung-wei chirn<>algorithms for approximate graph matching<>isci<>jason tsong-li wang<>
17268<>5701_13<>kaizhong zhang:dennis shasha<>"pattern matching and pattern discovery in scientific, program, and document databases."<>sigmod<>jason tsong-li wang<>
17278<>5701_23<>fortune s. mhlanga:zhijian zhu:peter a. ng<>a new approach to modeling personal office documents<>dke<>jason tsong-li wang<>
35927<>5725_6<>wang juan<>specifying optimal design of a steam-boiler system<>dagstuhl<>xiaoshan li<>
35931<>5725_10<>chaochen zhou:dang van hung<>a duration calculus with infinite intervals<>fct<>xiaoshan li<>
4003<>5808_0<>t. c. edwin cheng:zhi-long chen<>single-machine scheduling to minimize the weighted number of early and tardy agreeable jobs<>cor<>chung-lun li<>
4006<>5808_3<>nulo<>a heuristic for parallel machine scheduling with agreeable due dates to minimize the number of late jobs<>cor<>chung-lun li<>
40406<>5871_18<>nulo<>on key agreement protocols based on tamper-proof hardware<>ipl<>yuliang zheng<>
40418<>5871_30<>jennifer seberry:xian-mo zhang<>nonlinearity and propagation characteristics of balanced boolean functions<>iandc<>yuliang zheng<>
7813<>5877_10<>nicholas j. belkin:paul b. kantor:joseph a. shaw<>combining the evidence of multiple query representations for information retrieval<>ipm<>edward a. fox<>
7831<>5877_28<>nulo<>world-wide web and computer science reports<>cacm<>edward a. fox<>
7843<>5877_40<>marc abrams:stephen williams:ghaleb abdulla:shashin patel:randy l. ribler<>multimedia traffic analysis using chitra95<>mm<>edward a. fox<>
19352<>5881_1<>stefan naher<>leda: a platform for combinatorial and geometric computing<>cacm<>kurt mehlhorn<>
16681<>5885_4<>nulo<>the many faces of multi-level real-time scheduling<>rtcsa<>john a. stankovic<>
16682<>5885_5<>marco spuri:marco di natale:giorgio c. buttazzo<>implications of classical scheduling results for real-time systems<>computer<>john a. stankovic<>
4769<>5894_0<>nulo<>compiler optimizations for eliminating barrier synchronization<>ppopp<>chau-wen tseng<>
4773<>5894_4<>jennifer-ann m. anderson:saman p. amarasinghe:monica s. lam<>unified compilation techniques for shared and distributed address space machines<>ics<>chau-wen tseng<>
4804<>5895_0<>wen-tsung chang<>clustering approach to grouping objects in message-passing systems<>joop<>chien-chao tseng<>
4805<>5895_1<>wen-tsung chang<>supporting distributed objects in fifo-based message-passing systems<>joop<>chien-chao tseng<>
31670<>5900_0<>jie yang<>towards human-robot coordination: skill modeling and transferring via hidden markov model<>icra<>sangheng xu<>
32951<>5913_22<>victor r. lesser<>equilibrium analysis of the possibilities of unenforced exchange in multiagent systems<>ijcai<>tuomas sandholm<>
20010<>5917_14<>wenwey hseush:gail e. kaiser:calton pu:philip s. yu<>divergence control for distributed database systems<>dpd<>kun-lung wu<>
20878<>5929_3<>fritz albregtsen:torfinn taxt<>fast computation of 3-d geometric moments using a discrete gauss' theorem<>caip<>luren yang<>
20879<>5929_4<>fritz albregtsen:tor lonnestad:per grottum<>a supervised approach to the evaluation of image segmentation methods<>caip<>luren yang<>
17401<>5933_0<>biing-feng wang:chen-hsing peng<>recognizing depth-first-search trees in parallel<>ipps<>jia-shung wang<>
17407<>5934_0<>nulo<>cluster monte carlo algorithms and their applications<>accv<>jian-sheng wang<>
30633<>5945_3<>beverly jamison<>p-components and the homogeneous decomposition of graphs<>siamdm<>stephan olariu<>
30647<>5945_17<>derek g. corneil:lorna stewart<>linear time algorithms for dominating pairs in asteroidal triple-free graphs<>icalp<>stephan olariu<>
30648<>5945_18<>derek g. corneil:lorna stewart<>a linear time algorithm to compute a dominating path in an at-free graph<>ipl<>stephan olariu<>
4511<>5968_3<>nulo<>parallel multifrontal solution of sparse linear least squares problems on distributed-memory multiprocessors<>ppsc<>chunguang sun<>
4506<>5970_14<>nulo<>symmetry detection using gradient information<>prl<>changming sun<>
19684<>5985_22<>jyi-shane liu<>exploiting problem structure for distributed constraint optimization<>icmas<>katia p. sycara<>
19699<>5985_37<>norman m. sadeh:yalin xiong<>backtracking techniques for the job shop scheduling constraint satisfaction problem<>ai<>katia p. sycara<>
25398<>5991_8<>hector j. levesque<>communicative actions for artificial agents<>icmas<>philip r. cohen<>
387<>5994_1<>mark a. musen:samson w. tu:yuval shahar<>a component-based architecture for automation of protocol-directed therapy<>aime<>amar k. das<>
22225<>6013_40<>tok wang ling<>resolving structural conflicts in the integration of entity relationship schemas<>er<>mong-li lee<>
24816<>6022_8<>noam nisan:avi wigderson<>on yao's xor-lemma<>eccc<>oded goldreich<>
24820<>6022_12<>nulo<>three xor-lemmas - an exposition<>eccc<>oded goldreich<>
24821<>6022_13<>ran canetti:guy even<>lower bounds for sampling algorithms for estimating the average<>ipl<>oded goldreich<>
24824<>6022_16<>benny chor:eyal kushilevitz:madhu sudan<>private information retrieval<>focs<>oded goldreich<>
24904<>6022_96<>leonid a. levin:noam nisan<>on constructing 1-1 one-way functions<>eccc<>oded goldreich<>
15551<>6025_11<>amit p. sheth:krys kochut:xuzhong wang:arun murugan<>simulation modeling within workflow technology<>wsc<>john a. miller<>
15577<>6029_2<>barry l. nelson:marne c. cario:chester a. harris:stephanie a. jamison:james steinbugl:jaehwan yang:peter p. ware<>input modeling when simple models fail<>wsc<>john o. miller<>
28251<>6044_1<>mark stover<>a distributed hierarchical management framework for heterogeneous wans<>im<>sujata banerjee<>
28258<>6044_8<>panos k. chrysanthis<>data sharing and recovery in gigabit-networked databases<>icccn<>sujata banerjee<>
28290<>6045_1<>chien chen<>optical switch configuration and lightpath assignment in wavelength routing multihop lightwave networks<>infocom<>subrata banerjee<>
30181<>6066_25<>kwabena boahen<>adaptive retina with center-surround receptive field<>nips<>shih-chii liu<>
777<>6077_0<>dimitris c. dracopoulos<>neural networks and genetic algorithms for the attitude control problem<>iwann<>antonia j. jones<>
3365<>6093_0<>ai-jia hsieh:kuo-chin fan<>an extension of the bipartite weighted matching problem<>prl<>chin-wen ho<>
33783<>6124_2<>tianzhou chen:jiaoying shi<>rendering of surface and volume details in volume data<>cgf<>wenli cai<>
1824<>6162_2<>robert k. lindsay<>empirical studies of the genetic algorithm with non-coding segments<>ec<>annie s. wu<>
10571<>6187_3<>hongjun lu:rudy setiono<>neurorule: a connectionist approach to data mining<>vldb<>huan liu<>
10595<>6187_27<>rudy setiono<>understanding neural networks via rule extraction<>ijcai<>huan liu<>
10611<>6187_43<>chris d. rowles:wilson x. wen<>critics for knowledge-based design systems<>tkde<>huan liu<>
24315<>6192_21<>michael wooldridge<>applying agent technology<>aai<>nicholas r. jennings<>
24350<>6192_56<>jun huang:john fox<>agent-based approach to health care management<>aai<>nicholas r. jennings<>
24381<>6192_87<>matthew m. huntbach:graem a. ringwood<>how agents do it in stream logic programming<>icmas<>nick r. jennings<>
24416<>6192_122<>nulo<>controlling cooperative problem solving in industrial multi-agent systems using joint intentions<>ai<>nicholas r. jennings<>
24417<>6192_123<>frances m. t. brazier:barbara dunin-keplicz:jan treur<>formal specification of multi-agent systems: a real-world case<>icmas<>nick r. jennings<>
24435<>6192_141<>jose manuel corera:inaki laresgoiti<>developing industrial multi-agent systems<>icmas<>nicholas r. jennings<>
14069<>6225_1<>nulo<>on the structure of local tournaments<>jct<>j. huang<>
14078<>6225_10<>jorgen bang-jensen:gregory gutin<>weakly hamiltonian-connected ordinary multipartite tournaments<>dm<>jing huang<>
36281<>6242_2<>nulo<>hamiltonian cycles in bipartite graphs<>combinatorica<>xiaoyun lu<>
7951<>6287_9<>nulo<>jr. on 2-ranks of steiner triple systems<>combinatorics<>e. f. assmus jr.<>
7973<>6288_19<>richard n. taylor:nenad medvidovic:kenneth m. anderson:jason e. robbins<>a component- and message-based architectural style for gui software<>icse<>e. james whitehead jr.<>
26288<>6294_0<>james glimm:john w. grove:xiaolin li:robin young:yanni zeng<>front tracking: a parallelized approach for internal boundaries and interfaces<>para<>qiang zhang<>
33881<>6323_1<>georgios b. giannakis:n. nandhakumar<>a harmonic retrieval framework for discontinuous motion estimation<>icip<>wei-ge chen<>
13044<>6345_10<>sergey brin:hector garcia-molina<>copy detection mechanisms for digital documents<>sigmod<>james davis<>
704<>6348_2<>naomi nishimura<>the parallel complexity of tree embedding problems<>jal<>arvind gupta<>
709<>6348_7<>naomi nishimura<>finding largest common embeddable subtrees<>stacs<>arvind gupta<>
670<>6352_4<>elise de doncker<>coarse grain preconditioned conjugate gradient solver for large sparse systems<>ppsc<>ajay k. gupta<>
13026<>6355_1<>carl lagoze<>dienst: an architecture for distributed document libraries<>cacm<>james r. davis<>
13027<>6355_2<>carl lagoze<>drop-in publishing with the world wide web<>cn<>james r. davis<>
1600<>6370_18<>rafael h. saavedra<>performance characterization of optimizing compilers<>tse<>alan jay smith<>
18897<>6382_34<>victor c. s. lee:sheung-lun hung<>virtual deadline assignment in distributed real-time database systems<>rtcsa<>kam-yiu lam<>
5591<>6385_0<>pritpal s. ahuja:anne rogers<>the performance impact of incomplete bypassing in processor pipelines<>micro<>douglas w. clark<>
5594<>6385_3<>gordon stoll:bin wei:edward w. felten:kai li:pat hanrahan<>evaluating multi-port frame buffer designs for a mesh-connected multicomputer<>isca<>douglas w. clark<>
15000<>6393_34<>michel desmarais:david a. maluf<>user-expertise modeling with empirically derived probabilistic implication networks<>umuai<>jiming liu<>
30664<>6403_0<>rajat k. pal:m. m. das:ajit pal<>computing area and wire length efficient routes for channels<>vlsid<>sudebkumar prasant pal<>
18747<>6411_6<>shisheng shang<>distributed hardwired barrier synchronization for scalable multiprocessor clusters<>tpds<>kai hwang<>
3820<>6423_4<>jae young choi<>a genetic algorithm for job sequencing problems with distinct due dates and general early-tardy penalty weights<>cor<>chae-young lee<>
3807<>6437_1<>wynne hsu<>paradigm shift and the integrated feedback approach<>icra<>c. s. george lee<>
3811<>6437_5<>gyoung h. kim<>genetic reinforcement learning approach to the machine scheduling problem<>icra<>c. s. george lee<>
2731<>6452_0<>jia-shung wang:chen-hsing peng<>recognizing depth-first-search trees in parallel<>ipps<>biing-feng wang<>
29467<>6463_0<>steve perkins:yang zhong:sakti pramanik:john h. beaman<>a new data model for biological classification<>bioinformatics<>sungwon jung<>
25495<>6488_12<>nulo<>techniques for compiling programs on distributed memory multicomputers<>pc<>peizong lee<>
25535<>6497_4<>roberto battiti:alvise sartori:giampietro tecchiolli<>special-purpose parallel architectures for high-performance machine learning<>hpcn<>peter lee<>
25536<>6497_5<>nulo<>an fpga prototype for a multiplierless fir filter built using the logarithmic number system<>fpl<>peter lee<>
10063<>6540_11<>clement lam:v. carl hamacher<>design and analysis of hierarchical ring networks for shared-memory multiprocessors<>icpp<>hong jiang<>
28014<>6542_5<>thomas e. anderson:michael dahlin:jeanna m. neefe:david a. patterson:drew s. roselli<>serverless network file systems<>sosp<>randolph y. wang<>
39290<>6550_5<>sandeep k. s. gupta<>all-to-all personalized communication in a wormhole-routed torus<>icpp<>yu-chee tseng<>
39321<>6550_36<>sandeep k. s. gupta:dhabaleswar k. panda<>an efficient scheme for complete exchange in 2d tori<>ipps<>yu-chee tseng<>
39329<>6550_44<>nulo<>detecting termination by weight-throwing in a faulty distributed system<>jpdc<>yu-chee tseng<>
28383<>6555_2<>jun'ichi miyao<>a framework of a visual language with dynamic specification<>vl<>shi-kuo chang<>
28384<>6555_3<>nulo<>compressed-domain techniques for image/video indexing and manipulation<>icip<>shih-fu chang<>
28386<>6555_5<>gennaro costagliola:giuliano pacini:maurizio tucci:genoveffa tortora:bing yu:jing-sheng yu<>visual-language system for user interfaces<>software<>shi-kuo chang<>
28388<>6555_7<>seungyup paek:paul bocheck<>scalable mpeg2 video servers with heterogeneous qos on parallel disk arrays<>nossdav<>shih-fu chang<>
28389<>6555_8<>maria francesca costabile:stefano levialdi<>virtual reality as an aid to visual querying<>sebd<>shi-kuo chang<>
28399<>6555_18<>h.-j. chang:t.-y. hou:arding hsu<>tele-action objects for an active multimedia system<>icmcs<>shi-kuo chang<>
28442<>6555_61<>david g. messerschmitt<>manipulation and compositing of mc-dct compressed video<>jsac<>shih-fu chang<>
12089<>6557_32<>k. mani chandy<>fortran m: a language for modular parallel programming<>jpdc<>ian t. foster<>
12098<>6557_41<>john b. drake:john michalakes:brian r. toonen:patrick h. worley<>design and performance of a scalable parallel community climate model<>pc<>ian t. foster<>
12100<>6557_43<>david abramson:john michalakes:rok sosic<>relative debugging and its application to the development of large numerical models<>sc<>ian t. foster<>
21815<>6562_5<>grant e. weddell<>implication problems for functional constraints on databases supporting complex objects<>jcss<>minoru ito<>
40853<>6580_3<>kazuhiro yokoyama:istvan nemes<>finding roots of unity among quotients of the roots of an integral polynomial<>issac<>ziming li<>
1327<>6584_41<>yonit kesten:zohar manna<>verifying clocked transition systems<>hybrid<>amir pnueli<>
1347<>6584_61<>oded maler<>on the learnability of infinitary regular sets<>iandc<>amir pnueli<>
1391<>6584_105<>oded maler<>timing analysis of asynchronous circuits using timed automata<>charme<>amir pnueli<>
1395<>6584_109<>orna kupferman<>once and for all<>lics<>amir pnueli<>
1403<>6584_117<>eugene asarin:oded maler<>reachability analysis of dynamical systems having piecewise-constant derivatives<>tcs<>amir pnueli<>
31626<>6630_2<>s. w. ng:y. s. lee:c. k. tse<>stability of a circuit with parasitic capacitances<>iscas<>s. c. wong<>
19777<>6645_17<>seymour ginsburg<>interval queries on object histories<>tcs<>katsumi tanaka<>
41488<>6671_3<>rudolf ahlswede<>new directions in the theory of identification via channels<>tit<>zhen zhang<>
41496<>6671_11<>tuvi etzion:victor k. wei<>bounds on the sizes of constant weight covering codes<>dcc<>zhen zhang<>
41444<>6673_5<>donald f. towsley:james f. kurose<>statistical analysis of generalized processor sharing scheduling discipline<>jsac<>zhi-li zhang<>
3666<>6675_2<>nulo<>granularity and the development of concurrent programs<>entcs<>cliff b. jones<>
3676<>6675_12<>nulo<>fixing the semantics of some concurrent object-oriented concepts<>entcs<>cliff b. jones<>
3687<>6675_23<>steve j. hodges<>non-interference properties of a concurrent object-based language: proofs based on an operational semantics<>dagstuhl<>cliff b. jones<>
3696<>6676_2<>j. mark ware:geraint ll. bundy<>a triangulated spatial model for cartographic generalisation of areal objects<>cosit<>christopher b. jones<>
3707<>6679_0<>nulo<>end-user programming<>computer<>capers jones<>
1865<>6684_2<>david p. dobkin:nadia shouraboura:ayellet tal<>strategies for polyhedral surface decomposition: an experimental study<>compgeom<>bernard chazelle<>
1867<>6684_4<>nadia shouraboura<>bounds on the size of tetrahedralizations<>dcg<>bernard chazelle<>
1895<>6684_32<>nulo<>lower bounds for off-line range searching<>stoc<>bernard chazelle<>
1900<>6684_37<>jiri matousek<>derandomizing an output-sensitive convex hull algorithm in three dimensions<>comgeo<>bernard chazelle<>
1922<>6684_59<>burton rosenberg<>simplex range reporting on a pointer machine<>comgeo<>bernard chazelle<>
1945<>6684_82<>jiri matousek:micha sharir<>an elementary approach to lower bounds in geometric discrepancy<>dcg<>bernard chazelle<>
5690<>6701_1<>jonathan c. l. liu:james a. schnepf<>supporting random access on real-time retrieval of digital continuous media<>comcom<>david hung-chang du<>
5670<>6707_11<>biao gao:ronald l. graham<>a tight lower bound for the steiner ratio in minkowski planes<>dm<>ding-zhu du<>
5672<>6707_13<>al borchers<>the k-steiner ratio in graphs<>stoc<>ding-zhu du<>
5673<>6707_14<>nulo<>on greedy heuristics for steiner minimum trees<>algorithmica<>ding-zhu du<>
5679<>6707_20<>nulo<>on component-size bounded steiner trees<>dam<>ding-zhu du<>
6646<>6719_5<>guy kortsarz<>approximation algorithms for minimum-time broadcast<>siamdm<>david peleg<>
6647<>6719_6<>jean-claude bermond<>the power of small coalitions in graphs<>sirocco<>david peleg<>
6648<>6719_7<>noga alon:richard m. karp:douglas b. west<>a graph-theoretic game and its application to the k-server problem<>siamcomp<>david peleg<>
37559<>6730_6<>nulo<>"mean shift, mode seeking, and clustering."<>pami<>yizong cheng<>
26359<>6741_1<>king-ip lin:harpreet s. sawhney:kyuseok shim<>"fast similarity search in the presence of noise, scaling, and translation in time-series databases."<>vldb<>rakesh agrawal<>
26360<>6741_2<>ramakrishnan srikant<>mining generalized association rules<>vldb<>rakesh agrawal<>
26381<>6741_23<>manish mehta:jorma rissanen<>mdl-based decision tree pruning<>kdd<>rakesh agrawal<>
26386<>6741_28<>giuseppe psaila<>active data mining<>kdd<>rakesh agrawal<>
26390<>6741_32<>giuseppe psaila:edward l. wimmers:mohamed zait<>querying shapes of histories<>vldb<>rakesh agrawal<>
26391<>6741_33<>ramakrishnan srikant<>mining sequential patterns<>icde<>rakesh agrawal<>
3338<>6743_6<>bill g. horne:hava t. siegelmann<>what narx networks can compute<>sofsem<>c. lee giles<>
3348<>6743_16<>mark w. goudreau<>using recurrent neural networks to learn the structure of interconnection networks<>nn<>c. lee giles<>
3357<>6743_25<>steve lawrence:sandiway fong<>natural language grammatical inference: a comparison of recurrent neural networks and machine learning methods<>ijcai<>c. lee giles<>
29776<>6748_13<>yap-peng tan:peter j. ramadge<>a new method for camera motion parameter estimation<>icip<>sanjeev r. kulkarni<>
29786<>6748_23<>s. e. posner<>rates of convergence of nearest neighbor estimation under arbitrary sampling<>tit<>sanjeev r. kulkarni<>
29742<>6749_11<>anish arora<>designing masking fault tolerance via nonmasking fault tolerance<>srds<>sandeep s. kulkarni<>
2841<>6758_1<>nulo<>convexity of minimal total dominating functions in graphs<>cocoon<>bo yu<>
40760<>6773_2<>ronan boulic:tolga k. capin:prem kalra:b. linterrnann:nadia magnenat-thalmann:laurent moccozet:tom molet:igor s. pandzic:kurt saar:alfred schmitt:j. shen:daniel thalmann<>the humanoid environment for interactive animation of multiple deformable human characters<>cgf<>zhiyong huang<>
11597<>6800_0<>robert k. brayton<>multi-level logic optimization of fsm networks<>iccad<>huey-yih wang<>
5627<>6804_7<>manish mehta<>managing intra-operator parallelism in parallel database systems<>vldb<>david j. dewitt<>
5633<>6804_13<>seth j. white<>quickstore: a high performance mapped object store<>vldb<>david j. dewitt<>
5636<>6804_16<>seth j. white<>implementing crash recovery in quickstore: a performance study<>sigmod<>david j. dewitt<>
18<>6828_7<>kassem saleh:imtiaz ahmad:khaled al-saqabi<>recovery approach to the design of stabilizing communication protocols<>comcom<>anjali agarwal<>
9066<>6831_1<>nulo<>reasoning about object-z specifications<>apsec<>graeme smith<>
9071<>6831_6<>nulo<>extending  for object-z<>zum<>graeme smith<>
9084<>6831_19<>nulo<>a fully abstract semantics of classes for object-z<>fac<>graeme smith<>
8058<>6862_0<>don kimber:lynn wilcox:thomas p. moran<>speaker segmentation for browsing recorded audio<>chi<>francine chen<>
8059<>6862_1<>julian kupiec:jan o. pedersen<>a trainable document summarizer<>sigir<>francine chen<>
5157<>6877_1<>jeffrey j. rodriguez<>high-resolution histogram modification of color images<>cvgip<>christopher c. yang<>
2360<>6889_47<>ted g. lewis:dave power:jack grimes:mike potel:ronald j. vetter:phillip a. laplante:wolfgang pree:gustav pomberger:mark d. hill:james r. larus:david a. wood:hesham el-rewini:bruce w. weide<>where is software headed? a virtual roundtable<>computer<>bertrand meyer<>
2361<>6889_48<>nulo<>static typing<>oopsm<>bertrand meyer<>
17010<>6903_7<>edward f. grove:ming-yang kao:p. krishnan<>online perfect matching and mobile computing<>wads<>jeffrey scott vitter<>
17058<>6903_55<>yi-jen chiang:michael t. goodrich:edward f. grove:roberto tamassia:darren erik vengroff<>external-memory graph algorithms<>soda<>jeffrey scott vitter<>
