1546 search results - page 161 / 310 » Context-Aware Computing with Sound |
142
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
130
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...
162
click to vote
PODS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational database that may violate given integrity constraints. Thi...
171
click to vote
ESANN
2007
15 years 7 months ago
2007
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...
165
click to vote
JFPLC
2000
15 years 7 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...