1578 search results - page 116 / 316 » Induction of Stable Models |
HYBRID
2009
Springer
14 years 1 months ago
2009
Springer
A 3D biped with knees and a hip is naturally modeled as a nontrivial hybrid system; impacts occur when the knee strikes and when the foot impacts the ground causing a switch in the...
AUSAI
2009
Springer
14 years 4 months ago
2009
Springer
The minimum message length (MML) principle for inductive inference has been successfully applied to image segmentation where the images are modelled by Markov random fields (MRF)....
BIRTHDAY
2007
Springer
14 years 4 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
TPHOL
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
ISPD
1998
ACM
14 years 2 months ago
1998
ACM
Performance-driven physical design is becoming more important as advances in IC technologies enable gigahertz operating frequencies. These same IC technologies, however, exhibit d...