2715 search results - page 217 / 543 » An Implementation of Narrowing Strategies |
172
click to vote
WETICE
2007
IEEE
2007
IEEE
An Architectural Approach to Apply the Supervisor/Worker Collaboration Pattern to Nomadic Workspaces
16 years 1 months ago
Although information technology is advancing, computer-based systems do not yet ideally support collaborative activities of mobile users in nomadic workspaces. Mobile information ...
152
click to vote
AIED
2007
Springer
16 years 27 days ago
2007
Springer
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
160
click to vote
CLUSTER
2006
IEEE
16 years 23 days ago
2006
IEEE
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...
194
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
168
click to vote
APLAS
2006
ACM
16 years 21 days ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...