1981 search results - page 129 / 397 » Model-Checking Hierarchical Structures |
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Video adaptation has been considered as a promising technique to tackle challenging problems in pervasive multimedia applications. However, the styles of video representation and ...
ICPP
2009
IEEE
14 years 7 months ago
2009
IEEE
The random seeking in P2P-VoD system requires efficient lookup for "good" suppliers. The main challenge is that good suppliers should meet two requirements: "conten...
110
click to vote
CVPR
2012
IEEE
13 years 12 days ago
2012
IEEE
Categories in multi-class data are often part of an underlying semantic taxonomy. Recent work in object classification has found interesting ways to use this taxonomy structure t...
130
click to vote
LPAR
2012
Springer
13 years 5 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
AUSAI
2006
Springer
15 years 1 months ago
2006
Springer
There is increasing evidence to suggest that the neocortex of the mammalian brain does not consist of a collection of specialised and dedicated cortical architectures, but instead ...