3828 search results - page 595 / 766 » Proof-Based System Engineering Using a Virtual System Model |
171
click to vote
ISPW
1996
IEEE
15 years 10 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
161
click to vote
SERP
2003
15 years 7 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
144
click to vote
ICDM
2007
IEEE
16 years 14 days ago
2007
IEEE
Many systems in sciences, engineering and nature can be modeled as networks. Examples are internet, metabolic networks and social networks. Network clustering algorithms aimed to ...
173
click to vote
ACL
2008
15 years 7 months ago
2008
In this work, the problem of extracting phrase translation is formulated as an information retrieval process implemented with a log-linear model aiming for a balanced precision an...
147
click to vote
GIR
2008
ACM
15 years 7 months ago
2008
ACM
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...