4126 search results - page 734 / 826 » Set based logic programming |
BMCBI
2005
13 years 10 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
CIVR
2010
Springer
13 years 8 months ago
2010
Springer
In many applications, we find large video collections from different genres where the user is often only interested in one or two specific video genres. So, when users are queryin...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
- Redundant via insertion and line end extension employed in the post-routing stage are two well known and highly recommended techniques to reduce yield loss due to via failure. Ho...
SOFSEM
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
IUI
2009
ACM
14 years 7 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...