Sciweavers

3057 search results - page 275 / 612
» Complexity management
Sort
View
AIME
2007
Springer
15 years 11 months ago
Knowledge-Based Modeling and Simulation of Diseases with Highly Differentiated Clinical Manifestations
This paper presents the cognitive model of gastroesophageal reflux disease (GERD) developed for the Maryland Virtual Patient simulation and mentoring environment. GERD represents a...
Marjorie McShane, Sergei Nirenburg, Stephen Beale,...
RR
2007
Springer
15 years 11 months ago
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
Yimin Wang, Jie Bao, Peter Haase, Guilin Qi
GLOBECOM
2006
IEEE
15 years 11 months ago
An Iterative QR-SIC Receiver for Concatenated Space Frequency Coding Schemes in Severe Multipath Channels
Abstract—This paper studies an efficient receiver design for concatenated space-frequency coded orthogonal frequency division multiplexing (OFDM) systems under severe multipath c...
Tung X. Lai, Siva D. Muruganathan, Abu B. Sesay
155
Voted
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 10 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
MSR
2005
ACM
15 years 10 months ago
When do changes induce fixes?
As a software system evolves, programmers make changes that sometimes cause problems. We analyze CVS archives for fix-inducing changes—changes that lead to problems, indicated ...
Jacek Sliwerski, Thomas Zimmermann, Andreas Zeller