14244 search results - page 201 / 2849 » Modeling Program Predictability |
127
Voted
BIOSTEC
2011
14 years 2 months ago
2011
DAWAK
2011
Springer
14 years 2 months ago
2011
Springer
EMNLP
2011
14 years 2 months ago
2011
112
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
151
Voted
CORR
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...