Sciweavers

1426 search results - page 186 / 286
» Specification of nonmonotonic reasoning
Sort
View
RIVF
2003
14 years 11 months ago
Airspace Sectorization By Constraint Programming
—In this paper we consider the Airspace Sectorization Problem (ASP) where airspace has to be partitioned into a number of sectors, each sector being assigned to a team of air tra...
Huy Trandac, Philippe Baptiste, Vu Duong
BMCBI
2006
135views more  BMCBI 2006»
14 years 10 months ago
TF Target Mapper: A BLAST search tool for the identification of Transcription Factor target genes
Background: In the current era of high throughput genomics a major challenge is the genome-wide identification of target genes for specific transcription factors. Chromatin immuno...
Sebastiaan Horsman, Michael J. Moorhouse, Victor C...
ENTCS
2006
168views more  ENTCS 2006»
14 years 10 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
JBI
2011
233views Bioinformatics» more  JBI 2011»
14 years 4 months ago
A set of ontologies to drive tools for the control of vector-borne diseases
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
Pantelis Topalis, Emmanuel Dialynas, Elvira Mitrak...
CVPR
2001
IEEE
15 years 12 months ago
A Spherical Eye from Multiple Cameras (Makes Better Models of the World)
This paper describes an imagingsystem that has been designed specifically for the purpose of recovering egomotion and structure from video. The system consists of six cameras in a...
Patrick Baker, Cornelia Fermüller, Yiannis Al...