Sciweavers

5810 search results - page 511 / 1162
» An Approach to Programming Based on Concepts
Sort
View
VL
2002
IEEE
15 years 11 months ago
Visually Customizing Inference Rules About Apples and Oranges
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
Margaret M. Burnett, Martin Erwig
WETICE
1999
IEEE
15 years 11 months ago
Active Hypertext for Distributed Web Applications
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
Eckhart Köppen, Gustaf Neumann
UAI
2008
15 years 8 months ago
Explanation Trees for Causal Bayesian Networks
Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront ...
Ulf H. Nielsen, Jean-Philippe Pellet, André...
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 8 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
EJC
2010
15 years 7 months ago
Perfect matchings with restricted intersection in cubic graphs
A conjecture of G. Fan and A. Raspaud asserts that every bridgeless cubic graph contains three perfect matchings with empty intersection. We suggest a possible approach to problem...
Tomás Kaiser, André Raspaud