4211 search results - page 683 / 843 » Types as Abstract Interpretations |
124
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
130
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
100
click to vote
EUC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The deployment of ZigBee networks is expected to facilitate numerous applications, such as home healthcare, medical monitoring, consumer electronics, and environmental se...
120
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
155
Voted
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...