Sciweavers

3116 search results - page 270 / 624
» Positively dependent types
Sort
View
COMPLEXITY
2004
81views more  COMPLEXITY 2004»
15 years 6 months ago
External and internal control in plant development
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...
Beáta Oborny
CORR
2002
Springer
175views Education» more  CORR 2002»
15 years 6 months ago
A continuation semantics of interrogatives that accounts for Baker's ambiguity
Wh-phrases in English have two important properties: first, they can appear both raised and in-situ; second, while in-situ wh-phrases can take semantic scope beyond the immediately...
Chung-chieh Shan
JCS
1998
338views more  JCS 1998»
15 years 6 months ago
Intrusion Detection Using Sequences of System Calls
A method is introducted for detecting intrusions at the level of privileged processes. Evidence is given that short sequences of system calls executed by running processes are a g...
Steven A. Hofmeyr, Stephanie Forrest, Anil Somayaj...
TOG
2008
120views more  TOG 2008»
15 years 6 months ago
Shading-based surface editing
We present a system for free-form surface modeling that allows a user to modify a shape by changing its rendered, shaded image using stroke-based drawing tools. User input is tran...
Yotam I. Gingold, Denis Zorin
ICWSM
2010
15 years 5 months ago
Faceplant: Impression (Mis)management in Facebook Status Updates
While recent research examined the impressions projected by users of Social Network Sites through their relatively static online profiles, the addition of status updates to Facebo...
Vladimir Barash, Nicolas Ducheneaut, Ellen Isaacs,...