2226 search results - page 248 / 446 » Computable Analysis via Representations |
174
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
180
click to vote
SIGCOMM
2006
ACM
16 years 18 days ago
2006
ACM
Researchers have proposed a variety of metrics to measure important graph properties, for instance, in social, biological, and computer networks. Values for a particular graph met...
208
click to vote
IVC
2002
15 years 6 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...
196
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We present here a method that aims at producing representations of functional brain data on the cortical surface from functional MRI volumes. Such representations are req...
203
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we present some analysis techniques and indexing strategies aimed to support classification and retrieval of textures using only perceptual features. The goal of thi...