Sciweavers

3394 search results - page 262 / 679
» Regular Object Types
Sort
View
ERCIMDL
2007
Springer
115views Education» more  ERCIMDL 2007»
16 years 22 days ago
The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
Jörg Diederich, Wolf-Tilo Balke
GREC
2003
Springer
15 years 11 months ago
Model-Based Chart Image Recognition
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
Weihua Huang, Chew Lim Tan, Wee Kheng Leow
ICSE
2005
IEEE-ACM
16 years 6 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
ALIFE
2006
15 years 6 months ago
Self-Replication and Self-Assembly for Manufacturing
It has been argued that a central objective of nanotechnology is to make products inexpensively, and that self-replication is an effective approach to very low-cost manufacturing....
Robert Ewaschuk, Peter D. Turney
OOPSLA
2005
Springer
16 years 1 days ago
Javari: adding reference immutability to Java
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
Matthew S. Tschantz, Michael D. Ernst