Sciweavers

10916 search results - page 181 / 2184
» On Constructive Connectives and Systems
Sort
View
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
An exploration strategy by constructing Voronoi diagrams with provable completeness
— We present novel exploration algorithms and a control law that enable the construction of Voronoi diagrams over unknown areas using a single autonomous vehicle equipped with ra...
Jonghoek Kim, Fumin Zhang, Magnus Egerstedt
CANDC
2005
ACM
15 years 8 months ago
Constructed narratives a tangible social interface
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
Pamela Jennings
WOA
2004
15 years 8 months ago
Using Method Engineering for the Construction of Agent-Oriented Methodologies
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
JCT
2006
52views more  JCT 2006»
15 years 6 months ago
Further combinatorial constructions for optimal frequency-hopping sequences
Frequency-hopping multiple-access (FHMA) spread spectrum communication systems employing multiple frequency shift keying as data modulation technique were investigated by Fuji-Har...
Gennian Ge, Ryoh Fuji-Hara, Ying Miao
CC
2005
Springer
118views System Software» more  CC 2005»
15 years 6 months ago
The complexity of constructing pseudorandom generators from hard functions
We study the complexity of constructing pseudorandom generators (PRGs) from hard functions, focussing on constant-depth circuits. We show that, starting from a function f : {0, 1}l...
Emanuele Viola