987 search results - page 129 / 198 » Ludics and Its Applications to Natural Language Semantics |
128
click to vote
MODELS
2007
Springer
16 years 16 days ago
2007
Springer
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
161
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Truly generic and reusable intelligent tutoring software architectures have remained elusive. As part of our effort to develop tutoring systems for simulations of ill-defined doma...
140
click to vote
NAACL
2007
15 years 7 months ago
2007
This paper describes a novel text comparison environment that facilities text comparison administered through assessing and aggregating information nuggets automatically created a...
177
click to vote
ALGORITHMICA
2005
15 years 6 months ago
2005
We present a new bit-parallel technique for approximate string matching. We build on two previous techniques. The first one, BPM [Myers, J. of the ACM, 1999], searches for a patte...
162
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...