Sciweavers

6192 search results - page 247 / 1239
» Structure benefits all
Sort
View
111
Voted
SIGIR
2008
ACM
15 years 4 months ago
XML-aided phrase indexing for hypertext documents
We combine techniques of XML Mining and Text Mining for the benefit of Information Retrieval. By manipulating the word sequence according to the XML structure of the marked-up tex...
Miro Lehtonen, Antoine Doucet
149
Voted
TCS
2008
15 years 4 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
CCR
2002
85views more  CCR 2002»
15 years 4 months ago
The influence of ATM on operating systems
The features of ATM offered many attractions to the application community, such as fine-grained multiplexing and high-throughput links. These created considerable challenges for t...
Jonathan M. Smith
TOG
2002
170views more  TOG 2002»
15 years 4 months ago
Cut-and-paste editing of multiresolution surfaces
Cutting and pasting to combine different elements into a common structure are widely used operations that have been successfully adapted to many media types. Surface design could ...
Henning Biermann, Ioana M. Martin, Fausto Bernardi...
IPPS
2010
IEEE
15 years 2 months ago
Static macro data flow: Compiling global control into local control
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
Pritish Jetley, Laxmikant V. Kalé