1626 search results - page 42 / 326 » Computing the Types of the Relationships between Autonomous ... |
175
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: A transcriptional regulatory module (TRM) is a set of genes that is regulated by a common set of transcription factors (TFs). By organizing the genome into TRMs, a liv...
146
click to vote
HOA
1993
15 years 9 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
168
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
We propose a framework to learn scene semantics from surveillance videos. Using the learnt scene semantics, a video analyst can efficiently and effectively retrieve the hidden sem...
172
click to vote
ISSAC
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
156
click to vote
WSNA
2003
ACM
15 years 10 months ago
2003
ACM
Many applications in ubiquitous computing rely on knowing where people and objects are relative to each other. By placing small wireless sensors on people, at specific locations, ...