4987 search results - page 16 / 998 » Support Ordered Resolution |
130
Voted
IFIP
1998
Springer
15 years 6 months ago
1998
Springer
The flexible integration of a range of disparate IT applications is a key requirement for today's global enterprises. The virtual enterprise, formed by a collection of collab...
99
Voted
MICRO
1997
IEEE
15 years 5 months ago
1997
IEEE
Profile data is valuable for identifying performance bottlenecks and guiding optimizations. Periodic sampling of a processor's performance monitoring hardware is an effective...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
113
Voted
CSL
2010
Springer
15 years 2 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
113
click to vote
CADE
2004
Springer
16 years 2 months ago
2004
Springer
We show how well-known refinements of ordered resolution, in particular redundancy elimination and ordering constraints in combination with a selection function, can be used to obt...