1981 search results - page 129 / 397 » Model-Checking Hierarchical Structures |
141
Voted
ICMCS
2009
IEEE
15 years 10 days 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 ...
135
Voted
ICPP
2009
IEEE
15 years 10 days 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...
158
Voted
CVPR
2012
IEEE
13 years 5 months 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...
178
Voted
LPAR
2012
Springer
13 years 10 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...
135
Voted
AUSAI
2006
Springer
15 years 6 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 ...