6020 search results - page 547 / 1204 » A New Approach to Model Counting |
203
click to vote
ICA
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
183
click to vote
BPM
2003
Springer
16 years 10 days ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
212
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, I will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does no...
178
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
147
click to vote
ISLPED
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents an accurate model for the evaluation of the CMOS short-circuit power dissipation for shortchannel devices, on the basis of a CMOS inverter. The improvement of ...