Sciweavers

3318 search results - page 176 / 664
» The Weak Instance Model
Sort
View
116
Voted
FM
2006
Springer
111views Formal Methods» more  FM 2006»
15 years 6 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
124
Voted
COLT
1991
Springer
15 years 6 months ago
On the Complexity of Teaching
While most theoretical work in machine learning has focused on the complexity of learning, recently there has been increasing interest in formally studying the complexity of teach...
Sally A. Goldman, Michael J. Kearns
107
Voted
ACL
1998
15 years 4 months ago
Detecting Verbal Participation in Diathesis Alternations
We present a method for automatically identifying verbal participation in diathesis alternations. Automatically acquired subcategorization frames are compared to a hand-crafted cl...
Diana McCarthy, Anna Korhonen
94
Voted
ANOR
2005
57views more  ANOR 2005»
15 years 2 months ago
Integer-Programming Software Systems
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
Alper Atamtürk, Martin W. P. Savelsbergh
107
Voted
ANOR
2002
99views more  ANOR 2002»
15 years 2 months ago
A General Approach to the Physician Rostering Problem
Abstract. This paper presents a hybridization of a Constraint Programming (CP) model and search techniques with Local Search (LS) and some ideas borrowed from Genetic Algorithms (G...
Louis-Martin Rousseau, Gilles Pesant, Michel Gendr...