Sciweavers

570 search results - page 8 / 114
» SGNET: Implementation insights
Sort
View
FMOODS
2003
13 years 9 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
BPM
2009
Springer
111views Business» more  BPM 2009»
13 years 9 months ago
Enabling Poka-Yoke Workflows with the AristaFlow BPM Suite
This tool presentation gives insights into the AristaFlow BPM Suite
Manfred Reichert, Peter Dadam, Stefanie Rinderle-M...
TOG
2002
112views more  TOG 2002»
13 years 8 months ago
Integrated learning for interactive synthetic characters
The ability to learn is a potentially compelling and important quality for interactive synthetic characters. To that end, we describe a practical approach to real-time learning fo...
Bruce Blumberg, Marc Downie, Yuri A. Ivanov, Matt ...
CSJM
2008
65views more  CSJM 2008»
13 years 7 months ago
A New Attempt On The F5 Criterion
Faug`ere's criterion used in the F5 algorithm is still not understand and thus there are not many implementations of this algorithm. We state its proof using syzygies to expl...
Christian Eder
XSYM
2009
Springer
138views Database» more  XSYM 2009»
14 years 3 months ago
XQuery Full Text Implementation in BaseX
Abstract. LONG PAPER. BaseX is an early adopter of the upcoming XQuery Full Text Recommendation. This paper presents some of the enhancements made to the XML database to fully supp...
Christian Grün, Sebastian Gath, Alexander Hol...