Sciweavers

6826 search results - page 1116 / 1366
» Business Process Intelligence
Sort
View
ACRI
2006
Springer
15 years 11 months ago
On Spiral Glider-Guns in Hexagonal Cellular Automata: Activator-Inhibitor Paradigm
We present a cellular-automaton model of a reaction-diffusion excitable system with concentration dependent inhibition of the activator, and study the dynamics of mobile localiza...
Andrew Wuensche
128
Voted
ENC
2005
IEEE
15 years 10 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...
194
Voted
ICDAR
2005
IEEE
15 years 10 months ago
Grouping Text Lines in Freeform Handwritten Notes
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
Ming Ye, Herry Sutanto, Sashi Raghupathy, Chengyan...
IPPS
2005
IEEE
15 years 10 months ago
GHS: A Performance System of Grid Computing
Conventional performance evaluation mechanisms focus on dedicated distributed systems. Grid computing infrastructure, on another hand, is a shared collaborative environment constr...
Xian-He Sun, Ming Wu
125
Voted
TPHOL
2005
IEEE
15 years 10 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
« Prev « First page 1116 / 1366 Last » Next »