Sciweavers

13277 search results - page 2349 / 2656
» An Approach to Clustering Abstracts
Sort
View
246
Voted
STOC
1991
ACM
167views Algorithms» more  STOC 1991»
15 years 11 months ago
Counting Networks and Multi-Processor Coordination
d Abstract) James Aspnes Maurice Herlihyy Nir Shavitz Digital Equipment Corporation Cambridge Research Lab CRL 90/11 September 18, 1991 Many fundamental multi-processor coordinati...
James Aspnes, Maurice Herlihy, Nir Shavit
177
Voted
DALT
2009
Springer
15 years 10 months ago
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
Shakil M. Khan, Yves Lespérance
ECCV
2010
Springer
15 years 10 months ago
Modeling Temporal Structure of Decomposable Motion Segments for Activity Classification
Abstract. Much recent research in human activity recognition has focused on the problem of recognizing simple repetitive (walking, running, waving) and punctual actions (sitting up...
173
Voted
ICPR
2010
IEEE
15 years 10 months ago
Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences
Abstract--This paper proposes a novel method for generating arbitrary stereoscopic view from multiple omnidirectional image sequences. Although conventional methods for arbitrary v...
Maiya Hori, Masayuki Kanbara, Naokazu Yokoya
205
Voted
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 10 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
« Prev « First page 2349 / 2656 Last » Next »