599 search results - page 101 / 120 » Type System for Specializing Polymorphism |
CSCLP
2004
Springer
14 years 28 days ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
ISPA
2004
Springer
14 years 27 days ago
2004
Springer
Context-aware computing is a computing paradigm in which applications can take advantage of contextual information. Quality of network connection is a very important factor for mob...
CODES
2003
IEEE
14 years 25 days ago
2003
IEEE
The analysis of the amount of human resources required to complete a project is felt as a critical issue in any company of the electronics industry. In particular, early estimatin...
MM
2003
ACM
14 years 24 days ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
SOFTVIS
2003
ACM
14 years 24 days ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...