2050 search results - page 287 / 410 » A formal foundation for process modeling |
175
Voted
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We consider the problem of computing the likelihood of a gesture from regular, unaided video sequences, without relying on perfect segmentation of the scene. Instead of requiring ...
136
click to vote
CICLING
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
279
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
201
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
202
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...