Sciweavers

3604 search results - page 287 / 721
» All Common Subsequences
Sort
View
160
Voted
ICRA
2002
IEEE
161views Robotics» more  ICRA 2002»
15 years 11 months ago
Mosaicing Large Cyclic Environments for Visual Navigation in Autonomous Vehicles
Mobile robot localization from large-scale appearance mosaics has been showing increasing promise as a low-cost, high-performance and infrastructure-free solution to vehicle guida...
Ranjith Unnikrishnan, Alonzo Kelly
IEEEPACT
2002
IEEE
15 years 11 months ago
Predicting Conditional Branches With Fusion-Based Hybrid Predictors
Researchers have studied hybrid branch predictors that leverage the strengths of multiple stand-alone predictors. The common theme among the proposed techniques is a selection mec...
Gabriel H. Loh, Dana S. Henry
136
Voted
ICALP
2010
Springer
15 years 11 months ago
The Downward-Closure of Petri Net Languages
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
Peter Habermehl, Roland Meyer, Harro Wimmel
176
Voted
KR
2010
Springer
15 years 11 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...
PROFES
2009
Springer
15 years 10 months ago
The Waterfall Model in Large-Scale Development
Waterfall development is still a widely used way of working in software development companies. Many problems have been reported related to the model. Commonly accepted problems are...
Kai Petersen, Claes Wohlin, Dejan Baca