5550 search results - page 892 / 1110 » Different Approaches to Proof Systems |
358
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
152
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a pervasive usage of the sensor network infrastructure as a cyber-physical system for navigating internal users in locations of potential danger. Our proposed applica...
195
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
198
click to vote
WCRE
2006
IEEE
16 years 21 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
186
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—In a reconfigurable network, lightpath connections can be dynamically changed to reflect changes in traffic conditions. This paper characterizes the gain in traffic capacity tha...