Sciweavers

8337 search results - page 1462 / 1668
» Reasoning With Characteristic Models
Sort
View
SIGECOM
2006
ACM
88views ECommerce» more  SIGECOM 2006»
15 years 11 months ago
Implementation with a bounded action space
While traditional mechanism design typically assumes isomorphism between the agents’ type- and action spaces, in many situations the agents face strict restrictions on their act...
Liad Blumrosen, Michal Feldman
156
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
Using AOP to Monitor and Administer Software for Grid Computing Environments
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
Mark Grechanik, Dewayne E. Perry, Don S. Batory
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
15 years 10 months ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham
134
Voted
DFT
2005
IEEE
88views VLSI» more  DFT 2005»
15 years 10 months ago
Efficient Exact Spare Allocation via Boolean Satisfiability
Fabricating large memory and processor arrays is subject to physical failures resulting in yield degradation. The strategy of incorporating spare rows and columns to obtain reason...
Fang Yu, Chung-Hung Tsai, Yao-Wen Huang, D. T. Lee...
176
Voted
DSN
2005
IEEE
15 years 10 months ago
TIBFIT: Trust Index Based Fault Tolerance for Arbitrary Data Faults in Sensor Networks
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
Mark D. Krasniewski, Padma Varadharajan, Bryan Rab...
« Prev « First page 1462 / 1668 Last » Next »