Sciweavers

1749 search results - page 246 / 350
» Prototypes Based Relational Learning
Sort
View
PEPM
2007
ACM
15 years 11 months ago
Quasi-terminating logic programs for ensuring the termination of partial evaluation
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
Germán Vidal
SEMWEB
2007
Springer
15 years 11 months ago
Extreme Tagging: Emergent Semantics through the Tagging of Tags
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
Vlad Tanasescu, Olga Streibel
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 11 months ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
ICMCS
2006
IEEE
132views Multimedia» more  ICMCS 2006»
15 years 11 months ago
Analysis and Evaluation of the Skype and Google-Talk Voip Systems
In this paper, we study Skype and Google Talk, two widely used VoIP systems, and compare their perceptual speech quality with that of our proposed system using UDP packet traces c...
Batu Sat, Benjamin W. Wah
SEFM
2006
IEEE
15 years 11 months ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux