3233 search results - page 601 / 647 » Rule Modeling and Markup |
151
click to vote
ACL
2010
15 years 11 hour ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
106
click to vote
ICIP
2010
IEEE
14 years 12 months ago
2010
IEEE
Pitching is the starting point of an event in baseball games. Hence, locating pitching shots is a critical step in content analysis of a baseball game video. However, pitching fra...
140
click to vote
KBSE
2010
IEEE
14 years 12 months ago
2010
IEEE
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
136
click to vote
PAAMS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
151
click to vote
TACAS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...