119 search results - page 3 / 24 » Factor Refinement |
CSL
1994
Springer
13 years 11 months ago
1994
Springer
We prove the completeness of the combination of ordered resolution and factoring for a large class of non-liftable orderings, without the need for any additional rules like satura...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
We refine previous analyses of Hyland-Ong game semantics and its relation to - and
IJMMS
2006
13 years 7 months ago
2006
Along with increasing investments in new technologies, user technology acceptance becomes a frequently studied topic in the information systems discipline. The last two decades ha...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...