4418 search results - page 28 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
146
Voted
AAMAS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
228
Voted
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
The scientific significance of automatic logo detection and recognition is more and more growing because of the increasing requirements of intelligent document image analysis an...
112
Voted
APPINF
2003
15 years 5 months ago
2003
This paper describes eight requirement indicators derived from a mobile work characterisation framework (MWCF). The MWCF is a framework for analysing mobile scenarios (mobile task...
97
Voted
ICEIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Several efficient and very powerful algorithms exist for detecting changes in tree-based textual documents, such as those encoded in XML. An important aspect is still underestimat...
124
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...