4635 search results - page 574 / 927 » Modeling Design Knowledge on Structure |
159
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...
194
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
192
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
172
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...