13026 search results - page 423 / 2606 » Probabilistic Relational Models |
148
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
168
click to vote
IAT
2003
IEEE
15 years 10 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
166
click to vote
IDEAS
1997
IEEE
15 years 9 months ago
1997
IEEE
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
148
click to vote
ACL
2006
15 years 6 months ago
2006
We present a novel hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using...
146
Voted
HIS
2003
15 years 6 months ago
2003
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...