Sciweavers

329 search results - page 35 / 66
» Observability of vortex flows
Sort
View
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
13 years 11 months ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
Practical Exception Specifications
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
Donna Malayeri, Jonathan Aldrich
NIPS
2001
13 years 9 months ago
Predictive Representations of State
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
Michael L. Littman, Richard S. Sutton, Satinder P....
CHI
2009
ACM
14 years 8 months ago
A mobile voice communication system in medical setting: love it or hate it?
Hospital work coordination and collaboration often requires mobility for acquiring proper information and resources. In turn, the spatial distribution and the mobility of clinicia...
Charlotte Tang, M. Sheelagh T. Carpendale
WCE
2007
13 years 8 months ago
A Multi-Agent Approach for Intelligent Traffic-Light Control
—In this paper we propose a multi-agent approach for traffic-light control. According to this approach, our system consists of agents and their world. In this context, the world ...
Visit Hirankitti, Jaturapith Krohkaew, Christopher...