7681 search results - page 1211 / 1537 » Typed Membrane Systems |
213
click to vote
ISMIS
2009
Springer
16 years 2 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
198
click to vote
JSSPP
2009
Springer
16 years 2 months ago
2009
Springer
The number of applications with many parallel cooperating processes is steadily increasing, and developing efficient runtimes for their execution is an important task. Several fram...
254
click to vote
MDM
2009
Springer
16 years 2 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
234
click to vote
MIG
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
231
click to vote
MKM
2009
Springer
16 years 2 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...