3434 search results - page 147 / 687 » Peer-to-Peer Keyword Search Using Keyword Relationship |
139
click to vote
JAR
2007
15 years 4 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
139
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
150
click to vote
CIVR
2009
Springer
15 years 11 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
124
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
The goal of this Robot Ontology effort is to develop and begin to populate a neutral knowledge representation (the data structures) capturing relevant information about robots and...
120
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Various algorithms have been developed and applied to structural optimization, in which cross-sectional areas of structure members are assumed to be continuous. In most cases of p...