Sciweavers

1317 search results - page 102 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
EPIA
1997
Springer
15 years 10 months ago
An Algorithm for Solving Systems of Linear Diophantine Equations in Naturals
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
Ana Paula Tomás, Miguel Filgueiras
ICSE
2011
IEEE-ACM
14 years 9 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
DLOG
2003
15 years 7 months ago
Incremental Query Answering for Implementing Document Retrieval Services
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...
Volker Haarslev, Ralf Möller
TIT
2008
71views more  TIT 2008»
15 years 6 months ago
Quantization as Histogram Segmentation: Optimal Scalar Quantizer Design in Network Systems
Abstract--An algorithm for scalar quantizer design on discrete-alphabet sources is proposed. The proposed algorithm can be used to design fixed-rate and entropy-constrained convent...
Dan Muresan, Michelle Effros
IFIP
1998
Springer
15 years 10 months ago
Security Requirements for Mobile Agents in Electronic Markets
Abstract. In this article we identify security threats and requirements for software agent systems in the context of an electronic market. A short description of our own agent syst...
Michael Zapf, Helge Müller, Kurt Geihs