5075 search results - page 493 / 1015 » Model-based interface development |
170
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
169
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
178
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper describes a proposal of an extended event model using a media synchronization method for video hypermedia applications. In this extended event model, video and metadata...
170
click to vote
ASPDAC
2006
ACM
16 years 24 days ago
2006
ACM
—Designing high-performance systems with high yield under parameter variations has raised serious design challenges in nanometer technologies. In this paper, we propose a profit-...
192
click to vote
HRI
2006
ACM
16 years 24 days ago
2006
ACM
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...