2015 search results - page 200 / 403 » Some Observations on Indifferentiability |
128
click to vote
SASO
2009
IEEE
15 years 11 months ago
2009
IEEE
—We consider here multi-agent patrolling as the task for a group of agents to repeatedly visit all the cells of a discrete environment. Wagner et al. [1] have introduced patrolli...
132
click to vote
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
Contained rewriting and maximal contained rewriting of tree pattern queries using views have been studied recently for the class of tree patterns involving /, //, and []. Given que...
129
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The sparse network topology, coupled with the limited availability of reference nodes in Under Water Sensor Network (UWSN), significantly reduces the effectiveness of m...
126
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
131
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...