Sciweavers

10568 search results - page 151 / 2114
» Computer Intelligence and Formalization
Sort
View
CSCLP
2004
Springer
15 years 11 months ago
Computing Equilibria Using Interval Constraints
Lucas Bordeaux, Brice Pajot
ATAL
2003
Springer
15 years 11 months ago
Computational Model of Believable Conversational Agents
Catherine Pelachaud, Massimo Bilvi
CAEPIA
2003
Springer
15 years 11 months ago
Automatic Computation of the Fundamental Matrix from Matched Lines
Oscar A. Pellejero, Carlos Sagüés, Jos...
SPIN
2004
Springer
15 years 11 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