Sciweavers

2196 search results - page 129 / 440
» Practical Reasoning Using Values
Sort
View
ICSE
2003
IEEE-ACM
16 years 2 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
PPCP
1993
15 years 6 months ago
Higher-Order Logic Programming as Constraint Logic Programming
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
Spiro Michaylov, Frank Pfenning
130
Voted
CG
2004
Springer
15 years 2 months ago
Procedural 3D texture synthesis using genetic programming
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
Adam Hewgill, Brian J. Ross
CSDA
2008
67views more  CSDA 2008»
15 years 2 months ago
How useful are approximations to mean and variance of the index of dissimilarity?
Sociologists, demographers, and economists often use the index of dissimilarity, D, to describe the extent of racial, ethnic, spatial, or areal dissimilarity (or segregation) of d...
Madhuri S. Mulekar, John C. Knutson, Jyoti A. Cham...
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
15 years 9 months ago
Min-Max predictive control of a pilot plant using a QP approach
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
Jorn Klaas Gruber, Daniel R. Ramírez, Teodo...