623 search results - page 101 / 125 » Relational Parametricity for Control Considered as a Computa... |
108
click to vote
BIOINFORMATICS
2011
14 years 6 months ago
2011
Motivation: Analysis and intervention in the dynamics of gene regulatory networks is at the heart of emerging efforts in the development of modern treatment of numerous ailments i...
122
click to vote
JAIR
2002
14 years 11 months ago
2002
The recursive least-squares (RLS) algorithm is one of the most well-known algorithms used in adaptive filtering, system identification and adaptive control. Its popularity is main...
WWW
2004
ACM
16 years 13 days ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
112
click to vote
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
127
click to vote
VLDB
2007
ACM
15 years 5 months ago
2007
ACM
In many applications, the underlying data (the web, an XML document, or a relational database) can be seen as a graph. These graphs may be enriched with weights, associated with t...