2409 search results - page 349 / 482 » Logical systems for structured specifications |
134
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
145
click to vote
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
150
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
134
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
126
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...