2455 search results - page 118 / 491 » Graphical abstract help |
FMSD
2007
13 years 10 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
GIS
2007
ACM
13 years 10 months ago
2007
ACM
This paper describes a deterministic approach for the typification of buildings which uses several levels of details for the derivation of intermediate scales. The typification pro...
ENTCS
2000
13 years 10 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
SOFTWARE
2002
13 years 9 months ago
2002
This paper is concerned with handling uncertainty as part of the analysis of data from a medical study. The study is investigating connections between the birth weight of babies an...
ICWE
2010
Springer
13 years 8 months ago
2010
Springer
Inspired by the Google Wonder Wheel1 , in this paper we present Semantic Wonder Cloud (SWOC): a tool that helps users in knowledge exploration within the DBpedia dataset by adoptin...