387 search results - page 41 / 78 » A Hierarchy of Quantum Semantics |
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
COMPASS
1994
14 years 1 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
DATESO
2004
13 years 11 months ago
2004
Abstract. In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher dimensions index structures suffer the "curse o...
COGSCI
2002
13 years 9 months ago
2002
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
COOPIS
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...