4902 search results - page 703 / 981 » Structures, Semantics and Statistics |
181
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...
163
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
179
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures: we show ho...
175
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
148
click to vote
ICCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...