5363 search results - page 686 / 1073 » Building the Cerebellum in a Computer |
175
click to vote
WIDM
2004
ACM
16 years 9 days ago
2004
ACM
Organising large-scale Web information retrieval systems into hierarchies of topic-specific search resources can improve both the quality of results and the efficient use of com...
188
click to vote
ATAL
2004
Springer
16 years 8 days ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
180
click to vote
CASSIS
2004
Springer
16 years 8 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
163
click to vote
GC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...
171
click to vote
GG
2004
Springer
16 years 7 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...