440 search results - page 59 / 88 » Local reasoning for abstraction and sharing |
102
click to vote
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...
125
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The relationship between automata and logics has been investigated since the 1960s. In particular, it was shown how to determine, given an automaton, whether or not it is...
106
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
149
click to vote
TSP
2010
14 years 8 months ago
2010
Abstract--Sensor localization using channel energy measurements of distributed sensors has been studied in various scenarios. However, it is usually assumed that the target does no...
131
click to vote
EWSN
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In-network data aggregation is widely recognized as an acceptable means to reduce the amount of transmitted data without adversely affecting the quality of the results. T...