4635 search results - page 21 / 927 » Modeling Design Knowledge on Structure |
LPAR
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
EMNLP
2009
13 years 5 months ago
2009
We present a scalable joint language model designed to utilize fine-grain syntactic tags. We discuss challenges such a design faces and describe our solutions that scale well to l...
SMA
1993
ACM
13 years 11 months ago
1993
ACM
METRICS
2003
IEEE
14 years 19 days ago
2003
IEEE
Predicting stability in object-oriented (OO) software, i.e., the ease with which a software item evolves while preserving its design, is a key feature for software maintenance. In...
AIED
2009
Springer
14 years 1 months ago
2009
Springer
Design of collaborative learning (CL) scenarios is a complex task, but necessary if the goal of the collaboration is learning. Creating well-thought-out CL scenarios requires exper...