Sciweavers

29082 search results - page 5441 / 5817
» The Time-Triggered Model of Computation
Sort
View
PVLDB
2008
108views more  PVLDB 2008»
15 years 6 months ago
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu...
TROB
2008
146views more  TROB 2008»
15 years 6 months ago
Mapping a Suburb With a Single Camera Using a Biologically Inspired SLAM System
This paper describes a biologically inspired approach to vision-only simultaneous localization and mapping (SLAM) on ground-based platforms. The core SLAM system, dubbed RatSLAM, i...
Michael Milford, Gordon Wyeth
175
Voted
BIB
2010
89views more  BIB 2010»
15 years 5 months ago
Knowledge-based data analysis comes of age
The emergence of high-throughput technologies for measuring biological systems has introduced problems for data interpretation that must be addressed for proper inference. First, ...
Michael F. Ochs
CIKM
2010
Springer
15 years 5 months ago
Understanding retweeting behaviors in social networks
Retweeting is an important action (behavior) on Twitter, indicating the behavior that users re-post microblogs of their friends. While much work has been conducted for mining text...
Zi Yang, Jingyi Guo, Keke Cai, Jie Tang, Juanzi Li...
AI
2008
Springer
15 years 5 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
« Prev « First page 5441 / 5817 Last » Next »