Sciweavers

2635 search results - page 122 / 527
» Computing multihomogeneous resultants using straight-line pr...
Sort
View
139
Voted
ICLP
1995
Springer
15 years 7 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
122
Voted
VL
2008
IEEE
15 years 10 months ago
End-user programming to support classroom activities on small devices
We believe it is unreasonable to assume that all students will own a laptop. One potential solution is to depend on the students to bring whatever computing devices (cell phones, ...
Craig Prince
111
Voted
EOR
2006
74views more  EOR 2006»
15 years 3 months ago
A mixed-integer programming approach to multi-class data classification problem
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...
Fadime Üney Yüksektepe, Metin Türka...
120
Voted
CG
2002
Springer
15 years 3 months ago
A Small Go Board Study of Metric and Dimensional Evaluation Functions
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...
Bruno Bouzy
137
Voted
ML
2006
ACM
143views Machine Learning» more  ML 2006»
15 years 3 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton