3429 search results - page 490 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
141
Voted
JALC
2007
15 years 3 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...
171
click to vote
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...
148
click to vote
LAWEB
2003
IEEE
15 years 9 months ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
119
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
228
click to vote
IANDC
2000
15 years 3 months ago
2000
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...