Sciweavers

6434 search results - page 441 / 1287
» Model Transformations with Reference Models
Sort
View
ECOOP
1999
Springer
15 years 11 months ago
A Core Calculus of Classes and Mixins
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
Viviana Bono, Amit Patel, Vitaly Shmatikov
SFP
2004
15 years 8 months ago
Disjoint forms in graphical user interfaces
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
Sander Evers, Peter Achten, Rinus Plasmeijer
CIKM
2008
Springer
15 years 8 months ago
Traditional resources help interpret texts
Simple word matching between the user query and document is common, as are mis-matches of meaning that occur as a consequence, and errors in recall. These defects in the "bag...
Judith Gelernter, Michael E. Lesk
GRAPHICSINTERFACE
2001
15 years 8 months ago
Novel Solver for Dynamic Surfaces
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
Sumantro Ray, Hong Qin
IROS
2009
IEEE
187views Robotics» more  IROS 2009»
16 years 1 months ago
Three-dimensional Limit Cycle Walking with joint actuation
— This paper describes 3D biped walking generation and control based on Limit Cycle Walking. In our study, we use the simplest possible 3D biped model with three DOFs, incorporat...
Kentaro Miyahara, Yuzuru Harada, Dragomir N. Nench...