Sciweavers

1715 search results - page 115 / 343
» How Space Structures Language
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 3 months ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock
EDBT
2000
ACM
15 years 7 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu
IDEAS
2010
IEEE
141views Database» more  IDEAS 2010»
15 years 1 months ago
Modeling synchronized time series
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
Zoé Faget, Philippe Rigaux, David Gross-Amb...
ALGORITHMICA
2010
153views more  ALGORITHMICA 2010»
15 years 3 months ago
Confluently Persistent Tries for Efficient Version Control
We consider a data-structural problem motivated by version control of a hierarchical directory structure in a system like Subversion. The model is that directories and files can b...
Erik D. Demaine, Stefan Langerman, Eric Price
128
Voted
VL
2002
IEEE
155views Visual Languages» more  VL 2002»
15 years 8 months ago
Virtual Reality Interaction: The Characteristic Pattern Approach
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
Augusto Celentano, Daniela Fogli, Piero Mussio, Fa...