424 search results - page 49 / 85 » Smoothing Techniques for Tree-k-Grammar-Based Natural Langua... |
AGI
2008
13 years 10 months ago
2008
AI has many techniques and tools at its disposal, yet seems to be lacking some special "juice" needed to create a true being. We propose that the missing ingredients are ...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
UML
2001
Springer
14 years 27 days ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...