3021 search results - page 325 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
205
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
201
click to vote
ELECTRONICMARKETS
2011
15 years 1 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
204
click to vote
ECOOPW
2008
Springer
15 years 8 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
137
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We propose machine learning methods for the estimation of deformation fields that transform two given objects into each other, thereby establishing a dense point to point correspo...
159
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
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...