4839 search results - page 373 / 968 » A survey of computational complexity results in systems and ... |
177
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
171
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
197
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
215
click to vote
PPOPP
2006
ACM
16 years 23 days ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
218
Voted
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...