Sciweavers

24554 search results - page 280 / 4911
» Dependable distributed systems
Sort
View
ACL
2011
14 years 10 months ago
Joint Training of Dependency Parsing Filters through Latent Support Vector Machines
Graph-based dependency parsing can be sped up significantly if implausible arcs are eliminated from the search-space before parsing begins. State-of-the-art methods for arc filt...
Colin Cherry, Shane Bergsma
SIES
2007
IEEE
16 years 23 days ago
Architecture and Implementation of an Embedded Wormhole
Abstract— Recent advances in wireless communication technology have opened the way for mobile services and applications. This paper describes ongoing work in the context of the H...
Hugo Ortiz, Antonio Casimiro, Paulo Veríssi...
FM
2006
Springer
113views Formal Methods» more  FM 2006»
15 years 10 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
ATAL
2011
Springer
14 years 6 months ago
Conviviality measures
Conviviality has been introduced as a social science concept for multiagent systems to highlight soft qualitative requirements like user friendliness of systems. In this paper we ...
Patrice Caire, Baptiste Alcalde, Leendert van der ...
ICPR
2006
IEEE
16 years 7 months ago
View Dependent Enhancement of the Dynamic Range of Video
There are many applications for computer vision where a scene observed contains a wide range of brightness. Often, the low dynamic range of a camera limits the accuracy of informa...
Matti Niskanen