5205 search results - page 391 / 1041 » Tilings and model theory |
180
click to vote
ISIPTA
2003
IEEE
16 years 5 days ago
2003
IEEE
We discuss two approaches for choosing a strategy in a two-player game. We suppose that the game is played a large number of rounds, which allows the players to use observations o...
204
click to vote
RTSS
2003
IEEE
16 years 5 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
142
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
170
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Krylov-subspace based methods for generating low-order models of complicated interconnect are extremely effective, but there is no optimality theory for the resulting models. Alte...
197
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Bayesian networks are commonly used in cognitive student modeling and assessment. They typically represent the item-concepts relationships, where items are observable responses to ...