6153 search results - page 797 / 1231 » Modeling Cyclic Change |
197
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
163
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
A foundational issue underlying many overlay network applications ranging from routing to peer-to-peer file sharing is that of connectivity management, i.e., folding new arrivals ...
177
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
193
click to vote
ACL
2007
15 years 8 months ago
2007
Over the last few years, two of the main research directions in machine learning of natural language processing have been the study of semi-supervised learning algorithms as a way...
161
click to vote
BILDMED
2008
15 years 8 months ago
2008
The exact knowledge of the blood vessel geometry plays an important role, not only in clinical applications (stroke diagnosis, detection of stenosis), but also for detailed analysi...