Sciweavers

2845 search results - page 334 / 569
» Constraints over Ontologies
Sort
View
ICTAI
2007
IEEE
14 years 5 months ago
On Portfolios for Backtracking Search in the Presence of Deadlines
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
Huayue Wu, Peter van Beek
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
14 years 5 months ago
Combining motion from texture and lines for visual navigation
— Two novel methods for computing 3D structure information from video for a piecewise planar scene are presented. The first method is based on a new line constraint, which clear...
Konstantinos Bitsakos, Li Yi, Cornelia Fermül...
BIOWIRE
2007
Springer
14 years 5 months ago
A Circulatory System Approach for Wireless Sensor Networks
Abstract—One of the challenges in a military wireless sensor network is the determination of an information collection infrastructure which minimizes battery power consumption. T...
Vasileios Pappas, Dinesh Verma, Ananthram Swami
DALT
2007
Springer
14 years 4 months ago
Interoperation in Protocol Enactment
Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of...
Amit K. Chopra, Munindar P. Singh
FSTTCS
2007
Springer
14 years 4 months ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin