2069 search results - page 77 / 414 » Synthesizing |
124
Voted
ISLPED
1995
ACM
15 years 8 months ago
1995
ACM
: CMOS implementations of arithmetic units for One-Hot Residue encoded operands are presented. They are shown to reduce the delay-power product of conventional, fully-encoded desig...
122
Voted
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
132
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
124
click to vote
NAACL
1994
15 years 6 months ago
1994
This paper presents a model for generating prosodically appropriate synthesized responses to database queries using Combinatory Categorial Grammar (CCG - cf. [22]), a formalism wh...
122
Voted
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a new control methodology for a nonholonomic electric two-wheeled vehicle wherein the autonomous and man-machine cooperative controls are synthesized. In the pr...