1754 search results - page 52 / 351 » What's new in informatics |
ICMAS
1998
13 years 9 months ago
1998
Multi-agent models of language evolution usually involve agents giving names to internal independently constructed categories. We present an approach in which the creation of cate...
UAI
1994
13 years 9 months ago
1994
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
DIS
2005
Springer
14 years 1 months ago
2005
Springer
In the 1980s, Don Swanson proposed the concept of “undiscovered public knowledge,” and published several examples in which two disparate literatures (i.e., sets of articles hav...
BMCBI
2008
13 years 7 months ago
2008
Background: High-throughput genotyping technology has enabled cost effective typing of thousands of individuals in hundred of thousands of markers for use in genome wide studies. ...