Sciweavers

916 search results - page 145 / 184
» Activity Theory for the Analysis and Design of Multi-agent S...
Sort
View
MVA
2000
234views Computer Vision» more  MVA 2000»
13 years 8 months ago
An automatic assessment scheme for steel quality inspection
This paper presents an automatic system for steel quality assessment, by measuring textural properties of carbide distributions. In current steel inspection, specially etched and p...
Klaus Wiltschi, Axel Pinz, Tony Lindeberg
ADBIS
1995
Springer
155views Database» more  ADBIS 1995»
14 years 19 days ago
The MaStA I/O Cost Model and its Validation Strategy
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
S. Scheuerl, Richard C. H. Connor, Ronald Morrison...
JCDL
2011
ACM
272views Education» more  JCDL 2011»
12 years 12 months ago
CollabSeer: a search engine for collaboration discovery
Collaborative research has been increasingly popular and important in academic circles. However, there is no open platform available for scholars or scientists to effectively dis...
Hung-Hsuan Chen, Liang Gou, Xiaolong Zhang, Clyde ...
BCSHCI
2007
13 years 10 months ago
Docile avatars: aesthetics, experience, and sexual interaction in Second Life
Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics ...
Shaowen Bardzell, Jeffrey Bardzell
STTT
2010
122views more  STTT 2010»
13 years 7 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...