Sciweavers

4190 search results - page 315 / 838
» Type Class Directives
Sort
View
ANTSW
2010
Springer
15 years 2 months ago
Mobile Stigmergic Markers for Navigation in a Heterogeneous Robotic Swarm
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...
Frederick Ducatelle, Gianni A. Di Caro, Alexander ...
CORR
2012
Springer
230views Education» more  CORR 2012»
14 years 17 days ago
Fast Triangle Counting through Wedge Sampling
Graphs and networks are used to model interactions in a variety of contexts, and there is a growing need to be able to quickly assess the qualities of a graph in order to understa...
C. Seshadhri, Ali Pinar, Tamara G. Kolda
135
Voted
WSC
2004
15 years 6 months ago
Speech Acts of War
This research investigates Speech Acts performed in the war film Platoon. It aims at finding details about the types of speech acts, their form and how they are expressed by the i...
John David Salt
149
Voted
ICFP
2008
ACM
16 years 4 months ago
AURA: a programming language for authorization and audit
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianz...
CGO
2010
IEEE
15 years 11 months ago
Dynamic interpretation for dynamic scripting languages
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
Kevin Williams, Jason McCandless, David Gregg