Sciweavers

100 search results - page 20 / 20
» Solving the simple continuous table layout problem
Sort
View
ICFEM
2009
Springer
13 years 3 months ago
Graded-CTL: Satisfiability and Symbolic Model Checking
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
Alessandro Ferrante, Margherita Napoli, Mimmo Pare...
ICRA
2003
IEEE
163views Robotics» more  ICRA 2003»
13 years 10 months ago
An experimental study of hybrid switched system approaches to visual servoing
Abstract— In the recent past, many researchers have developed control algorithms for visual servo applications. In this paper, we introduce a new hybrid switched system approach,...
Nicholas R. Gans, Seth Hutchinson
BMCBI
2008
111views more  BMCBI 2008»
13 years 5 months ago
SciDBMaker: new software for computer-aided design of specialized biological databases
Background: The exponential growth of research in molecular biology has brought concomitant proliferation of databases for stocking its findings. A variety of protein sequence dat...
Riadh Hammami, Abdelmajid Zouhir, Karim Naghmouchi...
ECCC
2008
186views more  ECCC 2008»
13 years 5 months ago
Universal Semantic Communication II: A Theory of Goal-Oriented Communication
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
Brendan Juba, Madhu Sudan
MBEC
2011
198views more  MBEC 2011»
13 years 7 days ago
Clinically oriented real-time monitoring of the individual's risk for deep tissue injury
Spinal cord injury patients are under daily risk for developing deep tissue injury which is a severe pressure ulcer that initiates in soft tissues at the bones’ proximity. We aim...
Sigal Portnoy, Nicolas Vuillerme, Yohan Payan, Ami...