Sciweavers

3717 search results - page 221 / 744
» Representing Multiple Theories
Sort
View
LICS
2005
IEEE
15 years 11 months ago
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
Jérôme Leroux
XMLSEC
2003
ACM
15 years 10 months ago
A bitmap-based access control for restricted views of XML documents
The information on the web is growing at a very fast pace. In this ever-accumulating data, the volume of information represented in XML format is on the rise in recent times. An o...
Abhilash Gummadi, Jong P. Yoon, Biren Shah, Vijay ...
ECTEL
2006
Springer
15 years 9 months ago
Bayesian Student Models Based on Item to Item Knowledge Structures
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...
Michel Desmarais, Michel Gagnon
GEOINFO
2004
15 years 6 months ago
Spatio-Temporal Database Constraints for Spatial Dynamic Simulation
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
Bianca Maria Pedrosa, Luiz Camolesi Jr., Gilberto ...
TSMC
2008
146views more  TSMC 2008»
15 years 5 months ago
Decentralized Learning in Markov Games
Learning Automata (LA) were recently shown to be valuable tools for designing Multi-Agent Reinforcement Learning algorithms. One of the principal contributions of LA theory is tha...
Peter Vrancx, Katja Verbeeck, Ann Nowé