9329 search results - page 1767 / 1866 » Feature interaction networks |
174
click to vote
TPHOL
2009
IEEE
16 years 7 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
179
Voted
PRIB
2009
Springer
16 years 4 days ago
2009
Springer
Studies of interactions between protein domains and ligands are important in many aspects such as cellular signaling. We present a knowledge-guided approach for docking protein dom...
168
click to vote
TLCA
2009
Springer
16 years 4 days ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
165
click to vote
VRML
2009
ACM
16 years 3 days ago
2009
ACM
Web-based applications of interactive 3D computer graphics are showing a tendency to get more interconnected and visually complex. Virtual communities like Second Life demand real...
193
click to vote
DASFAA
2008
IEEE
16 years 2 days ago
2008
IEEE
Abstract. Recently, we have proposed a novel method for the compression of time series based on mathematical models that explore dependencies between different time series. This r...