Sciweavers

3318 search results - page 176 / 664
» The Weak Instance Model
Sort
View
FM
2006
Springer
111views Formal Methods» more  FM 2006»
13 years 12 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
COLT
1991
Springer
13 years 11 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
ACL
1998
13 years 9 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
ANOR
2005
57views more  ANOR 2005»
13 years 8 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
ANOR
2002
99views more  ANOR 2002»
13 years 8 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...