1965 search results - page 22 / 393 » On the analysis of interacting pushdown systems |
IBPRIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
HCI
2007
13 years 10 months ago
2007
In implicit human computer interaction, computers are required to understand users’ actions and intentions so as to provide proactive services. Visual processing has to detect an...
CADE
1990
Springer
14 years 21 days ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
CIVR
2008
Springer
13 years 10 months ago
2008
Springer
The problem of search and retrieval of images using relevance feedback has attracted tremendous attention in recent years from the research community. A real-world-deployable inte...
IVS
2008
13 years 8 months ago
2008
Investigative analysts who work with collections of text documents connect embedded threads of evidence in order to formulate hypotheses about plans and activities of potential in...