Sciweavers

2598 search results - page 396 / 520
» The Abstract Immune System Algorithm
Sort
View
ACIVS
2006
Springer
15 years 6 months ago
Adaptative Road Lanes Detection and Classification
Abstract. This paper presents a Road Detection and Classification algorithm for Driver Assistance Systems (DAS), which tracks several road lanes and identifies the type of lane bou...
Juan Manuel Collado, Cristina Hilario, Arturo de l...
APWEB
2004
Springer
15 years 6 months ago
Effective Visualisation of Workflow Enactment
Abstract. Although most existing teamwork management systems support userfriendly interface to some extent, few of them have take into consideration of the special requirements of ...
Yun Yang, Wei Lai, Jun Shen, Xiaodi Huang, Jun Yan...
CAV
2006
Springer
121views Hardware» more  CAV 2006»
15 years 6 months ago
Deriving Small Unsatisfiable Cores with Dominators
Abstract. The problem of finding a small unsatisfiable core of an unsatisfiable CNF formula is addressed. The proposed algorithm, Trimmer, iterates over each internal node d in the...
Roman Gershman, Maya Koifman, Ofer Strichman
ECCV
2006
Springer
15 years 6 months ago
Recursive Structure from Motion Using Hybrid Matching Constraints with Error Feedback
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
Fredrik Nyberg, Anders Heyden
BIRTHDAY
2005
Springer
15 years 4 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...