15635 search results - page 515 / 3127 » Modelling and Design of VAML |
182
click to vote
SMI
2005
IEEE
16 years 14 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
194
click to vote
WISE
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
204
click to vote
MTV
2003
IEEE
16 years 5 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
234
click to vote
ER
2003
Springer
16 years 3 days ago
2003
Springer
Data warehouses (DWs) are complex computer systems whose main goal is to facilitate the decision making process of knowledge workers. ETL (Extraction-Transformation-Loading) proces...
189
click to vote
EICS
2010
ACM
15 years 12 months ago
2010
ACM
Ten years ago, I introduced the notion of user interface plasticity to denote the capacity of user interfaces to adapt, or to be adapted, to the context of use while preserving us...