Sciweavers

757 search results - page 112 / 152
» Automatic Support for Usability Evaluation
Sort
View
ENTCS
2002
101views more  ENTCS 2002»
15 years 4 months ago
Hypergeometric Functions in Exact Geometric Computation
Most problems in computational geometry are algebraic. A general approach to address nonrobustness in such problems is Exact Geometric Computation (EGC). There are now general lib...
Zilin Du, Maria Eleftheriou, José E. Moreir...
ICST
2009
IEEE
15 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
DEXAW
2010
IEEE
190views Database» more  DEXAW 2010»
15 years 1 months ago
A Comparison of Stylometric and Lexical Features for Web Genre Classification and Emotion Classification in Blogs
In the blogosphere, the amount of digital content is expanding and for search engines, new challenges have been imposed. Due to the changing information need, automatic methods are...
Elisabeth Lex, Andreas Juffinger, Michael Granitze...
CVPR
2008
IEEE
16 years 6 months ago
Real-time 3D segmentation of the left ventricle using deformable subdivision surfaces
In this paper, we extend a computationally efficient framework for real-time 3D tracking and segmentation to support deformable subdivision surfaces. Segmentation is performed in a...
Fredrik Orderud, Stein I. Rabben
CHI
2005
ACM
16 years 4 months ago
A transformation strategy for multi-device menus and toolbars
The increasing variety of different devices with different screen size, interaction paradigms and application areas raises the need for new technologies of cross-device developmen...
Kai Richter