11168 search results - page 168 / 2234 » Abstract State Processes |
146
click to vote
TSP
2010
14 years 11 months ago
2010
This paper addresses cooperative Time Division Duplex (TDD) relaying in the multiple-antenna case with full Channel State Information (CSI), i.e. assuming perfect knowledge of all ...
121
click to vote
AAAI
1994
15 years 6 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
131
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
132
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
131
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...