12774 search results - page 2357 / 2555 » A Framework for Proof Systems |
185
click to vote
UIC
2010
Springer
15 years 5 months ago
2010
Springer
As a result of the recent explosion of sensor-equipped mobile phone market, the phenomenal growth of Internet and social network users, and the large deployment of sensor network i...
170
click to vote
VLDB
2010
ACM
15 years 5 months ago
2010
ACM
The frequent items problem is to process a stream of items and find all items occurring more than a given fraction of the time. It is one of the most heavily studied problems in d...
175
click to vote
WS
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
219
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents the framework of a mobile air quality monitoring network, with an in-depth discussion of several new innovative techniques for web-based visualization. These t...
163
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...