Sciweavers

869 search results - page 126 / 174
» Effective Use of Place Information for Event Tracking
Sort
View
FAC
2000
114views more  FAC 2000»
15 years 5 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
SIGCSE
2008
ACM
131views Education» more  SIGCSE 2008»
15 years 5 months ago
Compiler error messages: what can help novices?
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
Marie-Hélène Nienaltowski, Michela P...
WSDM
2010
ACM
172views Data Mining» more  WSDM 2010»
16 years 3 months ago
Early Online Identification of Attention Gathering Items In Social Media
Activity in social media such as blogs, micro-blogs, social networks, etc is manifested via interaction that involves text, images, links and other information items. Naturally, s...
Michael Mathioudakis, Nick Koudas, Peter Marbach
SIGECOM
2008
ACM
144views ECommerce» more  SIGECOM 2008»
15 years 5 months ago
Incentives for expressing opinions in online polls
Prediction markets efficiently extract and aggregate the private information held by individuals about events and facts that can be publicly verified. However, facts such as the e...
Radu Jurca, Boi Faltings
IPCCC
2006
IEEE
16 years 17 hour ago
Incorruptible system self-cleansing for intrusion tolerance
 Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The problem stems in large part from the constant innovation and evolu...
Yih Huang, David Arsenault, Arun Sood