27827 search results - page 423 / 5566 » Generating |
135
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
148
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
−In this paper, a novel architecture of a fractional-N phase-locked loop (PLL) is presented for digital clock generation. By employing multimodulus dividers in parallel with sequ...
134
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
136
click to vote
EVOW
2007
Springer
15 years 10 months ago
2007
Springer
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
129
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...