Sciweavers

3206 search results - page 435 / 642
» How minds can be computational systems
Sort
View
DSRT
2006
IEEE
16 years 18 days ago
Grid-enabling FIRST: Speeding Up Simulation Applications Using WinGrid
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...
Navonil Mustafee, Anders Alstad, Bjorn Larsen, Sim...
NSDI
2010
15 years 8 months ago
Reverse traceroute
Traceroute is the most widely used Internet diagnostic tool today. Network operators use it to help identify routing failures, poor performance, and router misconfigurations. Rese...
Ethan Katz-Bassett, Harsha V. Madhyastha, Vijay Ku...
SIGMOD
2012
ACM
288views Database» more  SIGMOD 2012»
13 years 9 months ago
Exploiting MapReduce-based similarity joins
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
Yasin N. Silva, Jason M. Reed
IROS
2009
IEEE
148views Robotics» more  IROS 2009»
16 years 1 months ago
On the error analysis of vertical line pair-based monocular visual odometry in urban area
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
Ji Zhang, Dezhen Song
LICS
2008
IEEE
16 years 28 days ago
Nonlocal Flow of Control and Kleene Algebra with Tests
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
Dexter Kozen