16518 search results - page 190 / 3304 » A New Approach to Splitting-Off |
141
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
It is an essential step in decomposition algorithms for radical differential ideals to satisfy the so-called Rosenfeld property. Basically all approaches to achieve this step are ...
148
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new decision diagram (DD), called MODD, for multiple output binary and multiple-valued functions. This DD is canonic and can be made minimal with respect to ...
169
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new representation for assemblies of small Lego -like elements: structures are indirectly encoded as construction plans. This representation shows some inte...
192
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
155
click to vote
CICLING
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper argues that wordnets, being concept-based computational lexica, should include information on event and argument structures. This general approach is relevant ...