5630 search results - page 79 / 1126 » Computability in Specification |
150
Voted
CBMS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
131
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
129
Voted
PCM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, attention is paid to the automatic generation of XML-based descriptions containing information about the high-level structure of binary multimedia resources. These s...
111
click to vote
ISQED
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we describe a comprehensive layout methodology for bonded three-dimensional integrated circuits (3D ICs). In bonded 3D integration technology, parts of a circuit ar...
141
click to vote
ARGMAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...