2765 search results - page 59 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
285
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
135
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
167
click to vote
MICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
199
click to vote
IUI
2006
ACM
16 years 7 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
168
click to vote
CSLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...