1063 search results - page 194 / 213 » Order and Negation as Failure |
115
click to vote
MSCS
2007
14 years 11 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
72
Voted
PVLDB
2008
14 years 11 months ago
2008
Duplicate detection is the process of identifying multiple representations of a same real-world object in a data source. Duplicate detection is a problem of critical importance in...
114
click to vote
IJBRA
2010
14 years 10 months ago
2010
—Cytochrome b561 (Cyt-b561) proteins play important functions in plants such as anti-toxin defense reactions, growth and development, and prevention of damage to plants from exce...
92
Voted
JAIR
2010
14 years 10 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...
108
click to vote
PE
2010
Springer
14 years 10 months ago
2010
Springer
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...