564 search results - page 59 / 113 » Corner cutting systems |
CCS
2008
ACM
13 years 11 months ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...
JGAA
2007
13 years 9 months ago
2007
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
VR
2008
IEEE
13 years 7 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
SpaceTag is an object system on which each object called SpaceTag can be accessed only from limited locations and limited time period. Its applications include entertainment syste...
JAR
2010
13 years 7 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...