5838 search results - page 408 / 1168 » A File System for System Programming in Ubiquitous Computing |
198
Voted
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
181
click to vote
CDC
2008
IEEE
16 years 19 days ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
190
Voted
ICIC
2009
Springer
15 years 3 months ago
2009
Springer
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
182
click to vote
AAAI
2012
13 years 8 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
143
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
We present an active switch architecture to improve the performance of systems connected via system area networks. Our programmable active switches not only flexibly route packets...