15485 search results - page 636 / 3097 » Computing Optimal Subsets |
170
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
205
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
185
click to vote
ICDAR
2005
IEEE
16 years 26 days ago
2005
IEEE
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
192
click to vote
ACMSE
2005
ACM
16 years 24 days ago
2005
ACM
Recent research suggests that most of the real-world random networks organize themselves into communities. Communities are formed by subsets of nodes in a graph, which are closely...
186
click to vote
ACIVS
2005
Springer
16 years 24 days ago
2005
Springer
We describe a method for removing quantization artifacts (de-quantizing) in the image domain, by enforcing a high degree of sparseness in its representation with an overcomplete or...