Sciweavers

3053 search results - page 423 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
SEMCO
2009
IEEE
15 years 8 months ago
Conceptual Space Markup Language (CSML): Towards the Cognitive Semantic Web
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
Benjamin Adams, Martin Raubal
EUROMICRO
2005
IEEE
15 years 7 months ago
QoSOnt: a QoS Ontology for Service-Centric Systems
This paper reports on the development of QoSOnt: an ontology for Quality of Service (QoS). Particular focus is given to its application in the field of service-centric systems. Qo...
Glen Dobson, Russell Lock, Ian Sommerville
LPNMR
2005
Springer
15 years 7 months ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub
ESA
2003
Springer
90views Algorithms» more  ESA 2003»
15 years 7 months ago
Packing a Trunk
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
Friedrich Eisenbrand, Stefan Funke, Joachim Reiche...
ECSQARU
2009
Springer
15 years 6 months ago
Inference from Multinomial Data Based on a MLE-Dominance Criterion
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
Alessio Benavoli, Cassio P. de Campos