4187 search results - page 714 / 838 » A Taxonomy of Model Transformation |
132
Voted
ISQED
2007
IEEE
15 years 8 months ago
2007
IEEE
Due to the roaring power dissipation and gaining popularity of 3D integration, thermal dissipation has been a critical concern of modern VLSI design. The availability for chip-lev...
121
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
125
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
107
click to vote
ACCV
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a method of mirror localization to calibrate a catadioptric imaging system. While the calibration of a catadioptric system includes the estimation of various p...
94
Voted
ACII
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a ma...