Sciweavers

2602 search results - page 459 / 521
» Semantic Analysis of 'to'
Sort
View
SIGIR
2010
ACM
14 years 1 months ago
Image search by concept map
In this paper, we present a novel image search system, image search by concept map. This system enables users to indicate not only what semantic concepts are expected to appear bu...
Hao Xu, Jingdong Wang, Xian-Sheng Hua, Shipeng Li
FORMATS
2007
Springer
14 years 1 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
DASFAA
2009
IEEE
173views Database» more  DASFAA 2009»
14 years 1 months ago
A Uniform Framework for Ad-Hoc Indexes to Answer Reachability Queries on Large Graphs
Graph-structured databases and related problems such as reachability query processing have been increasingly relevant to many applications such as XML databases, biological databas...
Linhong Zhu, Byron Choi, Bingsheng He, Jeffrey Xu ...
AMAST
2006
Springer
14 years 1 months ago
Some Programming Languages for Logspace and Ptime
We propose two characterizations of complexity classes by means of programming languages. The first concerns Logspace while the second leads to Ptime. This latter characterization ...
Guillaume Bonfante
APWEB
2006
Springer
14 years 1 months ago
LocalRank: A Prototype for Ranking Web Pages with Database Considering Geographical Locality
In this demo, we present a method called LocalRank to rank web pages. Our method integrates the web and a local user database with semantic links including geographical ones. We fi...
Jianwei Zhang 0002, Yoshiharu Ishikawa, Sayumi Kur...