Sciweavers

4126 search results - page 232 / 826
» Set based logic programming
Sort
View
241
Voted
PSSE
2004
Springer
15 years 11 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
PEPM
2007
ACM
16 years 17 days ago
Tasks: language support for event-driven programming
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
FUZZY
1997
Springer
101views Fuzzy Logic» more  FUZZY 1997»
15 years 10 months ago
Fuzzy Modeling of Conceptual Spaces
It is introduced a new concept: H-sets which generalises the notion of fuzzy sets and is based on the concept of hemilattice. Then, we extend the attribute-value conceptual spaces ...
Adrian Silvescu
CIDR
2003
218views Algorithms» more  CIDR 2003»
15 years 7 months ago
Indexing Large Trajectory Data Sets With SETI
With the rapid increase in the use of inexpensive, location-aware sensors in a variety of new applications, large amounts of time-sequenced location data will soon be accumulated....
V. Prasad Chakka, Adam Everspaugh, Jignesh M. Pate...
NMR
2004
Springer
15 years 11 months ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas