Sciweavers

3040 search results - page 242 / 608
» Independent Natural Extension
Sort
View
125
Voted
ENTCS
2006
117views more  ENTCS 2006»
15 years 25 days 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
115
Voted
MAGS
2008
169views more  MAGS 2008»
15 years 24 days 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 23 days 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...
123
Voted
CN
2002
120views more  CN 2002»
15 years 20 days 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
93
Voted
JMLR
2002
87views more  JMLR 2002»
15 years 15 days 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