2702 search results - page 194 / 541 » Practically Applicable Formal Methods |
79
Voted
3DIM
2005
IEEE
15 years 28 days ago
2005
IEEE
We give a formal definition of geometric fitting in a way that suits computer vision applications. We point out that the performance of geometric fitting should be evaluated in...
80
Voted
CORR
2004
Springer
14 years 10 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
76
Voted
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
95
Voted
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
—Students are difficult to get an effective way to master essential knowledge of J2EE course because they are lack programming experiments and teaching content is too much. In th...
79
Voted
JELIA
2004
Springer
15 years 4 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...