Sciweavers

2962 search results - page 359 / 593
» Optimizing Spatial Data Structures For Static Data
Sort
View
112
Voted
ENTCS
2008
175views more  ENTCS 2008»
15 years 2 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
RTS
2008
131views more  RTS 2008»
15 years 1 months ago
A constant-time dynamic storage allocator for real-time systems
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
Miguel Masmano, Ismael Ripoll, Patricia Balbastre,...
ICCV
2011
IEEE
14 years 2 months ago
Modeling Temporal Coherence for Optical Flow
Despite the fact that temporal coherence is undeniably one of the key aspects when processing video data, this concept has hardly been exploited in recent optical flow methods. I...
Sebastian Volz, Andres Bruhn, Levi Valgaerts, Henn...
243
Voted
ICDT
2009
ACM
150views Database» more  ICDT 2009»
16 years 3 months ago
Optimizing user views for workflows
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...
Olivier Biton, Susan B. Davidson, Sanjeev Khanna, ...
BIRTHDAY
2010
Springer
15 years 1 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein