2850 search results - page 462 / 570 » On Timed Models and Full Abstraction |
134
click to vote
BIS
2009
15 years 1 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
96
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. Humans demonstrate a remarkable ability to parse complicated motion sequences into their constituent structures and motions. We investigate this problem, attempting to le...
111
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
124
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
108
Voted
RECOMB
2008
Springer
16 years 1 months ago
2008
Springer
We study the problem of transforming a multichromosomal genome into another using Double-Cut-and-Join (DCJ) operations. We introduce the notion of DCJ scenario that does not break ...