5630 search results - page 108 / 1126 » Computability in Specification |
133
click to vote
HCI
2007
15 years 5 months ago
2007
We survey recent research in which the impact of an embodied conversational agent on human-computer interaction has been assessed through a human evaluation. In some cases, the eva...
127
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
FLAIM (Framework for Log Anonymization and Information Management) addresses two important needs not well addressed by current log anonymizers. First, it is extremely modular and ...
112
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper discusses numerical experiments of wave front propagation on a flat disk and related results. In particular, notions of extremal rays and wave front caustics are introd...
160
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
150
Voted
BMCBI
2006
15 years 4 months ago
2006
Background: Many vital biological processes, including transcription and splicing, require a combination of short, degenerate sequence patterns, or motifs, adjacent to defined seq...