Sciweavers

1389 search results - page 94 / 278
» Definability as hypercomputational effect
Sort
View
ER
2006
Springer
116views Database» more  ER 2006»
14 years 14 days ago
Quality-Driven Automatic Transformation of Object-Oriented Navigational Models
Abstract. Navigability is a main concern in the design of Web applications. In order to assess such navigability a number of measures has been proposed. From them, measures defined...
Cristina Cachero, Marcela Genero, Coral Calero, Sa...
MICRO
2000
IEEE
162views Hardware» more  MICRO 2000»
14 years 11 days ago
Accurate and efficient predicate analysis with binary decision diagrams
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
John W. Sias, Wen-mei W. Hwu, David I. August
UML
2000
Springer
14 years 11 days ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
SGP
2007
13 years 11 months ago
As-rigid-as-possible surface modeling
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...
Olga Sorkine, Marc Alexa
ADC
2008
Springer
104views Database» more  ADC 2008»
13 years 10 months ago
An Integrated Approach to Video Retrieval
The usefulness of a video database depends on whether the video of interest can be easily located. In this paper, we propose a video retrieval algorithm based on the integration o...
Liang-Hua Chen, Kuo-Hao Chin, Hong-Yuan Mark Liao