Sciweavers

3444 search results - page 303 / 689
» A Theory of Object-Oriented Design
Sort
View
LATA
2010
Springer
16 years 4 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
CHI
2009
ACM
16 years 1 months ago
The creativity support index
We present a draft survey tool called the Creativity Support Index (CSI). The CSI is similar to the NASA Task Load Index Survey but is designed specifically for evaluating creativ...
Erin A. Carroll, Celine Latulipe
ICASSP
2009
IEEE
16 years 1 months ago
On robustness of coupled adaptive filters
We provide a time domain analysis of the robustness and stability performance for coupled adaptive algorithms of gradient type. The considered coupling may occur inherently as wel...
Robert Dallinger, Marjus Rupp
ALDT
2009
Springer
207views Algorithms» more  ALDT 2009»
16 years 1 months ago
Anytime Self-play Learning to Satisfy Functional Optimality Criteria
We present an anytime multiagent learning approach to satisfy any given optimality criterion in repeated game self-play. Our approach is opposed to classical learning approaches fo...
Andriy Burkov, Brahim Chaib-draa
SIGCOMM
2009
ACM
16 years 1 months ago
Tuning message size in opportunistic mobile networks
We describe a new model for studying intermittently connected mobile networks, based on Markovian random temporal graphs, that captures the influence of message size, maximum tol...
John Whitbeck, Vania Conan, Marcelo Dias de Amorim