1027 search results - page 88 / 206 » Representing and Reasoning with Operational Semantics |
142
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 1 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
121
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
106
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
117
Voted
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
131
Voted
IJCAI
1989
15 years 1 months ago
1989
We are developing a new paradigm for a world model construction system which interprets a scene and builds a world model for a mobile robot using dynamic semantic constraints. The...