2850 search results - page 399 / 570 » On Timed Models and Full Abstraction |
207
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
150
click to vote
ISMB
2001
15 years 8 months ago
2001
Abstract: Absolute fast converging phylogenetic reconstruction methods are provably guaranteed to recover the true tree with high probability from sequences that grow only polynomi...
211
click to vote
IEICET
2008
15 years 6 months ago
2008
Abstract--Vehicular ad hoc networks (VANET) aims to enhance vehicle navigation safety by providing an early warning system: any chance of accidents is informed through the wireless...
205
click to vote
ISQED
2011
IEEE
14 years 9 months ago
2011
IEEE
—Design optimization methodologies for AMS-SoCs with analog, digital, and mixed-signal portions have not received significant attention, due to their high complexity. In mixed-s...
160
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Computing reflective symmetries of 2D and 3D shapes is a classical problem in computer vision and computational geometry. Most prior work has focused on finding the main ...