Sciweavers

8695 search results - page 119 / 1739
» Making the Complex Simple
Sort
View
111
Voted
SSD
2007
Springer
139views Database» more  SSD 2007»
15 years 6 months ago
Local Topological Relationships for Complex Regions
Topological relationships between spatial objects are important for querying, reasoning, and indexing of data within spatial databases. These relationships are qualitative and resp...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
ICLP
1997
Springer
15 years 4 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
95
Voted
IJCAI
2003
15 years 2 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni...
127
Voted
TVLSI
2008
85views more  TVLSI 2008»
15 years 18 days ago
Low-Complexity Policies for Energy-Performance Tradeoff in Chip-Multi-Processors
Chip-Multi-Processors (CMP) utilize multiple energy-efficient Processing Elements (PEs) to deliver high performance while maintaining an efficient ratio of performance to energy-c...
A. Elyada, Ran Ginosar, Uri Weiser
89
Voted
CEC
2009
IEEE
15 years 7 months ago
The engineering of concurrent simulations of complex systems
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
Fiona A. C. Polack, Paul S. Andrews, Adam T. Samps...