Sciweavers

3679 search results - page 387 / 736
» Hybrid Semantic Analysis
Sort
View
MMAS
2010
Springer
15 years 1 months ago
Sharp Stability Estimates for the Force-Based Quasicontinuum Approximation of Homogeneous Tensile Deformation
The accuracy of atomistic-to-continuum hybrid methods can be guaranteed only for deformations where the lattice configuration is stable for both the atomistic energy and the hybrid...
Matthew Dobson, Mitchell Luskin, Christoph Ortner
SAS
2007
Springer
126views Formal Methods» more  SAS 2007»
16 years 27 days ago
Hierarchical Pointer Analysis for Distributed Programs
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
Amir Kamil, Katherine A. Yelick
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 11 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
DOCENG
2008
ACM
15 years 8 months ago
Identifying and expanding titles in web texts
In this paper, we present an analysis based on linguistic and typographic features that allows for the identification of titles in web documents. We focus in particular on procedu...
Clémentine Adam, Estelle Delpech, Patrick S...
CIC
2004
101views Communications» more  CIC 2004»
15 years 8 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala