4460 search results - page 325 / 892 » Formal methods for interactive systems |
268
Voted
CGF
2011
14 years 11 months ago
2011
We propose a method for interactive cloning of 3D surface geometry using a paintbrush interface, similar to the continuous cloning brush popular in image editing. Existing interac...
216
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: The identification of local similarities between two protein structures can provide clues of a common function. Many different methods exist for searching for similar ...
198
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
215
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
233
Voted
SMA
2008
ACM
15 years 7 months ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...