7529 search results - page 272 / 1506 » The Modula-3 Type System |
186
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
172
click to vote
CGF
1999
15 years 6 months ago
1999
In this paper the notion of free form feature for aesthetic design is presented. The design of industrial products constituted by free form surfaces is done by using CAD systems r...
171
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
Top-k queries are a popular type of query in Wireless Sensor Networks. Typical solutions rely on coordinated root-tonodes and nodes-to-root messages and on maintaining filters at...
158
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
166
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...