Sciweavers

3718 search results - page 183 / 744
» IMPS: System Description
Sort
View
CG
2005
Springer
15 years 6 months ago
LADDER, a sketching language for user interface developers
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
Tracy Hammond, Randall Davis
OOPSLA
2010
Springer
15 years 5 months ago
Tribal ownership
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
Nicholas R. Cameron, James Noble, Tobias Wrigstad
LOGCOM
2006
101views more  LOGCOM 2006»
15 years 6 months ago
Tableau-based Decision Procedures for Hybrid Logic
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
Thomas Bolander, Torben Braüner
HYBRID
2007
Springer
16 years 22 days ago
Motion Programs for Puppet Choreography and Control
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
Magnus Egerstedt, Todd D. Murphey, Jon Ludwig
OTM
2007
Springer
16 years 22 days ago
P2P Routing-by-Content on a Lightweight Community Basis
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
Silvana Castano, Alfio Ferrara, Stefano Montanelli