3812 search results - page 76 / 763 » Combinations of TRAP Based Systems |
100
click to vote
CAV
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
ECIS
2000
14 years 11 months ago
2000
- This paper illustrates how internet-based learning information systems can be used to reengineer undergraduate teaching in the age of mass higher education. We describe current p...
WSC
2000
14 years 11 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The (neo-)evolutionary model of a Triple Helix of University-Industry-Government Relations focuses on the overlay of expectations, communications, and interactions that potentiall...
BPSC
2009
14 years 7 months ago
2009
: Reliable, cost-efficient, and fast medical diagnosis is still a challenge in today's world. This paper presents a medical diagnosis system that combines the advantages of mu...