322 search results - page 63 / 65 » Expressive power and abstraction in Essence |
TYPES
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
107
click to vote
HT
1987
ACM
15 years 3 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
111
click to vote
ERCIMDL
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The digital library field is recently broadening its scope of applicability and it is also continuously adapting to the frequent changes occurring in the internet society...
108
click to vote
SERVICES
2008
15 years 1 months ago
2008
Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop sof...
113
click to vote
CATA
2001
15 years 1 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 ...