1096 search results - page 186 / 220 » Type inference for atomicity |
WSC
1997
13 years 9 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
AAAI
1990
13 years 9 months ago
1990
Cyclic definitions are often prohibited in terminological knowledge representation languages because, from a theoretical point of view, their semantics is not clear and, from a pr...
ACL
1992
13 years 9 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
CIDR
2009
13 years 8 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
ICML
2010
IEEE
13 years 8 months ago
2010
IEEE
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...