10910 search results - page 21 / 2182 » Input modeling using a computer algebra system |
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
ENTCS
2008
14 years 9 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
APCHI
2004
IEEE
15 years 1 months ago
2004
IEEE
We have developed a menu-selection-based Japanese input method for a pen device. To obtain user-input kanji-form text rapidly, the system requires sequence of consonant. Following ...
CVPR
2006
IEEE
15 years 11 months ago
2006
IEEE