6168 search results - page 948 / 1234 » Research methods for HCI |
153
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
183
click to vote
UML
2005
Springer
16 years 5 days ago
2005
Springer
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
168
click to vote
VLDB
2005
ACM
16 years 5 days ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
176
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
The problem of pedestrian injury is a significant one throughout the world. In 2001, there were 4724 pedestrian fatalities in Europe and 4882 in the US. Significant advances have ...
175
click to vote
ACMICEC
2004
ACM
16 years 4 days ago
2004
ACM
Due to the rapid advancement of electronic commerce and web technologies in recent years, the concepts and applications of decision support systems have been significantly extende...