Sciweavers

7167 search results - page 645 / 1434
» Answer Set Programming
Sort
View
IFIP
2010
Springer
15 years 11 months ago
A Novel Framework for Data Registration and Data Fusion in Presence of Multi-modal Sensors
Abstract. This article presents a novel framework to register and fuse heterogeneous sensory data. Our approach is based on geometrically registration of sensory data onto a set of...
Hadi Aliakbarpour, João Filipe Ferreira, Ka...
TOOLS
2000
IEEE
15 years 11 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
CSEE
2000
Springer
15 years 10 months ago
Lessons Learned from Teaching Software Engineering to Adult Students
Teaching provides many challenges. Presenting Software Engineering to students brings a teacher face to face with a most unwieldy subject. Packaging this subject for delivery to a...
James J. Cusick
TOOLS
1999
IEEE
15 years 10 months ago
Component Frameworks - A Case Study
This paper reports on an effort to use both the system theoretic DEVS (discrete event simulation) formalism and the JavaBeans component model as a basis for a componentbased discr...
Herbert Praehofer, Johannes Sametinger, Alois Stri...
ICALP
1998
Springer
15 years 10 months ago
Metric Semantics for True Concurrent Real Time
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
Christel Baier, Joost-Pieter Katoen, Diego Latella