2586 search results - page 265 / 518 » Automatic Abstraction for Congruences |
161
click to vote
GI
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: We report on a visualization system that has been implemented to study cellular events which regulate morphogenesis of large organs or whole embryos. For data acquisition...
124
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Understanding the content in musical gestures is an ambitious issue in scientific environment. Several studies demonstrated how different expressive intentions can be c...
147
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. As mobile devices become more powerful, interprocess communication becomes increasingly more important. Unfortunately, this larger freedom of mobility gives rise to unkno...
175
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...
163
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...