7557 search results - page 412 / 1512 » Modeling Timed Concurrent Systems |
192
click to vote
ICAPR
2001
Springer
2001
Springer
A Time-Length Constrained Level Building Algorithm for Large Vocabulary Handwritten Word Recognition
15 years 11 months ago
In this paper we introduce a constrained Level Building Algorithm (LBA) in order to reduce the search space of a Large Vocabulary Handwritten Word Recognition (LVHWR) system. A ti...
175
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
161
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
182
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper describes a jam session system that enables a human player to interplay with virtual players which can imitate the player personality models of various human players. P...
199
click to vote
LSSC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...