Sciweavers

3819 search results - page 633 / 764
» An Outsourcing Model of Software Development
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
14 years 9 days 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»
14 years 9 days 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
14 years 6 days 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
155views Education» more  LREC 2010»
14 years 6 days 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
OWLED
2007
14 years 5 days ago
Ontology-Based Management of the Telehealth Smart Home, Dedicated to Elderly in Loss of Cognitive Autonomy
Taking care of an elderly in loss of cognitive autonomy is a challenging task. Artificial agents, such as the Telehealth Smart Home (TSH) system can facilitate that task. However,...
Fatiha Latfi, Bernard Lefebvre, Céline Desc...