2314 search results - page 168 / 463 » Monoids over domains |
CP
2007
Springer
15 years 8 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
145
click to vote
HUMO
2007
Springer
15 years 8 months ago
2007
Springer
We describe a “bag-of-rectangles” method for representing and recognizing human actions in videos. In this method, each human pose in an action sequence is represented by orien...
KES
2007
Springer
15 years 8 months ago
2007
Springer
Bayesian Networks are proven to be a comprehensive model to describe causal relationships among domain attributes with probabilistic measure of conditional dependency. However, dep...
126
Voted
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
100
click to vote
AICT
2006
IEEE
15 years 8 months ago
2006
IEEE
Quality of Service (QoS) has been a major concern in the field of network management, even more so for emerging dynamic multimedia applications (Video on Demand, Telefony over IP...