1884 search results - page 181 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
CIARP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we present the creation of a Mexican Spanish version of the CMU Sphinx-III speech recognition system. We trained acoustic and N-gram language models with a ...
KES
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose the sensor network system using the microcomputer board that can connect to the Internet. This proposed system can acquire information from the sensor of the m...
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
FPL
2001
Springer
15 years 5 months ago
2001
Springer
Although FPGA technology offers the potential of designing high performance systems at low cost, its programming model is prohibitively low level. To allow a novice signal/image pr...
111
click to vote
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...