10493 search results - page 1412 / 2099 » Dynamic Word Problems |
171
click to vote
IJFCS
2006
15 years 6 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
165
click to vote
IJHPCA
2006
15 years 6 months ago
2006
In this paper, we consider the communications involved in the execution of a complex application, deployed on a heterogeneous platform. Such applications extensively use macro-com...
201
click to vote
IVC
2008
15 years 6 months ago
2008
This paper presents an object categorization method. Our approach involves the following aspects of cognitive vision : machine learning and knowledge representation. A major eleme...
142
click to vote
JAPLL
2008
15 years 6 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
179
click to vote
JCB
2008
15 years 6 months ago
2008
The spatial clustering of genes across different genomes has been used to study important problems in comparative genomics, from identification of operons to detection of homologo...