Sciweavers

5388 search results - page 312 / 1078
» The Active Elastic Model
Sort
View
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
15 years 10 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
AR
2007
204views more  AR 2007»
15 years 6 months ago
Action recognition and understanding through motor primitives
In robotics, recognition of human activity has been used extensively for robot task learning through imitation and demonstration. However, there has not been much work on modeling...
Isabel Serrano Vicente, Ville Kyrki, Danica Kragic...
ENGL
2008
94views more  ENGL 2008»
15 years 6 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu
141
Voted
IJON
2000
61views more  IJON 2000»
15 years 6 months ago
Encoding multiple orientations in a recurrent network
Models containing recurrent connections amongst the cells within a population can account for a range of empirical data on orientation selectivity in striate cortex. However, exis...
Richard S. Zemel, Jonathan Pillow
STOC
2007
ACM
140views Algorithms» more  STOC 2007»
16 years 7 months ago
On the submodularity of influence in social networks
We prove and extend a conjecture of Kempe, Kleinberg, and Tardos (KKT) on the spread of influence in social networks. A social network can be represented by a directed graph where...
Elchanan Mossel, Sébastien Roch