Sciweavers

4894 search results - page 694 / 979
» Choices
Sort
View
NIPS
1994
15 years 8 months ago
From Data Distributions to Regularization in Invariant Learning
Ideally pattern recognition machines provide constant output when the inputs are transformed under a group G of desired invariances. These invariances can be achieved by enhancing...
Todd K. Leen
USENIX
1994
15 years 8 months ago
Experiences with a Survey Tool for Discovering Network Time Protocol Servers
The Network Time Protocol (NTP) is widely used to synchronize computer clocks throughout the Internet. Existing NTP clients and servers form a very large distributed system, and y...
James D. Guyton, Michael F. Schwartz
IJCAI
1989
15 years 7 months ago
Reasoning About Assumptions in Graphs of Models
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
Sanjaya Addanki, Roberto Cremonini, J. Scott Penbe...
COLING
1992
15 years 7 months ago
Planning To Fail, Not Failing To Plan: Risk-Taking And Recovery In Task-Oriented Dialogue
duplicate the route. The HCRC Dialogue Database [3] We hypothesise that agents who engage in task- contains 128 such dialogues; in this work we examined oriented dialogue usually t...
Jean Carletta
LFP
1990
171views more  LFP 1990»
15 years 7 months ago
Operational and Axiomatic Semantics of PCF
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
Brian T. Howard, John C. Mitchell