1581 search results - page 85 / 317 » Mechanizing Inductive Reasoning |
168
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
184
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
149
click to vote
ICMLA
2004
15 years 7 months ago
2004
Classically, cognition assumes that the underlying mechanisms of thinking are based on symbol manipulation processes. This assumption has several drawbacks, such as the issue of w...
204
click to vote
SEBD
2003
15 years 7 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
191
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...