17409 search results - page 3139 / 3482 » Oblio: Design and Performance |
173
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
177
click to vote
CASC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
169
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
133
click to vote
CIARP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...
149
click to vote
CIARP
2005
Springer
16 years 10 days ago
2005
Springer
The Chagas disease or Tripanosomiasis Americana affects between 16 and 18 million people in endemic areas. This disease affects the beating rate of infected patients’ cardiomyocy...