750 search results - page 112 / 150 » Using codesign techniques to support analog functionality |
112
click to vote
CGA
1998
15 years 1 months ago
1998
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
ENVSOFT
2007
15 years 2 months ago
2007
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
122
Voted
IDTRUST
2009
ACM
15 years 9 months ago
2009
ACM
Mailing lists are a natural technology for supporting messaging in multi-party, cross-domain collaborative tasks. However, whenever sensitive information is exchanged on such list...
153
click to vote
LWA
2004
15 years 3 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
131
click to vote
VSTTE
2010
Springer
15 years 1 days ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...