Sciweavers

17983 search results - page 165 / 3597
» Set Types and Applications
Sort
View
ESOP
2006
Springer
15 years 10 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
ENGL
2007
71views more  ENGL 2007»
15 years 6 months ago
Inductive Classifying Artificial Network for Fly Ash Type Categorization
Nowadays, fly ash is a common ingredient of concrete and may constitute up to 50% by weight of the total binder material. Incorporation of fly ash in Portland-cement concrete is hi...
M. C. Nataraja, M. A. Jayaram, C. N. Ravikumar
GEOINFO
2003
15 years 7 months ago
Image Data Handling in Spatial Databases
The recent advances in database technology have enabled the development of a new generation of spatial databases, where the DBMS is able to manage spatial and non-spatial data typ...
Lúbia Vinhas, Ricardo Cartaxo Modesto de So...
LOPSTR
2004
Springer
15 years 11 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
ACMACE
2008
ACM
15 years 8 months ago
Shadow agent: a new type of virtual agent
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
Philippe Pasquier, Eunjung Han, Kirak Kim, Keechul...