Sciweavers

1487 search results - page 26 / 298
» Two Kinds of Metonymy
Sort
View
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 7 months ago
Simple Cellular Automata-Based Linear Models for the Shrinking Generator
- Structural properties of two well-known families of keystream generators, Shrinking Generators and Cellular Automata, have been analyzed. Emphasis is on the equivalenceof the bin...
Amparo Fúster-Sabater, Dolores de la Gu&iac...
GAMEON
2009
13 years 5 months ago
Rendering Water and Land Interaction using a Spring System
This paper describes a spring-based model for the interaction of water and land, which reconciles realism and fast rendering. The system controls the motion and interdependences o...
Yifan Sui, Andrew Davison
POPL
2006
ACM
14 years 7 months ago
Hybrid type checking
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
Cormac Flanagan
ICIAP
2005
ACM
14 years 7 months ago
Learning Intrusion Detection: Supervised or Unsupervised?
Abstract. Application and development of specialized machine learning techniques is gaining increasing attention in the intrusion detection community. A variety of learning techniq...
Pavel Laskov, Patrick Düssel, Christin Sch&au...
HICSS
2009
IEEE
92views Biometrics» more  HICSS 2009»
14 years 2 months ago
Task Behaviors During Web Search: The Difficulty of Assigning Labels
By examining searcher behavior on a large search engine, we have identified seven basic kinds of task behaviors that can be observed in web search session logs. In the studies rep...
Daniel M. Russell, Diane Tang, Melanie Kellar, Rob...