Sciweavers

12194 search results - page 436 / 2439
» cans 2010
Sort
View
SEMWEB
2010
Springer
15 years 5 months ago
Justification Oriented Proofs in OWL
Abstract. Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, espec...
Matthew Horridge, Bijan Parsia, Ulrike Sattler
226
Voted
SEMWEB
2010
Springer
15 years 5 months ago
Towards Semantic Annotation Supported by Dependency Linguistics and ILP
In this paper we present a method for semantic annotation of texts, which is based on a deep linguistic analysis (DLA) and Inductive Logic Programming (ILP). The combination of DLA...
Jan Dedek
SENSYS
2010
ACM
15 years 5 months ago
Hijacking power and bandwidth from the mobile phone's audio interface
We endow the digital mobile phone with an analog interface that can parasitically power external peripherals and transfer data to and from them using the existing headset interfac...
Ye-Sheng Kuo, Thomas Schmid, Prabal Dutta
SIGSOFT
2010
ACM
15 years 5 months ago
Minding the (semantic) gap: engineering programming language theory
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
Arjun Guha, Shriram Krishnamurthi
SWAT
2010
Springer
294views Algorithms» more  SWAT 2010»
15 years 5 months ago
Bin Packing with Fixed Number of Bins Revisited
As Bin Packing is NP-hard already for k = 2 bins, it is unlikely to be solvable in polynomial time even if the number of bins is a fixed constant. However, if the sizes of the item...
Klaus Jansen, Stefan Kratsch, Dániel Marx, ...