105 search results - page 16 / 21 » Bridging the Gap between Abstract Argumentation Systems and ... |
SIMPAR
2010
14 years 8 months ago
2010
Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...
83
Voted
SEKE
1993
Springer
15 years 1 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
CISS
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— It is well-known that perfect channel state information (CSI) at the transmitter and the receiver (CSIT/CSIR) can be used to decompose a multi-antenna channel into a ba...
FROCOS
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
89
Voted
POPL
1997
ACM
15 years 1 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...