Sciweavers

4378 search results - page 572 / 876
» On the Complexity of Ordered Colourings
Sort
View
DALT
2005
Springer
16 years 8 days ago
Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
Thomas Ågotnes, Michal Walicki
DEXA
2005
Springer
80views Database» more  DEXA 2005»
16 years 8 days ago
Optimizing I/O Costs of Multi-dimensional Queries Using Bitmap Indices
Bitmap indices are efficient data structures for processing complex, multi-dimensional queries in data warehouse applications and scientific data analysis. For high-cardinality at...
Doron Rotem, Kurt Stockinger, Kesheng Wu
ECAL
2005
Springer
16 years 8 days ago
Timescale and Stability in Adaptive Behaviour
Recently, in both the neuroscience and adaptive behaviour communities, there has been growing interest in the interplay of multiple timescales within neural systems. In particular,...
Christopher L. Buckley, Seth Bullock, Netta Cohen
200
Voted
ECAL
2005
Springer
16 years 8 days ago
Artificial Homeostatic System: A Novel Approach
Abstract. Many researchers are developing frameworks inspired by natural, especially biological, systems to solve complex real-world problems. This work extends previous work in th...
Patrícia Amâncio Vargas, Renan C. Moi...
ECMDAFA
2005
Springer
122views Hardware» more  ECMDAFA 2005»
16 years 8 days ago
Semantic Anchoring with Model Transformations
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...