Sciweavers

48 search results - page 4 / 10
» Law of series
Sort
View
FAC
2010
259views more  FAC 2010»
13 years 7 months 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
IROS
2009
IEEE
111views Robotics» more  IROS 2009»
14 years 3 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
CORR
2007
Springer
99views Education» more  CORR 2007»
13 years 8 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»
13 years 8 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...
LREC
2010
188views Education» more  LREC 2010»
13 years 10 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