4451 search results - page 564 / 891 » Continuous model synthesis |
215
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
164
click to vote
ICTAI
2006
IEEE
16 years 24 days ago
2006
IEEE
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...
152
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...
179
Voted
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
163
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
— A fast online gait planning method is proposed. Based on an approximate dynamical biped model whose mass is concentrated to COG, general solution of the equation of motion is a...