Sciweavers

1836 search results - page 284 / 368
» Hierarchies for semantic classes
Sort
View
SEMWEB
2007
Springer
15 years 4 months ago
CLOnE: Controlled Language for Ontology Editing
Abstract. This paper presents a controlled language for ontology editing and a software implementation, based partly on standard NLP tools, for processing that language and manipul...
Adam Funk, Valentin Tablan, Kalina Bontcheva, Hami...
CSFW
2006
IEEE
15 years 3 months ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
LICS
2006
IEEE
15 years 3 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
WCRE
2006
IEEE
15 years 3 months ago
How Programs Represent Reality (and how they don't)
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
Daniel Ratiu, Florian Deissenboeck
DNA
2005
Springer
118views Bioinformatics» more  DNA 2005»
15 years 3 months ago
Molecular Learning of wDNF Formulae
We introduce a class of generalized DNF formulae called wDNF or weighted disjunctive normal form, and present a molecular algorithm that learns a wDNF formula from training example...
Byoung-Tak Zhang, Ha-Young Jang