2850 search results - page 540 / 570 » On Timed Models and Full Abstraction |
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
103
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
DSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
114
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
135
Voted
CEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...