Sciweavers

5722 search results - page 320 / 1145
» Security Function Interactions
Sort
View
127
Voted
TAPSOFT
1993
Springer
15 years 7 months ago
Optimal Reductions in Interaction Systems
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
Andrea Asperti, Cosimo Laneve
119
Voted
AICCSA
2001
IEEE
83views Hardware» more  AICCSA 2001»
15 years 7 months ago
A Measure for Component Interaction Test Coverage
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
Alan W. Williams, Robert L. Probert
133
Voted
ACISICIS
2010
IEEE
15 years 5 months ago
User-Model-Based Evaluation for Interactive Image Retrieval
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
Masashi Inoue, Manh Hong Nguyen
125
Voted
AAAI
2010
15 years 5 months ago
Interactive Learning Using Manifold Geometry
We present an interactive learning method that enables a user to iteratively refine a regression model. The user examines the output of the model, visualized as the vertical axis ...
Eric Eaton, Gary Holness, Daniel McFarlane
110
Voted
IVEVA
2004
15 years 4 months ago
Development of an API to Create Interactive Storytelling Systems
Abstract. Interactive storytelling (IS) is an incipient field that has not been completely formalized yet. There is still a significant amount of research to be done. Especially re...
Enrique Larios, Jesus Savage, José Larios, ...