Sciweavers

10568 search results - page 151 / 2114
» Computer Intelligence and Formalization
Sort
View
CSCLP
2004
Springer
15 years 3 months ago
Computing Equilibria Using Interval Constraints
Lucas Bordeaux, Brice Pajot
ATAL
2003
Springer
15 years 3 months ago
Computational Model of Believable Conversational Agents
Catherine Pelachaud, Massimo Bilvi
CAEPIA
2003
Springer
15 years 3 months ago
Automatic Computation of the Fundamental Matrix from Matched Lines
Oscar A. Pellejero, Carlos Sagüés, Jos...
SPIN
2004
Springer
15 years 3 months ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm