7167 search results - page 78 / 1434 » Answer Set Programming |
90
Voted
COMPASS
1995
15 years 4 months ago
1995
JMLR
2012
13 years 3 months ago
2012
121
Voted
TAL
2010
Springer
14 years 11 months ago
2010
Springer
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
87
Voted
VMCAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...