3717 search results - page 129 / 744 » Architecture-Based Design of Computer Based Systems |
117
Voted
CONSTRAINTS
2008
15 years 2 months ago
2008
Camera control techniques for Interactive Digital Entertainment (IDE) are reaching their limits in terms of capabilities. To enable future growth, new methods must be derived to a...
131
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
133
Voted
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
127
Voted
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we investigate the timing and carrier frequency offset (CFO) synchronization problem in decode and forward cooperative systems operating over frequency selective ch...
103
Voted
BIRTHDAY
2004
Springer
15 years 8 months ago
2004
Springer
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...