3921 search results - page 662 / 785 » Transforming Models with ATL |
KBSE
2007
IEEE
14 years 4 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 ...
TPHOL
2007
IEEE
14 years 4 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...
ACCV
2007
Springer
14 years 4 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...
ACII
2007
Springer
14 years 4 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...
ECAL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...