8232 search results - page 1167 / 1647 » Dynamic Logic Programming |
200
Voted
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...
158
click to vote
DIS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
179
Voted
ASPLOS
2004
ACM
16 years 9 days ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
143
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
182
Voted
ITS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...