2719 search results - page 386 / 544 » Exposing Application Alternatives |
156
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
183
click to vote
ICIAR
2004
Springer
15 years 11 months ago
2004
Springer
The bidirectional texture function (BTF) describes rough texture appearance variations due to varying illumination and viewing conditions. Such a function consists of thousands of ...
163
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...
184
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
163
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Focused web crawlers have recently emerged as an alternative to the well-established web search engines. While the well-known focused crawlers retrieve relevant webpages, there ar...