338 search results - page 24 / 68 » On the Complexity of Termination Inference for Processes |
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
TOSEM
1998
15 years 27 days ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
133
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
Given the facial points extracted from an image of a face in an arbitrary pose, the goal of facial-point-based headpose normalization is to obtain the corresponding facial points ...
111
click to vote
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
In order to cope efficiently with simple or complex queries as well as different application requirements (e.g., ad-hoc versus repetitive queries), a query optimizer ought to supp...
101
click to vote
FUIN
2006
15 years 1 months ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...