Sciweavers

7206 search results - page 37 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
CL
2000
Springer
15 years 5 months ago
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
Guizhen Yang, Michael Kifer
SOCO
2002
Springer
15 years 1 months ago
Content-based audio classification and retrieval using a fuzzy logic system: towards multimedia search engines
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
Mingchun Liu, Chunru Wan, Lipo Wang
SIGECOM
2006
ACM
155views ECommerce» more  SIGECOM 2006»
15 years 8 months ago
Incentives engineering for structured P2P systems - a feasibility demonstration using economic experiments
Structured peer-to-peer systems allow to administer large volumes of data. Several peers collaborate to generate a query result. Analyses of unstructured peer-to-peer systems, nam...
Stephan Schosser, Klemens Böhm, Rainer Schmid...
ENTCS
2008
100views more  ENTCS 2008»
15 years 2 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...