1965 search results - page 155 / 393 » On the analysis of interacting pushdown systems |
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Interaction with mobile devices that are intended for everyday use is challenging since such systems are continuously optimized towards small outlines. Watches are a particularl...
HUC
2005
Springer
14 years 2 months ago
2005
Springer
The paper reports the results of the first stage of our work on an automatic dietary monitoring system. The work is part of a large European project on using ubiquitous systems to...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...
ECIR
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we describe an extractive method of creating very short summaries or gists that capture the essence of a news story using a linguistic technique called lexical chaini...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Search engine technology plays an important role in Web information retrieval. However, with Internet information explosion, traditional searching techniques cannot provide satisfa...