1768 search results - page 312 / 354 » A Logic for Algebraic Effects |
157
click to vote
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
149
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Recent research results have shown that the traditional structural testing for delay and crosstalk faults may result in over-testing due to the non-trivial number of such faults t...
156
click to vote
DIAGRAMS
2008
Springer
15 years 7 months ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...
198
click to vote
ICCV
2007
IEEE
15 years 7 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
156
click to vote
LREC
2010
15 years 7 months ago
2010
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...