2409 search results - page 208 / 482 » Logical systems for structured specifications |
165
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
164
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
183
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
132
click to vote
ENTCS
2010
15 years 6 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
166
click to vote
COLING
1996
15 years 7 months ago
1996
The paper describes a system which uses packed parser output directly to build semantic representations. More specifically, the system takes as input Packed Shared Forests in the ...