Sciweavers

3040 search results - page 242 / 608
» Independent Natural Extension
Sort
View
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
195
Voted
MAGS
2008
169views more  MAGS 2008»
15 years 6 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
PAMI
2006
147views more  PAMI 2006»
15 years 6 months ago
Full-Frame Video Stabilization with Motion Inpainting
Video stabilization is an important video enhancement technology which aims at removing annoying shaky motion from videos. We propose a practical and robust approach of video stabi...
Yasuyuki Matsushita, Eyal Ofek, Weina Ge, Xiaoou T...
CN
2002
120views more  CN 2002»
15 years 6 months ago
TCP-Real: receiver-oriented congestion control
We introduce a receiver-oriented approach to congestion control, demonstrated by an experimental protocol, TCP-Real. The protocol allows for a measurement-based transmission strate...
Vassilios Tsaoussidis, Chi Zhang
JMLR
2002
87views more  JMLR 2002»
15 years 6 months ago
Shallow Parsing using Noisy and Non-Stationary Training Material
Shallow parsers are usually assumed to be trained on noise-free material, drawn from the same distribution as the testing material. However, when either the training set is noisy ...
Miles Osborne