Sciweavers

757 search results - page 123 / 152
» Recognition Performance of a Structured Language Model
Sort
View
PLDI
2006
ACM
14 years 1 months ago
LOCKSMITH: context-sensitive correlation analysis for race detection
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
Polyvios Pratikakis, Jeffrey S. Foster, Michael W....
EIT
2008
IEEE
14 years 2 months ago
Taming XML: Objects first, then markup
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
Matt Bone, Peter F. Nabicht, Konstantin Läufe...
ISCAS
2006
IEEE
146views Hardware» more  ISCAS 2006»
14 years 1 months ago
XML-based customization along the scalability axes of H.264/AVC scalable video coding
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
Davy De Schrijver, Wesley De Neve, Koen De Wolf, S...
SCP
2010
155views more  SCP 2010»
13 years 6 months ago
Type inference and strong static type checking for Promela
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
Alastair F. Donaldson, Simon J. Gay
SSPR
1998
Springer
13 years 12 months ago
Semantic Content Based Image Retrieval Using Object-Process Diagrams
Abstract. The increase in accessability to on-line visual data has promoted the interest in browsing and retrieval of images from Image Databases. Current approaches assume either ...
Dov Dori, Hagit Zabrodsky Hel-Or