Sciweavers

11784 search results - page 1955 / 2357
» Improving Software Process Improvement
Sort
View
CP
2004
Springer
16 years 7 days ago
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
Christian Bessière, Remi Coletta, Eugene C....
DIS
2004
Springer
16 years 7 days ago
On the Convergence of Incremental Knowledge Base Construction.
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...
Tri M. Cao, Eric Martin, Paul Compton
DNA
2004
Springer
16 years 7 days ago
DNA Hybridization Catalysts and Catalyst Circuits
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
Georg Seelig, Bernard Yurke, Erik Winfree
ECAI
2004
Springer
16 years 7 days ago
A Syntactical Approach to Revision
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
Guilherme Bittencourt, Laurent Perrussel, Jerusa M...
ER
2004
Springer
106views Database» more  ER 2004»
16 years 7 days ago
Use of Tabular Analysis Method to Construct UML Sequence Diagrams
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...
Margaret Hilsbos, Il-Yeol Song
« Prev « First page 1955 / 2357 Last » Next »