2444 search results - page 344 / 489 » Feature Construction for Back-Propagation |
200
Voted
PLDI
2006
ACM
16 years 28 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
171
Voted
PLDI
2006
ACM
16 years 28 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
198
Voted
PPPJ
2006
ACM
16 years 28 days ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
196
Voted
SAC
2006
ACM
16 years 28 days ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
172
click to vote
CCGRID
2005
IEEE
16 years 18 days ago
2005
IEEE
The emerging service grids bring together various distributed services to a ‘market’ for clients to request and enable the integration of services across distributed, heteroge...