6016 search results - page 855 / 1204 » The semantics of graphical languages |
166
click to vote
ICMCS
2005
IEEE
16 years 13 days ago
2005
IEEE
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...
196
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
180
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
185
click to vote
FOSSACS
2005
Springer
16 years 11 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
157
click to vote
GPCE
2005
Springer
16 years 11 days ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...