Sciweavers

2649 search results - page 239 / 530
» Argumentation for Decision Support
Sort
View
HICSS
2003
IEEE
165views Biometrics» more  HICSS 2003»
15 years 12 months ago
The Birth of An E-Business System Architecture: Conflicts, Compromises, and Gaps in Methods
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
Kari Smolander
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 12 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
SAC
2003
ACM
15 years 12 months ago
Modeling and Visualizing Uncertainty in a Global Water Balance Model
Public policy makers and others wishing to understand the potential impact of our actions on the environment need a tool to simulate and visualize relevant processes. Present mode...
James R. Miller, Johannes J. Feddema, Terry A. Slo...
ISMVL
2010
IEEE
188views Hardware» more  ISMVL 2010»
15 years 11 months ago
MDGs Reduction Technique Based on the HOL Theorem Prover
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...
Sa'ed Abed, Otmane Aït Mohamed
COLT
2001
Springer
15 years 11 months ago
Rademacher and Gaussian Complexities: Risk Bounds and Structural Results
We investigate the use of certain data-dependent estimates of the complexity of a function class, called Rademacher and Gaussian complexities. In a decision theoretic setting, we ...
Peter L. Bartlett, Shahar Mendelson