8008 search results - page 491 / 1602 » Computer-Aided Language Processing |
156
click to vote
ALT
2006
Springer
15 years 10 months ago
2006
Springer
A number of natural models for learning in the limit is introduced to deal with the situation when a learner is required to provide a grammar covering the input even if only a par...
126
click to vote
JSYML
2006
15 years 6 months ago
2006
In [Sca99], T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theore...
130
click to vote
CIMCA
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract. We describe Scusi?, a multi-stage, spoken language interpretation mechanism designed to be part of a robot-mounted dialogue system. Scusi?’s interpretation process maps...
189
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
156
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a tool for component system design in the UML. The tool supports an internal process model for graphical specifications. The model is used to guarantee consistency of ...