Sciweavers

2673 search results - page 170 / 535
» Guided Static Analysis
Sort
View
HICSS
2005
IEEE
134views Biometrics» more  HICSS 2005»
15 years 10 months ago
An Approach for Intent Identification by Building on Deception Detection
Past research in deception detection at the University of Arizona has guided the investigation of intent detection. A theoretical foundation and model for the analysis of intent d...
Judee K. Burgoon, Mark Adkins, John Kruse, Matthew...
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 9 months ago
The Planet Method for Designing Relationships in B2B E-commerce
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...
Alistair G. Sutcliffe, Norma Lammont
PVLDB
2010
105views more  PVLDB 2010»
15 years 2 months ago
Destabilizers and Independence of XML Updates
Independence analysis is the problem of determining whether an update affects the result of a query, e.g. a constraint or materialized view. We develop a new, modular framework fo...
Michael Benedikt, James Cheney
VISSYM
2007
15 years 6 months ago
Flexible And Topologically Localized Segmentation
One of the most common visualization tasks is the extraction of significant boundaries, often performed with isosurfaces or level set segmentation. Isosurface extraction is simple...
Gunnar Johansson, Ken Museth, Hamish Carr
124
Voted
SAS
2007
Springer
15 years 10 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula