Sciweavers

676 search results - page 51 / 136
» Ranking Categorical Features Using Generalization Properties
Sort
View
CHI
2010
ACM
14 years 2 months ago
Artifacts in design: representation, ideation, and process
Artifacts—representations that express properties or captured information—can serve to inspire, represent, and manage the decisions made throughout the design process. This wo...
D. Scott McCrickard, Michael E. Atwood, Gayle Curt...
FSTTCS
2007
Springer
14 years 2 months ago
A Theory for Game Theories
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
Michel Hirschowitz, André Hirschowitz, Tom ...
CLEF
2009
Springer
13 years 9 months ago
Prior Art Search Using International Patent Classification Codes and All-Claims-Queries
In this study, we describe our system at the Intellectual Property track of the 2009 CrossLanguage Evaluation Forum campaign (CLEF-IP). The CLEF-IP track addressed prior art searc...
Benjamin Herbert, György Szarvas, Iryna Gurev...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 8 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
CCE
2005
13 years 7 months ago
Method for selection of solvents for promotion of organic reactions
A method to select appropriate green solvents for the promotion of a class of organic reactions has been developed. The method combines knowledge from industrial practice and phys...
Rafiqul Gani, Concepción Jiménez-Gon...