2233 search results - page 161 / 447 » Modular type classes |
138
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable effort has been made in identifying properties which ensure tractabi...
148
click to vote
CLIN
2004
15 years 6 months ago
2004
This paper presents a machine learning approach to the resolution of coreferential relations between nominal constituents in Dutch. It is the first significant automatic approach ...
158
Voted
TCS
2008
15 years 5 months ago
2008
In the context of Featherweight Java by Igarashi, Pierce, and Wadler, and its recent extension FeatherTrait Java (FTJ) by the authors, we investigate classes that can be extended ...
153
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
116
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...