2586 search results - page 306 / 518 » Automatic Abstraction for Congruences |
184
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
170
click to vote
CLEAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract Meeting transcription is one of the main tasks for large vocabulary automatic speech recognition (ASR) and is supported by several large international projects in the area...
215
Voted
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
210
click to vote
ISQED
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...
192
Voted
CAISE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...