589 search results - page 19 / 118 » Toward General Analysis of Recursive Probability Models |
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
ALT
2005
Springer
14 years 4 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
ISIPTA
1999
IEEE
13 years 11 months ago
1999
IEEE
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...
SCVMA
2004
Springer
14 years 26 days ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
HAPTICS
2006
IEEE
14 years 1 months ago
2006
IEEE
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...