4266 search results - page 712 / 854 » A Framework for Defining Logics |
184
click to vote
WSC
2008
15 years 8 months ago
2008
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
162
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...
188
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolutionary histories of viral genomes have received significant recent attention due to their importance in understanding virulence and the corresponding ramifications to pu...
157
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an edge-directed super-resolution algorithm for gray level document images without using any training set. This technique creates an image with smooth regions ...
169
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
The accuracy of detecting an intrusion within a network of intrusion detection systems (IDSes) depends on the efficiency of collaboration between member IDSes. The security itself ...