1593 search results - page 60 / 319 » An Intelligent Model and Its Implementation of Search Engine |
109
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...
152
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— Recent advances in graph-based search techniques derived from Kleinberg’s work [1] have been impressive. This paper further improves the graph-based search algorithm ...
146
Voted
CIA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents an agent community based peer-to-peer information retrieval method called ACP2P method[16] and discusses the experimental results of the method. The ACP2P metho...
110
Voted
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
171
Voted
IJCIM
2002
15 years 3 months ago
2002
Currently, the challenge of implementing a product data management system (PDMS) is how to ensure system integration and product data exchange is shared between heterogeneous syste...