1176 search results - page 48 / 236 » Implicit Abstraction Heuristics |
80
Voted
EWSPT
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. Interact Intermediate supports goal-directed process modeling in such a way as to maximize the concurrency of activities and to minimize the direct control of humans in t...
56
Voted
IJAC
2006
15 years 14 days ago
2006
Abstract. We study free profinite subgroups of free profinite semigroups of the same rank using, as main tools, iterated implicit operators, subword complexity and the associated e...
90
Voted
APIN
2002
15 years 10 days ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
116
Voted
ICCD
2008
IEEE
15 years 9 months ago
2008
IEEE
- In this paper, we analyze the impact of network contention on the application mapping for tile-based Networkon-Chip (NoC) architectures. Our main theoretical contribution consist...
91
Voted
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...