4305 search results - page 329 / 861 » The Test of Time |
162
click to vote
ADG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
189
click to vote
PRICAI
1998
Springer
15 years 11 months ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
185
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
200
click to vote
AGI
2011
14 years 10 months ago
2011
Under Legg’s and Hutter’s formal measure [1], performance in easy environments counts more toward an agent’s intelligence than does performance in difficult environments. An ...
279
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper describes a patch-based approach for rapid image correlation or template matching. By representing a template image with an ensemble of patches, the method is robust wi...