6581 search results - page 1017 / 1317 » Formalizing Design Patterns |
126
click to vote
GD
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
172
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Most problems studied in artificial intelligence possess some form of structure, but a precise way to define such structure is so far lacking. We investigate how the notion of pr...
173
click to vote
PROMAS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
164
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
226
click to vote
SCOPES
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...