1604 search results - page 157 / 321 » Development Separation in Lambda-Calculus |
CHI
2005
ACM
14 years 11 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
The upcoming ACM SIGCHI Development Consortium is aimed at meeting the needs of multidisciplinary professionals that must choose among a variety of professional associations and t...
VLDB
2003
ACM
14 years 11 months ago
2003
ACM
Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in real time. In many emerging applications...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...