Sciweavers

4047 search results - page 440 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
GECCO
2005
Springer
150views Optimization» more  GECCO 2005»
16 years 5 days ago
A GA for maximum likelihood phylogenetic inference using neighbour-joining as a genotype to phenotype mapping
Evolutionary relationships among species can be represented by a phylogenetic tree and inferred by optimising some measure of fitness, such as the statistical likelihood of the t...
Leon Poladian
AUSAI
2004
Springer
16 years 4 days ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
ARGMAS
2006
Springer
15 years 10 months ago
An Argumentation-Based Approach for Dialog Move Selection
Abstract. Modeling different types of dialog between autonomous agents is becoming an important research issue. Several proposals exist with a clear definition of the dialog protoc...
Leila Amgoud, Nabil Hameurlain
IWMM
2000
Springer
137views Hardware» more  IWMM 2000»
15 years 10 months ago
Cycles to Recycle: Garbage Collection on the IA-64
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
Richard L. Hudson, J. Eliot B. Moss, Sreenivas Sub...
ATAL
2008
Springer
15 years 8 months ago
Robust normative systems
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...