3429 search results - page 490 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
171
click to vote
JALC
2007
15 years 6 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, ...
214
click to vote
CIKM
2005
Springer
16 years 2 days 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...
184
click to vote
LAWEB
2003
IEEE
15 years 11 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...
150
click to vote
CONTEXT
2003
Springer
15 years 11 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 ...
278
click to vote
IANDC
2000
15 years 6 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...