Sciweavers

4480 search results - page 589 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
SP
2008
IEEE
159views Security Privacy» more  SP 2008»
15 years 6 months ago
Inferring neuronal network connectivity from spike data: A temporal data mining approach
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
Debprakash Patnaik, P. S. Sastry, K. P. Unnikrishn...
ICFP
2008
ACM
16 years 6 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...
ROBOCUP
2005
Springer
91views Robotics» more  ROBOCUP 2005»
16 years 3 days ago
Gaze Direction Determination of Opponents and Teammates in Robot Soccer
Gaze direction determination of opponents and teammates is a very important ability for any soccer player, human or robot. However, this ability is still not developed in any of th...
Patricio Loncomilla, Javier Ruiz-del-Solar
MIDDLEWARE
2004
Springer
15 years 12 months ago
Transparent Information Dissemination
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
Amol Nayate, Michael Dahlin, Arun Iyengar
FPL
1998
Springer
86views Hardware» more  FPL 1998»
15 years 11 months ago
Self Modifying Circuitry - A Platform for Tractable Virtual Circuitry
The readily available performance advantages, gained in early virtual circuitry systems, are being recouped following advances in general purpose processor architectures and have ...
Adam Donlin