3052 search results - page 120 / 611 » Weakly Distributive Domains |
119
click to vote
ENTCS
2007
15 years 4 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
118
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
This study compares three different methods designed for detecting irregularities from regular dot patterns. Frequency domain information is used to split an original regular patt...
109
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
— Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macromodels for custom circuits. These models are generated by sampling the stat...
116
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the most successful approaches in automated planning is to use heuristic state-space search. A popular heuristic that is used by a number of state-space planners i...
132
click to vote
MTSR
2007
Springer
15 years 10 months ago
2007
Springer
Preservation of interactive multimedia performances is becoming important as they are getting more and more popular in performing arts communities. A proper preservation does not o...