9210 search results - page 1370 / 1842 » Analyzing Real-Time Systems |
156
click to vote
PCM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose an adaptive method that can estimate 3D position of a soccer ball by using two viewpoint videos. The 3D position of a ball is essential to realize a 3D free vi...
176
click to vote
SOFSEM
2007
Springer
16 years 28 days ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
151
click to vote
WEBI
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes a character-based system called “Emotion Sensitive News Agent” (ESNA). ESNA is been developed as a news aggregator to fetch news from different news sourc...
190
click to vote
WINE
2007
Springer
16 years 28 days ago
2007
Springer
Motivated by the growth of various networked systems as potential market places, we study market models wherein, owing to the size of the markets, transactions take place between l...
181
click to vote
WSFM
2007
Springer
16 years 28 days ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...