1623 search results - page 287 / 325 » No Sorting |
105
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
98
Voted
IVA
2005
Springer
15 years 6 months ago
2005
Springer
If intelligent virtual agents are to become widely adopted it is vital that they can be designed using the user friendly graphical tools that are used in other areas of graphics. H...
129
Voted
SAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
103
Voted
JCDL
2004
ACM
15 years 6 months ago
2004
ACM
As part of a more extensive study of reading-related practices, we have explored how people share information they encounter in their everyday reading as a complement to the more ...
83
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
Bio-Fi is a collection of art projects undertaken by S.W.A.M.P. (Studies of Work Atmospheres and Mass Production), collaborative art projects by Douglas Easterly and Matt Kenyon. ...