Sciweavers

5684 search results - page 650 / 1137
» Computing with active dendrites
Sort
View
ASM
2010
ASM
16 years 4 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
WWW
2010
ACM
16 years 2 months ago
The social honeypot project: protecting online communities from spammers
We present the conceptual framework of the Social Honeypot Project for uncovering social spammers who target online communities and initial empirical results from Twitter and MySp...
Kyumin Lee, James Caverlee, Steve Webb
AVSS
2009
IEEE
16 years 1 months ago
Context-Based Reasoning Using Ontologies to Adapt Visual Tracking in Surveillance
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
Juan Gómez-Romero, Miguel A. Patricio, Jes&...
PERCOM
2009
ACM
16 years 1 months ago
Tracking and Annotation in Skills-Based Learning Environments
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
Mark J. Weal, Danius T. Michaelides, Kevin R. Page...
PADS
2009
ACM
16 years 1 months ago
GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios
A methodology and its associated algorithms are presented for mapping a novel, field-based vehicular mobility model onto graphical processing unit computational platform for simul...
Kalyan S. Perumalla, Brandon G. Aaby, Srikanth B. ...