2519 search results - page 117 / 504 » Reasoning with Textual Cases |
122
click to vote
FLOPS
2006
Springer
15 years 8 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
163
Voted
TSMC
2010
14 years 11 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
140
click to vote
IEPOL
2010
15 years 3 months ago
2010
The ongoing debate about possible implementation of regulatory rules requiring “network neutrality” for wireless telecommunications services is inherently about whether to imp...
259
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
127
click to vote
AMI
2009
Springer
15 years 11 months ago
2009
Springer
This paper reports on a novel recurrent fuzzy classification method for robust detection of context activities in an environment using either single or distributed sensors. It als...