Sciweavers

476 search results - page 76 / 96
» Higher-Precision Groundness Analysis
Sort
View
EHCI
1998
14 years 11 months ago
Toward the Automatic Construction of Task Models from Object-Oriented Diagrams
: Task models bridge the gap between HCI and Software Engineering. They are useful both for interface design and for generating user interface code and user documentation. These be...
Shijian Lu, Cécile Paris, Keith Vander Lind...
AMAI
2007
Springer
14 years 9 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
IEE
2008
116views more  IEE 2008»
14 years 9 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
CVIU
2006
160views more  CVIU 2006»
14 years 9 months ago
Automatic selection of edge detector parameters based on spatial and statistical measures
The basic and widely used edge detection operation in an image usually requires a prior step of setting the edge detector parameters (thresholds, blurring extent etc.). Finding th...
Raz Koren, Yitzhak Yitzhaky
FIRSTMONDAY
2006
70views more  FIRSTMONDAY 2006»
14 years 9 months ago
Beyond binary choices: Understanding and exploiting trade-offs to enhance creativity
Many research approaches are conceptualized as binary choices, representing endpoints of a spectrum (each of them providing important perspectives within their own discourses). Des...
Gerhard Fischer