4609 search results - page 651 / 922 » Automatic Generation of Sigma-Protocols |
208
click to vote
FPL
2007
Springer
16 years 24 days ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
166
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
Developmental systems typically produce a phenotype through a generative process whose outcome depends on feedback from the environment. In most artificial developmental systems, ...
230
click to vote
ICWL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
196
click to vote
IESS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
203
click to vote
IPMI
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we propose an automated approach for joint sulci detection on cortical surfaces by using graphical models and boosting techniques to incorporate shape priors of major...