2314 search results - page 104 / 463 » Monoids over domains |
103
click to vote
JAIR
2011
14 years 8 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
200
click to vote
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
Performance of n-gram language models depends to a large extent on the amount of training text material available for building the models and the degree to which this text matches...
104
click to vote
BIBE
2008
IEEE
15 years 8 months ago
2008
IEEE
— The ASSIST project aims to facilitate cervical cancer research by integrating medical records containing both phenotypic and genotypic data, and residing in different medical c...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Multi-agent problem domains may require distributed algorithms for a variety of reasons: local sensors, limitations of communication, and availability of distributed computational...