1064 search results - page 121 / 213 » Disjoint Systems (Extended Abstract) |
149
Voted
EUC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
150
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
113
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
106
Voted
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Researchers have recently demonstrated display positioning using optical sensors in conjunction with temporally-coded patterns of projected light. This paper extends that...
157
Voted
AMEC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...