3653 search results - page 480 / 731 » On Recognizable Timed Languages |
164
click to vote
WORDS
2005
IEEE
16 years 5 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
188
click to vote
SIGMOD
2005
ACM
16 years 5 days ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...
158
click to vote
CAV
2005
Springer
16 years 4 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...
215
click to vote
CIVR
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
165
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...