4987 search results - page 16 / 998 » Support Ordered Resolution |
142
Voted
IFIP
1998
Springer
15 years 7 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...
114
Voted
MICRO
1997
IEEE
15 years 7 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...
89
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
137
Voted
CSL
2010
Springer
15 years 4 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...
139
Voted
CADE
2004
Springer
16 years 4 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...