209 search results - page 2 / 42 » Logic and refinement for charts |
FSTTCS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
INLG
2010
Springer
13 years 3 months ago
2010
Springer
The generation of referring expressions (GRE), an important subtask of Natural Language Generation (NLG) is to generate phrases that uniquely identify domain entities. Until recen...
JSS
2010
13 years 3 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents our work on automatically locating charts from document pages, which is an important stage in the chart image recognition and understanding system being develo...
EUSFLAT
2007
13 years 6 months ago
2007
Agriculture in Russia has some specifics such as large distribution, inclement climate and big market competition. Appearing of resources-economy, precision and management technol...