981 search results - page 27 / 197 » Spatio-temporal Models and Languages: An Approach Based on D... |
APSEC
1999
IEEE
14 years 25 days ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
ICASSP
2011
IEEE
13 years 7 days ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
ADBIS
2007
Springer
2007
Springer
Clustering Approach to Generalized Pattern Identification Based on Multi-instanced Objects with DARA
14 years 2 months ago
Clustering is an essential data mining task with various types of applications. Traditional clustering algorithms are based on a vector space model representation. A relational dat...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
In the current project, we aim at developing an approach for automatically answering why-questions. We created a data collection for research, development and evaluation of a meth...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...