1746 search results - page 303 / 350 » A Constructive Semantics for ALC |
PRL
2007
13 years 9 months ago
2007
Image categorization could be treated as an effective solution to enable keyword-based image retrieval. In this paper, we propose a novel image categorization approach by learnin...
MICS
2008
13 years 9 months ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
On-Line Analytical Processing (OLAP) has shown great success in many industry applications, including sales, marketing, management, financial data analysis, etc. In this paper, w...
JLP
2008
13 years 8 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...