Sciweavers

686 search results - page 92 / 138
» Simulation Modeling at Multiple Levels of Abstraction
Sort
View
CODES
2007
IEEE
15 years 1 months ago
Synchronization after design refinements with sensitive delay elements
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
Tarvo Raudvere, Ingo Sander, Axel Jantsch
JBI
2011
249views Bioinformatics» more  JBI 2011»
14 years 4 months ago
A reusable framework for health counseling dialogue systems based on a behavioral medicine ontology
Automated approaches to promoting health behavior change, such as exercise, diet, and medication adherence promotion, have the potential for significant positive impact on society...
Timothy W. Bickmore, Daniel Schulman, Candace L. S...
FAABS
2004
Springer
15 years 3 months ago
Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
Wesley Kerr, Diana F. Spears, William M. Spears, D...
ESANN
2006
14 years 11 months ago
Evolving multi-segment 'super-lamprey' CPG's for increased swimming control
Abstract. `Super-lamprey' swimmers which operate over a greater control range are evolved. Propulsion in the lamprey, an eel-like fish, is governed by activity in its spinal n...
Leena N. Patel, Alan F. Murray, John Hallam
CAIP
2003
Springer
166views Image Analysis» more  CAIP 2003»
15 years 3 months ago
Unsupervised Segmentation Incorporating Colour, Texture, and Motion
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
Thomas Brox, Mikaël Rousson, Rachid Deriche, ...