7118 search results - page 292 / 1424 » Electrical and Computer Engineering |
104
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
160
click to vote
TCOS
2008
15 years 2 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
162
click to vote
USAB
2010
15 years 1 months ago
2010
Abstract. The ability to move is an important characteristic of the human condition and an important aspect for interactive settings. The role of body movement however was not addr...
117
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
131
Voted
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure
16 years 3 months ago
Ubiquitous context-aware computing systems present several challenges in their construction. Principal among them is the tradeoff between easily providing new contextaware service...