2875 search results - page 96 / 575 » Distributed Reactive Machines |
123
click to vote
IJCAI
1997
15 years 2 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
100
Voted
PPL
2008
15 years 20 days ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
168
Voted
IFIPTM
2010
14 years 11 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
97
Voted
ACSC
2002
IEEE
15 years 5 months ago
2002
IEEE
The majority of the world’s computing resources remains idle most of the time. By using this resource pool, an individual computation may be completed in a fraction of time requ...
114
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...