3146 search results - page 6 / 630 » Efficient Consequence Finding |
99
Voted
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper we have proposed a new route finding method for car navigation systems meanwhile, have utilized learning power and high speed of neural networks in our proposed meth...
98
Voted
ESA
2007
Springer
15 years 4 months ago
2007
Springer
A token is hidden in one out of n boxes following some known probability distribution and then all the boxes are locked. The goal of a searcher is to find the token in at most D n...
103
Voted
DAM
2008
15 years 12 days ago
2008
This paper presents algorithms to find vertex-critical and edgecritical subgraphs in a given graph G, and demonstrates how these critical subgraphs can be used to determine the ch...
104
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Efficiently finding Web services on the Web is a challenging issue in service-oriented computing. Currently, UDDI is a standard for publishing and discovery of Web services, and U...
134
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...