2152 search results - page 125 / 431 » An Abstract Account of Composition |
145
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
198
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
174
click to vote
MM
2005
ACM
16 years 1 days ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
138
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— This paper proposes a global asymptotic stabilizing control law for a quad-rotor helicopter with bounded inputs. The proposed control design exploits the technique base...
149
click to vote
CAISE
2005
Springer
16 years 10 hour ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...