9387 search results - page 1000 / 1878 » An Optimal Process Model for a Real Time Process |
255
click to vote
TII
2008
15 years 7 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
238
click to vote
ICIP
2003
IEEE
16 years 9 months ago
2003
IEEE
This paper presents an algorithm for tracking the left ventricle in echocardiographic sequences, using multiple models. The use of multiple dynamic models is appropriate since the...
198
click to vote
IJCAI
2003
15 years 9 months ago
2003
A computational cognitive model of Web navigation is a working computer system that simulates human users searching for items in a Web site. A fully working model must automate asp...
213
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
203
click to vote
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
— A novel approach is presented which aims at building autonomously visual models of unknown objects, using a humanoid robot. Although good methods have been proposed for the spe...