Sciweavers

2308 search results - page 393 / 462
» Representing Symbolic Reasoning
Sort
View
FGCS
2006
61views more  FGCS 2006»
15 years 5 months ago
Long-range static directional stress transfer in a cracked, nonlinear elastic crust
Seeing the Earth crust as criss-crossed by faults filled with fluid at close to lithostatic pressures, we develop a model in which its elastic modulii are different in net tension...
Guy Ouillon, Didier Sornette
HEURISTICS
2006
102views more  HEURISTICS 2006»
15 years 5 months ago
A logic of soft constraints based on partially ordered preferences
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...
Nic Wilson
137
Voted
IGPL
2006
115views more  IGPL 2006»
15 years 5 months ago
Towards Operational Abduction from a Cognitive Perspective
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
Peter Bruza, Richard Cole, Dawei Song, Zeeniya Bar...
JDA
2008
72views more  JDA 2008»
15 years 5 months ago
Semi-local longest common subsequences in subquadratic time
For two strings a, b of lengths m, n respectively, the longest common subsequence (LCS) problem consists in comparing a and b by computing the length of their LCS. In this paper, ...
Alexander Tiskin
142
Voted
DAM
2007
153views more  DAM 2007»
15 years 5 months ago
Computing the minimum number of hybridization events for a consistent evolutionary history
It is now well-documented that the structure of evolutionary relationships between a set of present-day species is not necessarily tree-like. The reason for this is that reticulat...
Magnus Bordewich, Charles Semple