4965 search results - page 5 / 993 » A Simple Abstraction for Data Modeling |
ICFP
2001
ACM
15 years 10 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
base types and disallows lambda abstractions and quantifiers. We show that this fragment has the finite model property and that satisfiability can be decided with a terminating ...
100
click to vote
MSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The functionality that is provided by Mass Storage Systems can be implemented using data grid technology. Data grids already provide many of the required features, including a log...
109
click to vote
ALIFE
1998
14 years 9 months ago
1998
This article reports on the current state of our efforts to shed light on the origin and evolution of linguistic diversity using synthetic modeling and arti cial life es. We constr...
ICDM
2010
IEEE
14 years 8 months ago
2010
IEEE