2302 search results - page 255 / 461 » Testing as Abstraction |
142
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Dialogue interaction between customers and products improves presentation of relevant product information in in-store shopping situations. Thus, information needs of cust...
186
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
189
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
164
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. In this paper different interaction schemes which are currently implemented by major automotive manufacturers have been identified and analyzed. Complete overviews on all...
202
click to vote
HCI
2009
15 years 4 months ago
2009
Abstract. In this paper, we focus on ICTs for young people attending occupational rehabilitation and training. An important goal is to develop ICTs that decrease the need for readi...