Sciweavers

4245 search results - page 340 / 849
» Input Modeling
Sort
View
CONSTRAINTS
2010
153views more  CONSTRAINTS 2010»
15 years 4 months ago
Philosophy of the MiniZinc challenge
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
Peter J. Stuckey, Ralph Becket, Julien Fischer
DEBS
2008
ACM
15 years 8 months ago
Distributed automatic service composition in large-scale systems
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno J...
IEEEVAST
2010
15 years 1 months ago
A visual analytics approach to model learning
The process of learning models from raw data typically requires a substantial amount of user input during the model initialization phase. We present an assistive visualization sys...
Supriya Garg, I. V. Ramakrishnan, Klaus Mueller
WWW
2002
ACM
16 years 7 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
199
Voted
SMA
2003
ACM
138views Solid Modeling» more  SMA 2003»
16 years 9 days ago
Associativity between feature models across domains
Associativity between feature models implies the automatic updating of different feature models of a part after changes are made in one of its feature models. This is an importan...
S. Subramani, Balan Gurumoorthy