Sciweavers

4486 search results - page 630 / 898
» Adaptable Boundary Sets
Sort
View
ATAL
2010
Springer
15 years 7 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ICASSP
2010
IEEE
15 years 7 months ago
An improved deviation measure for two-path echo cancellation
—The two-path algorithm is a well-known approach for overcoming the dead-lock problem in echo cancellation systems. Typically, a fixed foreground filter is producing the echo c...
Christian Schüldt, Fredric Lindström, In...
BMCBI
2008
99views more  BMCBI 2008»
15 years 6 months ago
NestedMICA as an ab initio protein motif discovery tool
Background: Discovering overrepresented patterns in amino acid sequences is an important step in protein functional element identification. We adapted and extended NestedMICA, an ...
Mutlu Dogruel, Thomas A. Down, Tim J. P. Hubbard
CAD
2006
Springer
15 years 6 months ago
Constrained 3D shape reconstruction using a combination of surface fitting and registration
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
Yang Liu, Helmut Pottmann, Wenping Wang
157
Voted
CTW
2006
94views more  CTW 2006»
15 years 6 months ago
Situation awareness and safety in offshore drill crews
In many industrial settings, the situation awareness (SA) of workers needs to be maintained at a high level to ensure the safety of their operation. This is particularly relevant t...
Anne Sneddon, Kathryn Mearns, Rhona Flin