7661 search results - page 1334 / 1533 » Languages and the Computing Profession |
193
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
187
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
186
click to vote
WEBDB
2009
Springer
16 years 1 months ago
2009
Springer
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
206
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
—This paper presents an approach using social semantics for the task of topic labelling by means of Open Topic Models. Our approach utilizes a social ontology to create an alignm...
195
click to vote
CALCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...