9110 search results - page 342 / 1822 » Formally-Based Design Evaluation |
140
click to vote
WSC
2008
15 years 9 months ago
2008
The use of simulation as a modeling and analysis tool is wide spread. Simulation is an enabling tool for experimenting virtually on a validated computer environment. Often the und...
165
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
CityFlocks is a mobile system enabling visitors and new residents in a city to tap into the knowledge and experiences of local residents, so as to gather information about their n...
160
click to vote
ICANNGA
2007
Springer
15 years 8 months ago
2007
Springer
Significant improvement over a patented lens design is achieved using multi-objective evolutionary optimization. A comparison of the results obtained from NSGA2 and ε-MOEA is done...
149
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Computing technology is now so entwined with everyday life that enquiries into human computer interaction (HCI) are also studies of society and culture Cultural and Critical theor...
113
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Using map visualisation tools and earth browsers to display images in a spatial context is integral to many photo-sharing sites and commercial image archives, yet little academic r...