Sciweavers

2933 search results - page 211 / 587
» Agent-Grid Integration Language
Sort
View
IWRT
2010
161views Communications» more  IWRT 2010»
15 years 1 months ago
RFID-assisted Product Delivery in Sustainable Supply Chains: A Knowledge-based Approach
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...
ACL
2009
15 years 1 months ago
Summarizing multiple spoken documents: finding evidence from untranscribed audio
This paper presents a model for summarizing multiple untranscribed spoken documents. Without assuming the availability of transcripts, the model modifies a recently proposed unsup...
Xiaodan Zhu, Gerald Penn, Frank Rudzicz
DLOG
2009
15 years 29 days ago
Reintroducing CEL as an OWL 2 EL Reasoner
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
Julian Mendez, Boontawee Suntisrivaraporn
HCI
2009
15 years 28 days ago
A Modality Replacement Framework for the Communication between Blind and Hearing Impaired People
This paper presents a multimodal framework for the communication between blind and hearing impaired people. The algorithms that are developed are based on the concept of modality r...
Konstantinos Moustakas, Dimitrios Tzovaras, Laila ...
FAC
2010
106views more  FAC 2010»
15 years 16 days ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...