Sciweavers

10700 search results - page 1802 / 2140
» Generative Design Patterns
Sort
View
HYBRID
2004
Springer
16 years 5 days ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
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 ...
Amit Bhatia, Emilio Frazzoli
ICMI
2004
Springer
95views Biometrics» more  ICMI 2004»
16 years 5 days ago
EyePrint: support of document browsing with eye gaze trace
Current digital documents provide few traces to help user browsing. This makes document browsing difficult, and we sometimes feel it is hard to keep track of all of the informati...
Takehiko Ohno
ISMIR
2004
Springer
141views Music» more  ISMIR 2004»
16 years 5 days ago
Causal Tempo Tracking of Audio
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...
Matthew E. P. Davies, Mark D. Plumbley
RT
2004
Springer
16 years 4 days ago
Anti-aliasing and Continuity with Trapezoidal Shadow Maps
This paper proposes a new shadow map technique termed trapezoidal shadow maps to calculate high quality shadows in real-time applications. To address the resolution problem of the...
Tobias Martin, Tiow Seng Tan
RULEML
2004
Springer
16 years 4 days ago
SWRLp: An XML-Based SWRL Presentation Syntax
RuleML and SWRL are closely related rule markup languages that are growing in popularity particularly within the Semantic Web community. Both are based on XML and as such are more ...
Christopher J. Matheus
« Prev « First page 1802 / 2140 Last » Next »