Sciweavers

6014 search results - page 815 / 1203
» Structural Testing with Use Cases
Sort
View
CVPR
2005
IEEE
16 years 8 months ago
On Modelling Nonlinear Shape-and-Texture Appearance Manifolds
Statistical shape-and-texture appearance models employ image metamorphosis to form a rich, compact representation of object appearance. They achieve their efficiency by decomposin...
Chris Mario Christoudias, Trevor Darrell
ICCAD
2008
IEEE
98views Hardware» more  ICCAD 2008»
16 years 3 months ago
Scalable and scalably-verifiable sequential synthesis
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
Alan Mishchenko, Michael L. Case, Robert K. Brayto...
ICLP
2009
Springer
16 years 1 months ago
An Engine for Computing Well-Founded Models
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
Terrance Swift
179
Voted
WSOM
2009
Springer
16 years 29 days ago
Self-Organization of Tactile Receptive Fields: Exploring Their Textural Origin and Their Representational Properties
In our earlier work, we found that feature space induced by tactile receptive fields (TRFs) are better than that by visual receptive fields (VRFs) in texture boundary detection t...
Choonseog Park, Heeyoul Choi, Yoonsuck Choe
163
Voted
AUTOMOTIVEUI
2009
ACM
16 years 27 days ago
Assessing subjective response to haptic feedback in automotive touchscreens
The increasing use of touchscreen interfaces in vehicles poses challenges to designers in terms of optimizing safety, usability and affective response. It is thought that the appl...
Matthew J. Pitts, Mark A. Williams, Tom Wellings, ...