Sciweavers

COLING
2010
12 years 11 months ago
Investigating the cross-linguistic potential of VerbNet-style classification
Verb classes which integrate a wide range of linguistic properties (Levin, 1993) have proved useful for natural language processing (NLP) applications. However, the real-world use...
Lin Sun, Thierry Poibeau, Anna Korhonen, Cé...
ICC
2009
IEEE
125views Communications» more  ICC 2009»
13 years 2 months ago
HMM-Web: A Framework for the Detection of Attacks Against Web Applications
Nowadays, the web-based architecture is the most frequently used for a wide range of internet services, as it allows to easily access and manage information and software on remote ...
Igino Corona, Davide Ariu, Giorgio Giacinto
ICES
2010
Springer
178views Hardware» more  ICES 2010»
13 years 2 months ago
EvoFab: A Fully Embodied Evolutionary Fabricator
Abstract. Few evolved designs are subsequently manufactured into physical objects
John Rieffel, Dave Sayles
IJRR
2010
186views more  IJRR 2010»
13 years 2 months ago
The Highly Adaptive SDM Hand: Design and Performance Evaluation
The inherent uncertainty associated with unstructured environments makes establishing a successful grasp difficult. Traditional approaches to this problem involve hands that are c...
Aaron M. Dollar, Robert D. Howe
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 2 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ICRA
2010
IEEE
117views Robotics» more  ICRA 2010»
13 years 2 months ago
Data-driven optimization for underactuated robotic hands
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...
Matei T. Ciocarlie, Peter K. Allen
JSC
2006
85views more  JSC 2006»
13 years 4 months ago
SumCracker: A package for manipulating symbolic sums and related objects
We describe a new software package, named SumCracker, for proving and finding identities involving symbolic sums and related objects. SumCracker is applicable to a wide range of e...
Manuel Kauers
JSW
2008
145views more  JSW 2008»
13 years 4 months ago
Analysis and Visualization of Gene Expressions and Protein Structures
This paper describes a web-based interactive framework for the analysis and visualization of gene expressions and protein structures. The formulation of the proposed framework was ...
Ashraf S. Hussein
IJCV
2006
299views more  IJCV 2006»
13 years 4 months ago
Graph Cuts and Efficient N-D Image Segmentation
Combinatorial graph cut algorithms have been successfully applied to a wide range of problems in vision and graphics. This paper focusses on possibly the simplest application of gr...
Yuri Boykov, Gareth Funka-Lea
AMC
2006
72views more  AMC 2006»
13 years 4 months ago
The many forms of hypercomputation
This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess.
Toby Ord