4617 search results - page 923 / 924 » Automation of Diagrammatic Reasoning |
199
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
186
click to vote
WWW
2011
ACM
15 years 19 days ago
2011
ACM
The ability to aggregate huge volumes of queries over a large population of users allows search engines to build precise models for a variety of query-assistance features such as ...
198
click to vote
TSE
2010
15 years 11 days ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
189
click to vote
ELECTRONICMARKETS
2011
15 years 2 days ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
299
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
Online multi-participant virtual-world systems have attracted significant interest from the Internet community but are hindered by their inability to efficiently support interacti...