Sciweavers

2359 search results - page 385 / 472
» Statistical Models of Object Interaction
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 9 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
CANDC
2009
ACM
15 years 9 months ago
Growing and destroying the worth of ideas
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
Ricardo Sosa, John S. Gero, Kyle Jennings
FBIT
2007
IEEE
15 years 9 months ago
Rough Set Based Information Retrieval from Argumentative Data Points in Weblogs
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
Sea Woo Kim, Chin-Wan Chung
142
Voted
LAWEB
2007
IEEE
15 years 9 months ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...
132
Voted
PG
2007
IEEE
15 years 9 months ago
Freeform Image
In this paper we present a technique for image deformation in which the user is given flexible control over what kind of deformation to perform. Freeform image extends available ...
Thomas Schiwietz, Joachim Georgii, Rüdiger We...