1054 search results - page 148 / 211 » Guarded Expressions in Practice |
177
click to vote
ICFCA
2007
Springer
15 years 9 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...
162
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
—Over the recent years, a great deal of effort has been made to age estimation from face images. It has been reported that age can be accurately estimated under controlled enviro...
157
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
163
Voted
APWEB
2006
Springer
15 years 9 months ago
2006
Springer
In the semantic web context,the formal representation of knowledge is not resourceful while the informal one with uncertainty prevails. In order to provide an uncertainty reasoning...
151
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...