5 search results - page 1 / 1 » Understanding Formal Description of Pitch-Based Input |
HCSE
2010
13 years 9 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
COLING
1992
14 years 10 days ago
1992
In this paper, we dLscuss the approach we take to the interpretation of instructions. Instructions describe actions related to each other and to other goals the agent may have; ou...
ECBS
2005
IEEE
14 years 4 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...
SCAM
2006
IEEE
14 years 5 months ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
PPDP
2010
Springer
13 years 9 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...