1870 search results - page 271 / 374 » Abstract And-Parallel Machines |
115
click to vote
ASM
2008
ASM
14 years 12 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
CRITIS
2007
14 years 11 months ago
2007
Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...
LREC
2010
14 years 11 months ago
2010
Statistical machine translation (SMT) requires a large parallel corpus, which is available only for restricted language pairs and domains. To expand the language pairs and domains...
DAGSTUHL
1998
14 years 11 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
AAAI
1994
14 years 11 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...