5550 search results - page 748 / 1110 » Different Approaches to Proof Systems |
183
click to vote
IWANN
1999
Springer
15 years 11 months ago
1999
Springer
Recently, a real-time clustering microchip based on the ART1 algorithm has been reported. That chip was able to classify 100-bit input patterns into up to 18 categories. However, i...
197
click to vote
IATA
1998
Springer
15 years 11 months ago
1998
Springer
We present an approach to resource allocation in telecommunications networks based on the interaction of self-interested agents which have limited information about their environme...
192
click to vote
DL
1997
Springer
15 years 11 months ago
1997
Springer
We describe a case study in the design of a user interface to a digital library. Our design stems from a vision of a library as a channel to the vast array of digital information ...
145
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
Sensor-actuator networks (SANs) are a new approach for the physically-based animation of objects. The user supplies the configuratíon of a mechanical system that hás been augmen...
192
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...