Sciweavers

50 search results - page 3 / 10
» A Formal Model of Dictionary Structure and Content
Sort
View
STOC
1993
ACM
264views Algorithms» more  STOC 1993»
15 years 9 months ago
Contention in shared memory algorithms
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
Cynthia Dwork, Maurice Herlihy, Orli Waarts
AISB
2008
Springer
15 years 7 months ago
Cognition without content
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
Paul Schweizer
ZUM
1997
Springer
125views Formal Methods» more  ZUM 1997»
15 years 9 months ago
A Formal OO Method Inspired by Fusion and Object-Z
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
Klaus Achatz, Wolfram Schulte
205
Voted
STORYTELLING
2005
Springer
15 years 11 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
SWWS
2008
15 years 7 months ago
A New Knowledge Representation Model to Support Multilingual Ontologies. A case Study
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
Jesús Cardeñosa, Carolina Gallardo, ...