1454 search results - page 97 / 291 » Stateful traits and their formalization |
101
Voted
ICCAD
1998
IEEE
15 years 5 months ago
1998
IEEE
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...
111
Voted
ACL
2008
15 years 2 months ago
2008
In spoken dialogue systems, Partially Observable Markov Decision Processes (POMDPs) provide a formal framework for making dialogue management decisions under uncertainty, but effi...
109
Voted
KES
2006
Springer
15 years 18 days ago
2006
Springer
Groups of collaborative agents within organizations need to achieve goals creating group awareness. This is necessary for groups to act as single entities. The notion of collective...
154
click to vote
SIGMOD
2008
ACM
16 years 24 days ago
2008
ACM
This article proposes a core query algebra for probabilistic databases. In essence, this core is part of the query languages of most probabilistic database systems proposed so far...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...