953 search results - page 156 / 191 » Constraint Based Transformation Theory |
ICDCS
1999
IEEE
14 years 1 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
ICCVW
1999
Springer
14 years 1 months ago
1999
Springer
The parameters estimated by Structure from Motion SFM contain inherent indeterminacies which we call gauge freedoms. Under a perspective camera, shape and motion parameters are o...
PPDP
1999
Springer
14 years 1 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
VLDB
1999
ACM
14 years 1 months ago
1999
ACM
On-Line Analytical Processing (OLAP) based on a dimensional view of data is being used increasingly for the purpose of analyzing very large amounts of data. To improve query perfo...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...