Sciweavers

5608 search results - page 809 / 1122
» Structure description tools
Sort
View
COMPSAC
2008
IEEE
15 years 8 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ACL
2008
15 years 8 months ago
SIDE: The Summarization Integrated Development Environment
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
Moonyoung Kang, Sourish Chaudhuri, Mahesh Joshi, C...
AAAI
2010
15 years 8 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
APCCM
2007
15 years 8 months ago
A Data Quality Metamodel Extension to CWM
The importance of metadata has been broadly referred in the last years, mainly in the field of data warehousing and decision support systems. Contemporarily, in the adjacent field...
Pedro Gomes, José Farinha, Maria José...
COLING
2008
15 years 8 months ago
Construction of an Infrastructure for Providing Users with Suitable Language Resources
Our research organization has been constructing a large scale database named SHACHI by collecting detailed meta information on language resources (LRs) in Asia and Western countri...
Hitomi Tohyama, Shunsuke Kozawa, Kiyotaka Uchimoto...