Sciweavers

2805 search results - page 235 / 561
» Collecting More Garbage
Sort
View
ACTA
2005
92views more  ACTA 2005»
15 years 6 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
IJWIS
2007
117views more  IJWIS 2007»
15 years 6 months ago
Patterns and transitions of query reformulation during web searching
— Purpose: To investigate and identify the patterns of interaction between searchers and search engine during Web searching. Design: We examined 2,465,145 interactions from 534,5...
Bernard J. Jansen, Mimi Zhang, Amanda Spink
149
Voted
INTR
2007
79views more  INTR 2007»
15 years 6 months ago
Is global IPv6 deployment on track?
— IPv6 has been the subject of a significant amount of research work in the networking field for more than a decade. The main aim of this paper is to discuss the current status o...
Mónica Domingues, Carlos Friaças, Pe...
TITS
2008
250views more  TITS 2008»
15 years 6 months ago
Learning, Modeling, and Classification of Vehicle Track Patterns from Live Video
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
Brendan Tran Morris, Mohan M. Trivedi
JCSS
2007
116views more  JCSS 2007»
15 years 6 months ago
The most probable annotation problem in HMMs and its application to bioinformatics
Hidden Markov models (HMMs) are often used for biological sequence annotation. Each sequence feature is represented by a collection of states with the same label. In annotating a ...
Brona Brejová, Daniel G. Brown 0001, Tom&aa...