Sciweavers

2740 search results - page 137 / 548
» Typing the Specialization Interface
Sort
View
125
Voted
IJCAI
2001
15 years 5 months ago
The Exponentiated Subgradient Algorithm for Heuristic Boolean Programming
Boolean linear programs (BLPs) are ubiquitous in AI. Satisfiability testing, planning with resource constraints, and winner determination in combinatorial auctions are all example...
Dale Schuurmans, Finnegan Southey, Robert C. Holte
115
Voted
JDWM
2007
107views more  JDWM 2007»
15 years 3 months ago
Evolutionary Induction of Mixed Decision Trees
This article presents a new evolutionary algorithm (EA) for induction of mixed decision trees. In nonterminal nodes of a mixed tree, different types of tests can be placed, rangin...
Marek Kretowski, Marek Grzes
222
Voted
POPL
2004
ACM
16 years 4 months ago
Formalization of generics for the .NET common language runtime
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
Dachuan Yu, Andrew Kennedy, Don Syme
137
Voted
SSD
1997
Springer
103views Database» more  SSD 1997»
15 years 7 months ago
Vague Regions
Abstract: In many geographical applications there is a need to model spatial phenomena not simply by sharp objects but rather through indeterminate or vague concepts. To support su...
Martin Erwig, Markus Schneider
93
Voted
TREC
2000
15 years 5 months ago
Goal-Driven Answer Extraction
We describe the structure and functioning of an answer-extraction system built from the ground up, in only three person-months, using shallow text-processing techniques. Underlyin...
Michael Laszlo, Leila Kosseim, Guy Lapalme