3394 search results - page 3 / 679 » Regular Object Types |
91
Voted
HLK
2003
IEEE
15 years 5 months ago
2003
IEEE
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
93
Voted
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...
149
Voted
CORR
2004
Springer
15 years 7 days ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
99
Voted
ACS
2008
15 years 16 days ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
131
Voted
ENTCS
2002
15 years 5 days ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...