Sciweavers

93 search results - page 12 / 19
» Alternation for Termination
Sort
View
ISCAS
2005
IEEE
95views Hardware» more  ISCAS 2005»
14 years 1 months ago
Area, power, and pin efficient bus transceiver using multi-bit-differential signaling
—This paper describes a new low-power, area and pin efficient alternative to differential encoding for high performance chip-to-chip and backplane signaling. The technique, calle...
Donald M. Chiarulli, Jason D. Bakos, Joel R. Marti...
ROBOCUP
2005
Springer
109views Robotics» more  ROBOCUP 2005»
14 years 29 days ago
Using the Max-Plus Algorithm for Multiagent Decision Making in Coordination Graphs
Abstract. Coordination graphs offer a tractable framework for cooperative multiagent decision making by decomposing the global payoff function into a sum of local terms. Each age...
Jelle R. Kok, Nikos A. Vlassis
HICSS
2003
IEEE
156views Biometrics» more  HICSS 2003»
14 years 23 days ago
Developing Video Services for Mobile Users
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
Mohamed Ahmed, Roger Impey, Ahmed Karmouch
HICSS
2002
IEEE
167views Biometrics» more  HICSS 2002»
14 years 12 days ago
Adoption and Use of Mobile Services: Empirical Evidence from a Finnish Survey
An analysis of a Finnish survey of 1553 respondents between 9-34 years shows that categories of users differ significantly in their use of Internet and mobile services. The five c...
Antti Aarnio, Aki Enkenberg, Jukka Heikkilä, ...
PODC
1994
ACM
13 years 11 months ago
A Checkpoint Protocol for an Entry Consistent Shared Memory System
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
Nuno Neves, Miguel Castro, Paulo Guedes