4617 search results - page 923 / 924 » Automation of Diagrammatic Reasoning |
148
click to vote
SIGSOFT
2010
ACM
14 years 11 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...
131
click to vote
WWW
2011
ACM
14 years 8 months 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 ...
146
click to vote
TSE
2010
14 years 8 months 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...
142
click to vote
ELECTRONICMARKETS
2011
14 years 8 months 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...
237
click to vote
GIS
2004
ACM
16 years 2 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...