Sciweavers

476 search results - page 76 / 96
» Higher-Precision Groundness Analysis
Sort
View
134
Voted
EHCI
1998
15 years 3 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...
123
Voted
AMAI
2007
Springer
15 years 2 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...
105
Voted
IEE
2008
116views more  IEE 2008»
15 years 1 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...
89
Voted
CVIU
2006
160views more  CVIU 2006»
15 years 1 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
148
Voted
FIRSTMONDAY
2006
70views more  FIRSTMONDAY 2006»
15 years 1 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