780 search results - page 120 / 156 » Combining a Formal with an Example-driven Approach for Data ... |
NGITS
1993
Springer
14 years 24 days 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...
CGF
2008
13 years 8 months ago
2008
We propose a method for rendering volumetric data sets at interactive frame rates while supporting dynamic ambient occlusion as well as an approximation to color bleeding. In cont...
ICLP
2011
Springer
13 years 5 days ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
BIOSIG
2008
13 years 10 months ago
2008
: Biometric data have been integrated in all new European passports, since the member states of the European Commission started to implement the EU Council Regulation No 2252/2004 ...
CSREASAM
2008
13 years 10 months ago
2008
Biometric data have been integrated in all new European passports, since the member states of the European Commission started to implement the EU Council Regulation No 2252/2004 on...