Sciweavers

3965 search results - page 246 / 793
» Effectivity of Regular Spaces
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
182
Voted
AAAI
2008
15 years 9 months ago
Perpetual Learning for Non-Cooperative Multiple Agents
This paper examines, by argument, the dynamics of sequences of behavioural choices made, when non-cooperative restricted-memory agents learn in partially observable stochastic gam...
Luke Dickens
199
Voted
JCSS
2008
90views more  JCSS 2008»
15 years 6 months ago
Fault tolerance in cellular automata at high fault rates
A commonly used model for fault-tolerant computation is that of cellular automata. The essential difficulty of fault-tolerant computation is present in the special case of simply ...
Mark McCann, Nicholas Pippenger
ICPR
2004
IEEE
16 years 7 months ago
Group-based Relevance Feedback with Support Vector Machine Ensembles
Support vector machines (SVMs) have become one of the most promising techniques for relevance feedback in content-based image retrieval (CBIR). Typical SVM-based relevance feedbac...
Chu-Hong Hoi, Michael R. Lyu
DAC
2004
ACM
16 years 7 months ago
Reducing clock skew variability via cross links
Increasingly significant variational effects present a great challenge for delivering desired clock skew reliably. Non-tree clock network has been recognized as a promising approac...
Anand Rajaram, Jiang Hu, Rabi N. Mahapatra