Sciweavers

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