6757 search results - page 805 / 1352 » Knowledge Analysis on Process Models |
203
click to vote
NAACL
2010
15 years 4 months ago
2010
State-of-the-art Machine Translation (MT) systems are still far from being perfect. An alternative is the so-called Interactive Machine Translation (IMT) framework. In this framew...
168
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
165
click to vote
FIRSTMONDAY
2007
2007
Scholarly publishing in sub-Saharan Africa in the twenty-first century: Challenges and opportunities
15 years 6 months ago
A free flow of ideas and information is vital to the process of scientific inquiry, and in turn to the ability to address economic, environmental and social development issues bot...
165
Voted
RE
2007
Springer
16 years 15 days ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
168
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...