215 search results - page 23 / 43 » Church-Rosser Made Easy |
113
click to vote
NGITS
1993
Springer
15 years 3 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
VLDB
1989
ACM
15 years 3 months ago
1989
ACM
A method is described for actively interfacing an Object-Oriented Database Management System (OODBMS) to application pre grams. The method, called a database monitor, observes how...
CCGRID
2007
IEEE
15 years 3 months ago
2007
IEEE
Computational grids are solutions for several biological applications like virtual screening or molecular dynamics where large amounts of computing power and storage are required....
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
New consumer appliances such as PDA, Set Top Box, GSM/UMTS terminals enable an easy access to the internet and strongly contribute to the development of ecommerce and m-commerce s...
110
click to vote
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Globally optimal formulations of geometric computer vision problems comprise an exciting topic in multiple view geometry. These approaches are unaffected by the quality of a provid...