177 search results - page 31 / 36 » Object representatives: a uniform abstraction for pointer in... |
JAR
1998
13 years 7 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
CATA
2001
13 years 8 months ago
2001
: In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
HICSS
2003
IEEE
14 years 22 days ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
NDJFL
2000
13 years 7 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The development of index structures that allow e cient retrieval of spatial objects has been a topic of interest in the last decades. Most of these structures have been d...