Sciweavers

2032 search results - page 202 / 407
» Encodings of the Sequence Constraint
Sort
View
ICN
2001
Springer
15 years 11 months ago
Optimal Dynamic Rate Shaping for Compressed Video Streaming
The available channel bandwidth may vary due to many factors including network traffic congestion. Therefore, a video server should be able to decide how to reduce the transmission...
Minjung Kim, Yucel Altunbasak
EUROMICRO
2000
IEEE
15 years 11 months ago
Tumor Recognition in Endoscopic Video Images Using Artificial Neural Network Architectures
This paper focuses on a scheme for automated tumor recognition using images acquired during endoscopic sessions. The proposed recognition system is based on multi-layer feed forwa...
S. A. Karkanis, Dimitrios K. Iakovidis, Dimitrios ...
CSL
1995
Springer
15 years 10 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
DLOG
2008
15 years 9 months ago
Planning of Axiom Absorption
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
Jiewen Wu, Volker Haarslev
AIRWEB
2008
Springer
15 years 8 months ago
Query-log mining for detecting spam
Every day millions of users search for information on the web via search engines, and provide implicit feedback to the results shown for their queries by clicking or not onto them...
Carlos Castillo, Claudio Corsi, Debora Donato, Pao...