Sciweavers

3069 search results - page 316 / 614
» Thinking about Technology
Sort
View
CKEC
1991
15 years 10 months ago
Case-Based Reasoning and Model-Based Knowledge Acquisition
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks. We present a set of practical integrated approaches...
Dietmar Janetzko, Gerhard Strube
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 10 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
WSC
2007
15 years 9 months ago
Using flexible points in a developing simulation of selective dissolution in alloys
Coercion is a semi-automated simulation adaptation technology that uses subject-matter expert insight about model ion alternatives, called flexible points, to change the behavior...
Joseph C. Carnahan, Steven A. Policastro, Erin C. ...
CAISE
2008
Springer
15 years 8 months ago
A Process Engineering Method based on a Process Domain Model and Patterns
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
Charlotte Hug, Agnès Front, Dominique Rieu
CIKM
2008
Springer
15 years 8 months ago
SHOPSMART: product recommendations through technical specifications and user reviews
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
Alexander Yates, James Joseph, Ana-Maria Popescu, ...