18769 search results - page 286 / 3754 » Requirements Models in Context |
177
click to vote
AH
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we present the system "DAWN" (direction anticipation in web navigation) that helps users to navigate through the world wide web. Firstly, the pur...
180
click to vote
ACL
2008
15 years 8 months ago
2008
This paper describes a computational approach to resolving the true referent of a named mention of a person in the body of an email. A generative model of mention generation is us...
182
click to vote
WOA
2003
15 years 8 months ago
2003
Agents in the Multilayered Multi Agent Situated System (MMASS) model can perform at-a-distance distance communication by field diffusion over the structure of the environment that...
190
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
Pseudoknots are a frequent RNA structure that assumes essential roles for varied biocatalyst cell's functions. One of the most challenging fields in bioinformatics is the pre...
196
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...