3435 search results - page 418 / 687 » Aspect Model Unweaving |
200
click to vote
CP
2007
Springer
16 years 24 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...
125
click to vote
ESWS
2007
Springer
16 years 24 days ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
202
click to vote
RSP
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
162
click to vote
HRI
2006
ACM
16 years 18 days ago
2006
ACM
The paper presents an approach to using structural descriptions, obtained through a human-robot tutoring dialogue, as labels for the visual object models a robot learns. The paper...
153
click to vote
NORDICHI
2006
ACM
16 years 17 days ago
2006
ACM
While various models of undo have been proposed over the years, no empirical study has yet been done to discover which model of undo most closely aligns with what users expect an ...