Sciweavers

12766 search results - page 2304 / 2554
» collective
Sort
View
ECSQARU
2009
Springer
15 years 11 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
GEOS
2009
Springer
15 years 11 months ago
Bottom-Up Gazetteers: Learning from the Implicit Semantics of Geotags
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...
Carsten Keßler, Patrick Maué, Jan Tor...
HUC
2009
Springer
15 years 11 months ago
HydroSense: infrastructure-mediated single-point sensing of whole-home water activity
Recent work has examined infrastructure-mediated sensing as a practical, low-cost, and unobtrusive approach to sensing human activity in the physical world. This approach is based...
Jon Froehlich, Eric Larson, Tim Campbell, Conor Ha...
ICSE
2009
IEEE-ACM
15 years 11 months ago
A-SCORE: Automatic software component recommendation using coding context
Reusing software components (e.g. classes or modules) improves software quality and developer’s productivity. Unfortunately, developers may miss many reusing opportunities since...
Ryuji Shimada, Yasuhiro Hayase, Makoto Ichii, Mako...
ISAAC
2009
Springer
113views Algorithms» more  ISAAC 2009»
15 years 11 months ago
On Shortest Disjoint Paths in Planar Graphs
For a graph G and a collection of vertex pairs {(s1, t1), . . . , (sk, tk)}, the k disjoint paths problem is to find k vertex-disjoint paths P1, . . . , Pk, where Pi is a path fr...
Yusuke Kobayashi, Christian Sommer 0002
« Prev « First page 2304 / 2554 Last » Next »