9264 search results - page 1233 / 1853 » Space Between Languages |
172
click to vote
CAV
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
186
click to vote
CIVR
2005
Springer
16 years 23 days ago
2005
Springer
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
159
click to vote
CP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
146
click to vote
FOSSACS
2005
Springer
16 years 23 days ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
186
click to vote
GEOS
2005
Springer
16 years 23 days ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...