Sciweavers

2649 search results - page 462 / 530
» Argumentation for Decision Support
Sort
View
CCS
2010
ACM
13 years 9 months ago
Protecting location privacy against inference attacks
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
Kazuhiro Minami, Nikita Borisov
IGPL
2010
97views more  IGPL 2010»
13 years 8 months ago
A symbolic/subsymbolic interface protocol for cognitive modeling
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
Patrick Simen, Thad A. Polk
ITP
2010
172views Mathematics» more  ITP 2010»
13 years 8 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
JOI
2010
76views more  JOI 2010»
13 years 8 months ago
q2-Index: Quantitative and qualitative evaluation based on the number and impact of papers in the Hirsch core
Bibliometric studies at the micro level are increasingly requested by science managers and policy makers to support research decisions. Different measures and indices have been d...
Francisco Javier Cabrerizo, Sergio Alonso, Enrique...
KBSE
2010
IEEE
13 years 8 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo