284 search results - page 56 / 57 » Quantifying process equivalence based on observed behavior |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
WWW
2002
ACM
14 years 6 months ago
2002
ACM
The organization of HTML into a tag tree structure, which is rendered by browsers as roughly rectangular regions with embedded text and HREF links, greatly helps surfers locate an...
WWW
2010
ACM
14 years 10 days ago
2010
ACM
Today the major web search engines answer queries by showing ten result snippets, which need to be inspected by users for identifying relevant results. In this paper we investigat...
HRI
2006
ACM
13 years 11 months ago
2006
ACM
We present a method of grounded word learning that is powerful enough to learn the meanings of first and second person pronouns. The model uses the understood words in an utteran...
MSWIM
2003
ACM
13 years 10 months ago
2003
ACM
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...