934 search results - page 45 / 187 » exact 2007 |
PTS
2003
14 years 11 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...
MCU
1998
14 years 11 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
14 years 11 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
14 years 11 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
14 years 11 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...