1146 search results - page 207 / 230 » Formal Specification Generation from Requirement Documents |
104
click to vote
IJMTM
2010
14 years 7 months ago
2010
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
103
click to vote
IPCO
2004
14 years 11 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...
BMCBI
2007
14 years 9 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
102
click to vote
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
126
click to vote
SIGIR
2012
ACM
13 years 3 days ago
2012
ACM
Positional ranking functions, widely used in web search engines, improve result quality by exploiting the positions of the query terms within documents. However, it is well known ...