5550 search results - page 683 / 1110 » Different Approaches to Proof Systems |
200
click to vote
VIROLOGY
2008
15 years 7 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
199
click to vote
CAGD
2004
15 years 7 months ago
2004
In surface restoration usually a damaged region of a surface has to be replaced by a surface patch which restores the region in a suitable way. In particular one aims for C1-conti...
230
click to vote
DLOG
2009
15 years 4 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
211
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....
219
click to vote
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
Mapping brain activity patterns in external actions has been studied in recent decades and is the base of a brain-computer interface. This type of interface is extremely useful for...