1701 search results - page 50 / 341 » Computer Science and State Machines |
ISPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
ACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY Department of Computing and Information Sciences College of Engineer...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
ACL
2010
14 years 7 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
WETICE
2003
IEEE
15 years 3 months ago
2003
IEEE
Computer science and engineering nowadays appears to be challenged (and driven) by technological progress and quantitative growth. Among the technological progress challenges are ...
ADS
2004
Springer
15 years 1 months ago
2004
Springer
The monitoring of emotional user states can help to assess the progress of human-machine-communication. If we look at specific databases, however, we are faced with several problem...