Sciweavers

29386 search results - page 5546 / 5878
» On modeling of self-organizing systems
Sort
View
FCSC
2010
170views more  FCSC 2010»
15 years 4 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
GIS
2010
ACM
15 years 4 months ago
Time geography inverted: recognizing intentions in space and time
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
Peter Kiefer, Martin Raubal, Christoph Schlieder
HEURISTICS
2010
15 years 4 months ago
A metaheuristic approach to the urban transit routing problem
The urban transit routing problem (UTRP) is NP-Hard and involves devising routes for public transport systems. It is a highly complex multiply constrained problem and the evaluati...
Lang Fan, Christine L. Mumford
CVPR
2011
IEEE
15 years 3 months ago
Interactively Building a Discriminative Vocabulary of Nameable Attributes
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...
Devi Parikh, Kristen Grauman
CORR
2011
Springer
186views Education» more  CORR 2011»
15 years 1 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
« Prev « First page 5546 / 5878 Last » Next »