2858 search results - page 389 / 572 » Logics with Aggregate Operators |
195
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
199
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Advances of sensor and RFID technology provide significant new power for humans to sense, understand and manage the world. RFID provides fast data collection with precise identific...
176
click to vote
ASUNAM
2009
IEEE
16 years 1 months ago
2009
IEEE
—We envision new communication paradigms, using physical dynamic interconnectedness among people. Delay Tolerant Networks (DTNs) are a new communication paradigm to support such ...
180
click to vote
ATVA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
165
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...