Sciweavers

8266 search results - page 234 / 1654
» Information About the Journal
Sort
View
COSIT
2005
Springer
95views GIS» more  COSIT 2005»
16 years 3 days ago
Simulation of Obfuscation and Negotiation for Location Privacy
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
Matt Duckham, Lars Kulik
C5
2010
IEEE
15 years 11 months ago
CodeTalk
—Contemporary development environments do not directly and explicitly support developers in having a conversation about the code they write and maintain. This problem is aggravat...
Bastian Steinert, Marcel Taeumel, Jens Lincke, Tob...
COLING
2000
15 years 8 months ago
Japanese Dependency Analysis using a Deterministic Finite State Transducer
A deterministic finite state transducer is a fast device for analyzing strings. It takes O(n) time to analyze a string of length n. In this paper, an application of this technique...
Satoshi Sekine
UIST
2009
ACM
16 years 1 months ago
Collabio: a game for annotating people within social networks
We present Collabio, a social tagging game within an online social network that encourages friends to tag one another. Collabio’s approach of incentivizing members of the social...
Michael Bernstein, Desney S. Tan, Greg Smith, Mary...
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 11 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...