Sciweavers

723 search results - page 143 / 145
» Exclusion for composite objects
Sort
View
GPCE
2008
Springer
13 years 8 months ago
Property models: from incidental algorithms to reusable components
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
Jaakko Järvi, Mat Marcus, Sean Parent, John F...
ECAI
2010
Springer
13 years 7 months ago
Learning to Author Text with textual CBR
Abstract. Textual reuse is an integral part of textual case-based reasoning (TCBR) which deals with solving new problems by reusing previous similar problem-solving experiences doc...
Ibrahim Adeyanju, Nirmalie Wiratunga, Juan A. Reci...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 7 months ago
Binding bigraphs as symmetric monoidal closed theories
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
Tom Hirschowitz, Aurélien Pardon
CJ
2006
117views more  CJ 2006»
13 years 7 months ago
Atomic Hypermedia
s the development of an abstract description of what there is in the world in an application-independent form. This paper argues that attempts to support information systems intero...
Duncan Martin, Helen Ashman
TOG
2008
92views more  TOG 2008»
13 years 7 months ago
Optimizing cubature for efficient integration of subspace deformations
We propose an efficient scheme for evaluating nonlinear subspace forces (and Jacobians) associated with subspace deformations. The core problem we address is efficient integration...
Steven S. An, Theodore Kim, Doug L. James