2444 search results - page 344 / 489 » Feature Construction for Back-Propagation |
183
click to vote
PLDI
2006
ACM
16 years 9 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...
148
click to vote
PLDI
2006
ACM
16 years 9 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...
171
click to vote
PPPJ
2006
ACM
16 years 9 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...
174
click to vote
SAC
2006
ACM
16 years 9 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...
156
click to vote
CCGRID
2005
IEEE
15 years 12 months 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...