Sciweavers

2695 search results - page 400 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
119
Voted
SIAMADS
2010
105views more  SIAMADS 2010»
14 years 10 months ago
Nonlinear Patterns in Urban Crime: Hotspots, Bifurcations, and Suppression
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
Martin B. Short, Andrea L. Bertozzi, P. J. Brantin...
DAIS
2003
15 years 4 months ago
A Flexible Middleware Layer for User-to-User Messaging
Abstract. There is growing trend to unify user-to-user messaging systems to allow message exchange, independent of time, place, protocol, and end-user device. Building gateways to ...
Jan-Mark S. Wams, Maarten van Steen
CVPR
1999
IEEE
16 years 5 months ago
Combining Central and Peripheral Vision for Reactive Robot Navigation
In this paper, we present a new method for vision-based, reactive robot navigation that enables a robot to move in the middle of the free space by exploiting both central and peri...
Antonis A. Argyros, Fredrik Bergholm
DBPL
2001
Springer
167views Database» more  DBPL 2001»
15 years 8 months ago
A Temporal Query Language for OLAP: Implementation and a Case Study
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
Alejandro A. Vaisman, Alberto O. Mendelzon
CODES
2005
IEEE
15 years 9 months ago
Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptor
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
Edgar L. Romero, Marius Strum, Wang Jiang Chau