6279 search results - page 935 / 1256 » Objects as session-typed processes |
186
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
175
click to vote
JRTIP
2007
15 years 6 months ago
2007
Abstract The problem of estimating and predicting position and orientation (pose) of a camera is approached by fusing measurements from inertial sensors (accelerometers and rate gy...
175
click to vote
CCE
2004
15 years 6 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
176
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
157
Voted
COGSCI
2004
15 years 6 months ago
2004
In the present study, using event-related functional magnetic resonance imaging, we investigated a group of participants on a grammaticality classification task after they had bee...