3742 search results - page 237 / 749 » On the Use of Formal Techniques for Validation |
169
click to vote
IPMI
2009
Springer
16 years 7 months ago
2009
Springer
Many recent single-shell high angular resolution diffusion imaging reconstruction techniques have been introduced to reconstruct orientation distribution functions (ODF) that only ...
158
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
This paper examines the recovery of user context in indoor environments with existing wireless infrastructures to enable assistive systems. We present a novel approach to the extra...
152
click to vote
CHI
2010
ACM
2010
ACM
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure
16 years 1 months ago
Current chasms between applications implemented with different user interface toolkits make it difficult to implement and explore potentially important interaction techniques in n...
202
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
168
click to vote
GLVLSI
2007
IEEE
16 years 27 days ago
2007
IEEE
We describe an efficient, top-down strategy for overlap removal and floorplan repair which repairs overlaps in floorplans produced by placement algorithms or rough floorplanni...