1146 search results - page 140 / 230 » Formal Specification Generation from Requirement Documents |
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
For an online handwriting recognition system equipped with a writer-independent classifier to progressively improve the recognition performance for a specific writer with an incre...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
ATAL
2004
Springer
15 years 1 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
114
click to vote
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...