1754 search results - page 171 / 351 » What's new in informatics |
KDD
2001
ACM
14 years 9 months ago
2001
ACM
We focus on the problem of finding patterns across two large, multidimensional datasets. For example, given feature vectors of healthy and of non-healthy patients, we want to answ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Recently, several innovative tools have found their way into mainstream use in modern development environments. However, most of these tools have focused on creating and modifying...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
PERCOM
2006
ACM
14 years 8 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
Web Science studies the interpay between web technology and the human behaviour it induces at the micro, meso and macro level. extended abstract we examine Web Science research iss...