1593 search results - page 182 / 319 » A visual programming system for automated problem solving |
137
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
128
click to vote
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Two key objectives of conversational case-based reasoning (CCBR) systems are (1) eliciting case facts in a manner that minimizes the user’s burden in terms of resources such as t...
246
click to vote
CSMR
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
124
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
148
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...