5086 search results - page 858 / 1018 » The Power of Comparative Reasoning |
192
click to vote
MOBIQUITOUS
2007
IEEE
16 years 21 days ago
2007
IEEE
—Handheld devices have become sufficiently powerful that it is easy to create, disseminate, and access digital content (e.g., photos, videos) using them. The volume of such cont...
213
click to vote
AB
2007
Springer
16 years 18 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
203
click to vote
CONCUR
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
165
click to vote
ECSQARU
2007
Springer
16 years 18 days ago
2007
Springer
Many types of inter-agent dialogue, including information seeking, negotiation and deliberation can be fruitfully seen as varieties of argumentation. Argumentation frameworks, ori...
152
click to vote
IMA
2007
Springer
16 years 17 days ago
2007
Springer
Non-linear cryptanalysis is a natural extension to Matsui’s linear cryptanalitic techniques in which linear approximations are replaced by nonlinear expressions. Non-linear appro...