Sciweavers

9974 search results - page 1668 / 1995
» Software Interconnection Models
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
FPGA
2008
ACM
133views FPGA» more  FPGA 2008»
15 years 8 months ago
Vector processing as a soft-core CPU accelerator
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
Jason Yu, Guy Lemieux, Christopher Eagleston
DAGSTUHL
2010
15 years 8 months ago
Computing an Optimal Layout for Cone Trees
Many visual representations for trees have been developed in information and software visualization. One of them are cone trees, a well-known three-dimensional representation for ...
Dirk Zeckzer, Fang Chen, Hans Hagen
LREC
2010
143views Education» more  LREC 2010»
15 years 8 months ago
A Flexible Representation of Heterogeneous Annotation Data
This paper describes a new flexible representation for the annotation of complex structures of metadata over heterogeneous data collections containing text and other types of medi...
Richard Johansson, Alessandro Moschitti
LREC
2010
155views Education» more  LREC 2010»
15 years 8 months ago
A Named Entity Labeler for German: Exploiting Wikipedia and Distributional Clusters
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...
Grzegorz Chrupala, Dietrich Klakow
« Prev « First page 1668 / 1995 Last » Next »