745 search results - page 44 / 149 » A Formal Ontology for a Computational Approach of Time and A... |
ITICSE
2004
ACM
14 years 1 months ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...
EUROMICRO
1998
IEEE
13 years 12 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract We propose an approach to texture boundary detection that only requires a line-search in the direction normal to the edge. It is therefore very fast and can be incorporate...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...