Sciweavers

1054 search results - page 69 / 211
» Determining Computing Science's Role
Sort
View
CHI
2009
ACM
16 years 12 days ago
The reign of catz & dogz at CHI 2009
tendees. Extended abstracts ranging from three to four pages in length can be submitted on any relevant topic. Papers will be accepted based on the quality of research and potentia...
Shaun Lawson, Thomas Chesney
CHI
2008
ACM
16 years 7 days ago
"Seeing like a rover": embodied experience on the mars exploration rover mission
Although they work with two non-humanoid robots located several million miles away, the distributed team that operates the Mars Exploration Rovers demonstrates an uncanny sympathy...
Janet Vertesi
BIRTHDAY
2005
Springer
15 years 5 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
CONCUR
2000
Springer
15 years 4 months ago
Typed Mobile Objects
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
JUCS
2010
151views more  JUCS 2010»
14 years 6 months ago
A Semantic Wiki Framework for Reconciling Conflict Collaborations Based on Selecting Consensus Choice
: Semantic wikis have been regarded as an important collaboration tool among a number of experts from multiple domains. This wiki platform can play a role of collaborative knowledg...
Dosam Hwang, Ngoc Thanh Nguyen, Jason J. Jung, Abo...