436 search results - page 72 / 88 » Decomposing constraint systems: equivalences and computation... |
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
Paracatadioptric sensors combine a parabolic shaped mirror and a camera inducing an orthographic projection. Such a configuration provides a wide field of view while keeping a s...
SASN
2003
ACM
14 years 2 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
BMCBI
2007
13 years 8 months ago
2007
Background: Current approaches to parameter estimation are often inappropriate or inconvenient for the modelling of complex biological systems. For systems described by nonlinear ...