Sciweavers

2741 search results - page 345 / 549
» Engineering Mathematical Knowledge
Sort
View
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 8 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
FMSB
2008
142views Formal Methods» more  FMSB 2008»
15 years 6 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
CLA
2007
15 years 5 months ago
An FDP-Algorithm for Drawing Lattices
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
Christian Zschalig
BTW
2005
Springer
91views Database» more  BTW 2005»
15 years 10 months ago
Element Relationship: Exploiting Inline Markup for Better XML Retrieval
: With the increasing popularity of semi-structured documents (particularly in the form of XML) for knowledge management, it is important to create tools that use the additional in...
Philipp Dopichaj
ESWS
2007
Springer
15 years 10 months ago
A Reasoning Framework for Rule-Based WSML
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
Stephan Grimm, Uwe Keller, Holger Lausen, Gá...