Sciweavers

412 search results - page 27 / 83
» Modelling Metamorphism by Abstract Interpretation
Sort
View
109
Voted
CBRMD
2010
69views more  CBRMD 2010»
15 years 2 months ago
Semantic Content Models in ARA
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
Nadezhda Govedarova, Sonja Niepage, Hans-Dieter Bu...
129
Voted
ICANN
2007
Springer
15 years 10 months ago
Generalized Softmax Networks for Non-linear Component Extraction
Abstract. We develop a probabilistic interpretation of non-linear component extraction in neural networks that activate their hidden units according to a softmaxlike mechanism. On ...
Jörg Lücke, Maneesh Sahani
139
Voted
ECHT
1994
15 years 7 months ago
VIKI: Spatial Hypertext Supporting Emergent Structure
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
Catherine C. Marshall, Frank M. Shipman III, James...
HYBRID
1994
Springer
15 years 7 months ago
Programming in Hybrid Constraint Languages
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...
133
Voted
RE
1997
Springer
15 years 8 months ago
Requirements Models in Context
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
Colin Potts