Sciweavers

4273 search results - page 606 / 855
» User studies and the design of Natural Language Systems
Sort
View
PPDP
2004
Springer
15 years 12 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
LREC
2008
126views Education» more  LREC 2008»
15 years 8 months ago
Morphosyntactic Resources for Automatic Speech Recognition
Texts generated by automatic speech recognition (ASR) systems have some specificities, related to the idiosyncrasies of oral productions or the principles of ASR systems, that mak...
Stéphane Huet, Guillaume Gravier, Pascale S...
MEMOCODE
2008
IEEE
16 years 1 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
AIIDE
2009
15 years 7 months ago
Computational Support for Play Testing Game Sketches
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
Adam M. Smith, Mark J. Nelson, Michael Mateas
ICRA
2007
IEEE
132views Robotics» more  ICRA 2007»
16 years 29 days ago
Heterogeneous Leg Stiffness and Roll in Dynamic Running
— Legged robots are by nature strongly non-linear, high-dimensional systems whose full complexity permits neither tractable mathematical analysis nor comprehensive numerical stud...
Samuel Burden, Jonathan Clark, Joel Weingarten, Ha...