785 search results - page 17 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
JAR
2006
13 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
JCS
1998
13 years 7 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
BMCBI
2005
13 years 7 months ago
2005
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...
PCM
2004
Springer
14 years 25 days ago
2004
Springer
This paper presents a feature point tracking algorithm using optical flow under the non-prior training active feature model (NPTAFM) framework. The proposed algorithm mainly focus...
PCM
2001
Springer
13 years 12 months ago
2001
Springer
Recognition of human gestures is important for analysis and indexing of video. To recognize human gestures on video, generally a large number of training examples for each individu...