6020 search results - page 159 / 1204 » A New Approach to Model Counting |
148
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
142
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Due to computational intractability, large scale coordination algorithms are necessarily heuristic and hence require tuning for particular environments. In domains where character...
163
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We consider the problem of multi-task reinforcement learning, where the agent needs to solve a sequence of Markov Decision Processes (MDPs) chosen randomly from a fixed but unknow...
144
click to vote
HAPTICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Soft objects are often desired in applications such as virtual surgery training. Soft object simulations are computationally intensive because object deformation involves numerica...
158
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we propose a new two-level methodology for assessing countries’/companies’ economic/financial performance. The methodology is based on two major techniques of gr...