Sciweavers

1709 search results - page 216 / 342
» Precise Modeling of Design Patterns
Sort
View
111
Voted
GMP
2006
IEEE
121views Solid Modeling» more  GMP 2006»
15 years 8 months ago
Preserving Form-Features in Interactive Mesh Deformation
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
Hiroshi Masuda, Yasuhiro Yoshioka, Yoshiyuki Furuk...
ICLP
1995
Springer
15 years 5 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
121
Voted
ESEM
2007
ACM
15 years 3 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
SIGCOMM
2010
ACM
15 years 2 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
CSL
2010
Springer
15 years 1 months ago
Evaluation of a hierarchical reinforcement learning spoken dialogue system
We describe an evaluation of spoken dialogue strategies designed using hierarchical reinforcement learning agents. The dialogue strategies were learnt in a simulated environment a...
Heriberto Cuayáhuitl, Steve Renals, Oliver ...