Sciweavers

24 search results - page 4 / 5
» A Word-Order Database for Testing Computational Models of La...
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 1 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
WSE
2002
IEEE
13 years 10 months ago
Dynamic Model Extraction and Statistical Analysis of Web Applications
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
Paolo Tonella, Filippo Ricca
LAWEB
2003
IEEE
13 years 10 months ago
Storing RDF as a Graph
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
Valerie Bönström, Annika Hinze, Heinz Sc...
VC
2010
168views more  VC 2010»
13 years 5 days ago
From sentence to emotion: a real-time three-dimensional graphics metaphor of emotions extracted from text
This paper presents a novel concept: a graphical representation of human emotion extracted from text sentences. The major contributions of this paper are the following. First, we p...
Stéphane Gobron, Junghyun Ahn, Georgios Pal...
ICPR
2008
IEEE
14 years 6 months ago
Generic scale-space process for handwriting documents analysis
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
Guillaume Joutel, Hubert Emptoz, Véronique ...