3793 search results - page 648 / 759 » Expressive Description Logics |
IAJIT
2010
14 years 8 months ago
2010
: In this paper we propose a novel approach for searching eCommerce products using a mobile phone, illustrated by a prototype eCoMobile. This approach aims to globalize the mobile ...
82
Voted
PAMI
2010
14 years 8 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...
94
Voted
TSE
2010
14 years 8 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
77
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
86
Voted
TSD
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we propose the codification of argument and event structures in wordnets, providing information on selection properties, semantic incorporation phenomena and internal...