Sciweavers

950 search results - page 9 / 190
» Constraint Based Resilience Analysis
Sort
View
117
Voted
CORR
2004
Springer
151views Education» more  CORR 2004»
15 years 3 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
132
Voted
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 8 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
138
Voted
ACL
2009
15 years 1 months ago
Coordinate Structure Analysis with Global Structural Constraints and Alignment-Based Local Features
We propose a hybrid approach to coordinate structure analysis that combines a simple grammar to ensure consistent global structure of coordinations in a sentence, and features bas...
Kazuo Hara, Masashi Shimbo, Hideharu Okuma, Yuji M...
117
Voted
PPDP
2001
Springer
15 years 8 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo