2084 search results - page 205 / 417 » Set Constraints in Logic Programming |
171
click to vote
CVPR
2011
IEEE
15 years 21 days ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
245
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
115
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a polarised variant of Curien and Herbelin’s ¯λµ˜µ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised ...
133
click to vote
SSDBM
2003
IEEE
15 years 9 months ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...
159
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...