2441 search results - page 397 / 489 » Integrated Medical Analysis System |
136
click to vote
SOCO
2009
Springer
15 years 8 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
142
click to vote
AFRICACRYPT
2010
Springer
15 years 8 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
In this project (VIRSI) we investigate the promising contentbased retrieval paradigm known as interactive search or relevance feedback, and aim to extend it through the use of syn...
104
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Software maintainers routinely have to deal with a multitude of artifacts, like source code or documents, which often end up disconnected, due to their different represen...
166
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated termination proofs of term rewrite systems. Up to now, it was regarded as one of several possible ...