Sciweavers

7890 search results - page 192 / 1578
» The MathSAT 3 System
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
Patrik Spieß, Dinh Khoa Nguyen, Ingo Weber, ...
ASIAN
2005
Springer
102views Algorithms» more  ASIAN 2005»
15 years 8 months ago
General Consistency Management Within the Development of Ontology-Driven Web Information System
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
Baojun Qiu, Hongyan Li, Zijing Hu, Dongqing Yang, ...
DAGSTUHL
2010
15 years 7 months ago
Modeling and Visualization of Cardiovascular Systems
Modeling complex organs, such as the human heart, requires a detailed understanding of the geometric and mechanical properties of that organ. Similarly, the model is only as accur...
Thomas Wischgoll
BILDMED
2004
130views Algorithms» more  BILDMED 2004»
15 years 7 months ago
Prototyping a Planning System for Orbital Reconstruction
In the practice of maxillofacial surgery, one major challenge is the correct reconstruction of malformed or damaged bone structures of the face. Among those, a rather frequent task...
Jan Fischer, Melissa Mekic, Ángel del R&iac...
COGSCI
2007
93views more  COGSCI 2007»
15 years 6 months ago
Foundations of Representation: Where Might Graphical Symbol Systems Come From?
It has been suggested that iconic graphical signs evolve into symbolic graphical signs through repeated usage. This article reports a series of interactive graphical communication...
Simon Garrod, Nicolas Fay, John Lee, Jon Oberlande...