934 search results - page 45 / 187 » exact 2007 |
104
click to vote
PTS
2003
15 years 1 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
117
click to vote
MCU
1998
15 years 1 months ago
1998
A BSS machine is -uniform if it does not use exact tests; such machines are equivalent (modulo parameters) to Type 2 Turing machines. We define a notion of closure related to Turi...
NIPS
2000
15 years 1 months ago
2000
An on-line recursive algorithm for training support vector machines, one vector at a time, is presented. Adiabatic increments retain the KuhnTucker conditions on all previously se...
IJCAI
1997
15 years 1 months ago
1997
New methods and new systems are needed to lter or to selectively distribute the increasing volume of electronic informationbeing produced nowadays. An e ective information ltering...
ACL
1996
15 years 1 months ago
1996
Under categorial grammars that have powerful rules like composition, a simple n-word sentence can have exponentially many parses. Generating all parses is inefficient and obscures...