10159 search results - page 1784 / 2032 » System Design Validation Using Formal Models |
199
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
137
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
A problem facing many textbook authors (including one of the authors of this paper) is the inevitable delay between new advances in the subject area and their incorporation in a n...
189
Voted
ACL
2006
15 years 8 months ago
2006
In this paper we report our work on building a POS tagger for a morphologically rich language- Hindi. The theme of the research is to vindicate the stand that- if morphology is st...
226
click to vote
CGF
2011
14 years 10 months ago
2011
We present a novel method to estimate an approximation of the reflectance characteristics of optically thick, homogeneous translucent materials using only a single photograph as ...
255
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...