Sciweavers

48 search results - page 4 / 10
» Law of series
Sort
View
130
Voted
FAC
2010
259views more  FAC 2010»
15 years 12 days ago
An algebraic approach to the design of compilers for object-oriented languages
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
123
Voted
IROS
2009
IEEE
111views Robotics» more  IROS 2009»
15 years 8 months ago
Visual navigation with a time-independent varying reference
— In this paper, we present a controller for visual navigation, which utilizes a time-independent varying reference in the feedback law. The navigation framework relies on a mono...
Andrea Cherubini, François Chaumette
97
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
15 years 1 months ago
Services within a busy period of an M/M/1 queue and Dyck paths
We analyze the service times of customers in a stable M/M/1 queue in equilibrium depending on their position in a busy period. We give the law of the service of a customer at the b...
Moez Draief, Jean Mairesse
CORR
2006
Springer
145views Education» more  CORR 2006»
15 years 1 months ago
Product Multicommodity Flow in Wireless Networks
We provide a tight approximate characterization of the n-dimensional product multicommodity flow (PMF) region for a wireless network of n nodes. Separate characterizations in term...
Ritesh Madan, Devavrat Shah, Olivier Lév&ec...
126
Voted
LREC
2010
188views Education» more  LREC 2010»
15 years 3 months ago
How Large a Corpus Do We Need: Statistical Method Versus Rule-based Method
We investigate the impact of input data scale in corpus-based learning using a study style of Zipf's law. In our research, Chinese word segmentation is chosen as the study ca...
Hai Zhao, Yan Song, Chunyu Kit