5220 search results - page 85 / 1044 » Changing Persistent Applications |
128
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
107
Voted
ICDM
2003
IEEE
15 years 7 months ago
2003
IEEE
Analyzing data to find trends, correlations, and stable patterns is an important problem for many industrial applications. In this paper, we propose a new technique based on paral...
143
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
115
Voted
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
139
Voted
MC
2008
15 years 4 months ago
2008
Tool use often challenges the human motor system, especially when these tools require sensorimotor transformations. We report an experiment using a digitizer tablet, in which diff...