2664 search results - page 293 / 533 » Theory by Process |
294
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
159
click to vote
CIS
2005
Springer
16 years 3 days ago
2005
Springer
Independent component analysis (ICA) has been applied in many fields of signal processing and many ICA learning algorithms have been proposed from different perspectives. However...
170
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
160
click to vote
AI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
185
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...