Sciweavers

4029 search results - page 363 / 806
» Experience with Software Watermarking
Sort
View
IUI
2000
ACM
15 years 11 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
IUI
2000
ACM
15 years 11 months ago
User studies of an interdependency-based interface for acquiring problem-solving knowledge
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
Jihie Kim, Yolanda Gil
SIGSOFT
2000
ACM
15 years 11 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
164
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 11 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
163
Voted
IUI
1999
ACM
15 years 11 months ago
Butterfly: A Conversation-Finding Agent for Internet Relay Chat
The Internet enables groups of people throughout the world to interact to discuss issues, get assistance, learn, and socialize. However, when there are thousands of loosely define...
Neil W. Van Dyke, Henry Lieberman, Pattie Maes