4708 search results - page 325 / 942 » Generating the Structure of Argument |
182
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
176
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
179
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, to automatically generate musical thumbnails that contain the main part of the original tune, we propose a new estimation method for identifying structure changes i...
188
Voted
EUC
2008
Springer
15 years 8 months ago
2008
Springer
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...
235
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...