1405 search results - page 174 / 281 » We Are No Longer A Priesthood |
135
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
186
click to vote
FGCS
2008
15 years 6 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
190
click to vote
ENTCS
2006
15 years 6 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
181
click to vote
GEOINFORMATICA
2006
15 years 6 months ago
2006
With the rapid advancements in positioning technologies such as the Global Positioning System (GPS) and wireless communications, the tracking of continuously moving objects has bec...
210
click to vote
COMCOM
2007
15 years 6 months ago
2007
In this paper, we address the problem of real-time video streaming over a bandwidth and energy constrained wireless sensor network (WSN) from a small number of dispersed video-sen...