Sciweavers

2302 search results - page 428 / 461
» Basic Description Logics
Sort
View
CHI
2005
ACM
16 years 4 months ago
The rotating compass: a novel interaction technique for mobile navigation
In current mobile navigation systems users receive the navigational instructions on a visual display or by descriptive audio. The mapping between the provided navigation informati...
Enrico Rukzio, Albrecht Schmidt, Antonio Krüg...
ICWS
2009
IEEE
16 years 1 months ago
RDF Data-Centric Storage
—The vision of the Semantic Web has brought about new challenges at the intersection of web research and data management. One fundamental research issue at this intersection is t...
Justin J. Levandoski, Mohamed F. Mokbel
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 27 days ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke
ICDE
2010
IEEE
217views Database» more  ICDE 2010»
15 years 11 months ago
Toward industrial-strength keyword search systems over relational data
– Keyword search (KWS) over relational data, where the answers are multiple tuples connected via joins, has received significant attention in the past decade. Numerous solutions ...
Akanksha Baid, Ian Rae, AnHai Doan, Jeffrey F. Nau...
WWW
2010
ACM
15 years 11 months ago
New-web search with microblog annotations
Web search engines discover indexable documents by recursively ‘crawling’ from a seed URL. Their rankings take into account link popularity. While this works well, it introduc...
Tom Rowlands, David Hawking, Ramesh Sankaranarayan...