4520 search results - page 429 / 904 » Algebraic Techniques for Timed Systems |
203
click to vote
AAAI
2006
15 years 9 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
192
click to vote
DAIS
2006
15 years 9 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
174
click to vote
PIMRC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--This paper investigates throughput-efficient relay ARQ protocols for single carrier MIMO systems with amplify-and-forward relaying. We focus on reducing the multiplexing ...
213
click to vote
AAAI
2011
14 years 7 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
166
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...