402 search results - page 75 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
ER
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
SIGIR
2003
ACM
14 years 22 days ago
2003
ACM
This paper presents an algorithm to generate possible variants for biomedical terms. The algorithm gives each variant its generation probability representing its plausibility, whi...
GECCO
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Theoretical and empirical evidence exists that the hierarchical Bayesian optimization algorithm (hBOA) can solve challenging hierarchical problems and anything easier. Th...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
CIG
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...