Sciweavers

2385 search results - page 273 / 477
» Knowledge Refinement for a Design System
Sort
View
150
Voted
CHI
2011
ACM
14 years 7 months ago
Proxemic interactions in ubiquitous computing ecologies
An important challenge in ubiquitous computing (ubicomp) is to create techniques that allow people to seamlessly and naturally connect to and interact with the increasing number o...
Nicolai Marquardt
135
Voted
CLEF
2007
Springer
15 years 10 months ago
TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing
This paper describes our experiments on the Geographical Query Parsing pilot-task for English at GeoCLEF 2007. Our system uses some modules of a Geographical Information Retrieval...
Daniel Ferrés, Horacio Rodríguez
121
Voted
FSKD
2007
Springer
277views Fuzzy Logic» more  FSKD 2007»
15 years 10 months ago
Autonomous Robot Control Using Evidential Reasoning
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
Qingxiang Wu, David A. Bell, Rashid Hafeez Khokhar...
123
Voted
CSFW
2006
IEEE
15 years 9 months ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
VALUETOOLS
2006
ACM
236views Hardware» more  VALUETOOLS 2006»
15 years 9 months ago
The DISCO network calculator: a toolbox for worst case analysis
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
Jens B. Schmitt, Frank A. Zdarsky