2225 search results - page 318 / 445 » Logical Structures in the Lexicon |
156
Voted
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
131
Voted
AAAI
1994
15 years 4 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
138
click to vote
DLT
2008
15 years 4 months ago
2008
We examine the succinctness of one-way, rotating, sweeping, and two-way deterministic finite automata (1dfas, rdfas, sdfas, 2dfas). Here, a sdfa is a 2dfa whose head can change di...
135
click to vote
GISCIENCE
2008
Springer
15 years 4 months ago
2008
Springer
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
100
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...