Sciweavers

341 search results - page 48 / 69
» Identifying Individuals in Video by Combining
Sort
View
CADE
2009
Springer
16 years 6 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
CSCW
2010
ACM
16 years 3 months ago
Social language network analysis
In this note we introduce a new methodology that combines tools from social language processing and network analysis to identify socially situated relationships between individual...
Andrew J. Scholand, Yla R. Tausczik, James W. Penn...
150
Voted
ACSAC
2008
IEEE
16 years 22 days ago
XSSDS: Server-Side Detection of Cross-Site Scripting Attacks
Cross-site Scripting (XSS) has emerged to one of the most prevalent type of security vulnerabilities. While the reason for the vulnerability primarily lies on the serverside, the ...
Martin Johns, Björn Engelmann, Joachim Posegg...
GREC
2007
Springer
16 years 12 days ago
A System to Segment Text and Symbols from Color Maps
Automatic separation of text and symbols from graphics in document image is one of the fundamental aims in graphics recognition. In maps, separation of text and symbols from graphi...
Partha Pratim Roy, Eduard Vazquez, Josep Llad&oacu...
COLCOM
2005
IEEE
15 years 12 months ago
Developing a framework for integrating prior problem solving and knowledge sharing histories of a group to predict future group
Using a combination of machine learning probabilistic tools, we have shown that some chemistry students fail to develop productive problem solving strategies through practice alon...
Ron Stevens, Amy Soller, Alessandra Giordani, Luca...