8719 search results - page 131 / 1744 » A Categorical Approach to Simulations |
107
click to vote
CAV
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
115
Voted
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Higher order spatial features, such as doublets or
triplets have been used to incorporate spatial information
into the bag-of-local-features model. Due to computational
limits, ...
104
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We apply a biologically inspired model of visual object recognition to the multiclass object categorization problem. Our model modifies that of Serre, Wolf, and Poggio. As in that...
103
click to vote
KDD
2003
ACM
16 years 2 months ago
2003
ACM
This paper considers the use of computational stylistics for performing authorship attribution of electronic messages, addressing categorization problems with as many as 20 differ...
SBRN
2008
IEEE
15 years 8 months ago
2008
IEEE
The automation of the categorization of economic activities from business descriptions in free text format is a huge challenge for the Brazilian governmental administration in the...