1288 search results - page 43 / 258 » Integrating formal models into the programming languages cou... |
INFORMS
1998
13 years 8 months ago
1998
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
Recent “visual worlds” studies, wherein researchers study language in context by monitoring eye-movements in a visual scene during sentence processing, have revealed much about...
HYBRID
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
HRI
2007
ACM
14 years 26 days ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
DAGSTUHL
1993
13 years 10 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...