3342 search results - page 237 / 669 » Automating Abstract Interpretation |
158
Voted
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
216
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...
132
Voted
WILF
2005
Springer
15 years 9 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...
130
Voted
EWCBR
2004
Springer
15 years 9 months ago
2004
Springer
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
114
Voted
HUC
2004
Springer
15 years 9 months ago
2004
Springer
We present a study of people’s use of positional information as part of a collaborative location-based game. The game exploits self-reported positioning in which mobile players m...