Sciweavers

1547 search results - page 231 / 310
» The Isabelle Collections Framework
Sort
View
103
Voted
SAINT
2002
IEEE
15 years 5 months ago
The Internet Enterprise
In this paper we present our vision of the Internet Enterprise: a highly interoperable, virtual enterprise infrastructure for individuals, small businesses, and large corporations...
Abdelsalam Helal, Stanley Y. W. Su, Jie Meng, Raja...
126
Voted
ICIDS
2009
Springer
15 years 5 months ago
Comparing Effects of Different Cinematic Visualization Strategies on Viewer Comprehension
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
Arnav Jhala, R. Michael Young
MKM
2009
Springer
15 years 5 months ago
Integrating Web Services into Active Mathematical Documents
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
Jana Giceva, Christoph Lange 0002, Florian Rabe
120
Voted
SIGGRAPH
2010
ACM
15 years 5 months ago
Matching fluid simulation elements to surface geometry and topology
We introduce an Eulerian liquid simulation framework based on the Voronoi diagram of a potentially unorganized collection of pressure samples. Constructing the simulation mesh in ...
Tyson Brochu, Christopher Batty, Robert Bridson
103
Voted
LPNMR
2001
Springer
15 years 5 months ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...