3765 search results - page 659 / 753 » Formal Methods for Systems Engineering Behavior Models |
121
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
115
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
138
Voted
INFFUS
2007
15 years 2 months ago
2007
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...
139
Voted
CA
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
128
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
Game theoretic modeling and equilibrium analysis of congestion games have provided insights in the performance of Internet congestion control, road transportation networks, etc. D...