3646 search results - page 300 / 730 » Voice search for development |
160
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
333
click to vote
AACC
2004
Springer
16 years 5 days ago
2004
Springer
Searching on the Internet has grown in importance over the last few years, as huge amount of information is invariably accumulated on the Web. The problem involves locating the des...
172
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
This paper develops and analyzes distributed search techniques for use in a peer-to-peer (P2P) network-based Information Retrieval (IR) system. In the absence of a centralized med...
159
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
213
click to vote
ISSRE
2003
IEEE
16 years 1 days ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...