2509 search results - page 346 / 502 » Abstract Geometrical Computation and Computable Analysis |
148
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
154
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
151
click to vote
IANDC
2006
15 years 6 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
145
click to vote
IPMI
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Four-dimensional respiratory correlated computed tomography (4D RCCT) has been widely used for studying organ motion. Most current algorithms use binning techniques which...
154
click to vote
CONCUR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...