3220 search results - page 116 / 644 » Constrained Graph Processes |
108
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
In product family approaches such as software product lines, product configuration is a key activity that deals with the constrained combination and parameterization of reusable c...
131
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
102
Voted
NIPS
2003
15 years 2 months ago
2003
Psychophysical studies suggest the existence of specialized detectors for component motion patterns (radial, circular, and spiral), that are consistent with the visual motion prop...
113
Voted
JAIR
2011
14 years 8 months ago
2011
Markovian processes have long been used to model stochastic environments. Reinforcement learning has emerged as a framework to solve sequential planning and decision-making proble...
111
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...