7167 search results - page 200 / 1434 » Answer Set Programming |
153
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
A new chip-set for video display processing in a consumer television or set-top box is presented. Key aspect of the chip-set is a high flexibility and programmability of multi-win...
164
click to vote
UM
2005
Springer
16 years 1 hour ago
2005
Springer
In a collaborative environment, knowledge about collaborators’ skills is an important factor when determining which team members should perform a task. However, this knowledge ma...
173
click to vote
EUROPAR
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a tiling technique that can be used by application programmers and optimizing compilers to obtain I/O-efficient versions of regular scientific loop nests. Du...
169
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
161
click to vote
AGP
1998
IEEE
15 years 10 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...