Sciweavers

779 search results - page 129 / 156
» Determining Time of Queries for Re-ranking Search Results
Sort
View
BIBM
2007
IEEE
139views Bioinformatics» more  BIBM 2007»
13 years 11 months ago
Automatic Identification of Temporal Sequences in Chewing Sounds
Chewing is an essential part of food intake. The analysis and detection of food patterns is an important component of an automatic dietary monitoring system. However chewing is a t...
Oliver Amft, Martin Kusserow, Gerhard Tröster
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 11 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
IADIS
2003
13 years 8 months ago
Effects of Ordered Access Lists in Firewalls
Firewalls are hardware and software systems that protect a network from attacks coming from the Internet. Packet filtering firewalls are efficient, fast and provide a good level o...
Faheem Bukhatwa, Ahmed Patel
IC
2003
13 years 8 months ago
An Adaptive Hierarchy Management System for Web Caches
A group of web caches can be organized into a cooperative hierarchy where a search for a requested object is performed among the cooperating peer caches before the object request ...
Pranav A. Desai, Jaspal Subhlok
AAAI
1994
13 years 8 months ago
Learning to Select Useful Landmarks
To navigate effectively, an autonomous agent must be able to quickly and accurately determine its current location. Given an initial estimate of its position (perhaps based on dea...
Russell Greiner, Ramana Isukapalli