877 search results - page 17 / 176 » Structural Cut Elimination |
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
A novel interactive segmentation framework comprising of a two stage s-t mincut is proposed. The framework has been designed keeping in mind the need to segment touching neuronal ...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
CNIS
2006
13 years 9 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
These days, billions of Web pages are created with HTML or other markup languages. They only have a few uniform structures and contain various authoring styles compared to traditi...
CADE
2001
Springer
14 years 7 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...