4166 search results - page 527 / 834 » Automating the constraining process |
132
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...
140
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
148
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
159
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
135
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...