Results 1 - 10
of
2,626
UPPAAL in a Nutshell
, 1997
"... . This paper presents the overall structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, ..."
Abstract
-
Cited by 662 (51 self)
- Add to MetaCart
and verification of real-time systems, based on constraint--solving and on-the-fly techniques, developed jointly by Uppsala University and Aalborg University. It is appropriate for systems that can be modeled as a collection of nondeterministic processes with finite control structure and real-valued clocks
Tor: The secondgeneration onion router,”
- in 13th USENIX Security Symposium. Usenix,
, 2004
"... Abstract We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding perfect forward secrecy, congestion control, directory servers, integrity checking, configurable exit policies, an ..."
Abstract
-
Cited by 1229 (33 self)
- Add to MetaCart
Abstract We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding perfect forward secrecy, congestion control, directory servers, integrity checking, configurable exit policies
Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,
, 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract
-
Cited by 622 (2 self)
- Add to MetaCart
of changes that have been completed. For these reasons, the major value of socio-technical systems theory appears to be its considerable usefulness as a way of thinking about work systems and their redesign. In its present form, it has only limited use in generating new understanding through quantitative
A constraint-based god-object method for haptic display
- In International Conference on Intelligent Robots and Systems
, 1995
"... Haptic display is the process of applying forces to a human \observer " giving the sensation of touching and interacting with real physical objects. Touch is unique among the senses because it allows simultaneous exploration and manipulation of an environment. A haptic display system has three ..."
Abstract
-
Cited by 249 (1 self)
- Add to MetaCart
main components. The rst is the haptic interface, or display device-generally some type of electro-mechanical system able to exert controllable forces on the user with one or more degrees of freedom. The second is the object model- a mathematical representation of the object containing its shape
Reasoning about beliefs and actions under computational resource constraints
- in Proceedings of the 1989 Workshop on Uncertainty and AI
, 1987
"... Although many investigators arm a desire to build reasoning systems that behave consistently with the axiomatic basis dened by probability theory and utility theory, limited resources for engineering and computation can make a complete normative anal-ysis impossible. We attempt to move discussion be ..."
Abstract
-
Cited by 219 (22 self)
- Add to MetaCart
on the application of knowledge about the expected timewise-renement abilities of reasoning strategies to balance the bene ts of additional computation with the costs of acting with a partial result. We dis-cuss the benets of applying decision theory to control the solution of dicult problems given limitations
Case-based Melody generation with MuzaCazUza
"... MuzaCazUza is a system for interactive composition of musical ideas in two phases: first, the program composes a melody by the application of Case-based Reasoning (CBR) techniques, according to a given harmonic line and a set of pre-defined structure; then, a set of transformation operators are avai ..."
Abstract
- Add to MetaCart
MuzaCazUza is a system for interactive composition of musical ideas in two phases: first, the program composes a melody by the application of Case-based Reasoning (CBR) techniques, according to a given harmonic line and a set of pre-defined structure; then, a set of transformation operators
Description-Based Design of Melodies
"... Most current approaches in computer-aided composition (CAC) are based on an explicit construction paradigm: users build musical objects by assembling components using various construction tools. Virtually all technologies developed by computer science and artificial intelligence have been applied to ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Most current approaches in computer-aided composition (CAC) are based on an explicit construction paradigm: users build musical objects by assembling components using various construction tools. Virtually all technologies developed by computer science and artificial intelligence have been applied
Personalizing the interaction in a web-based educational hypermedia system: The case of INSPIRE. User Modeling and User-Adapted Interaction
, 2003
"... Abstract. In this paper we present an Adaptive Educational Hypermedia prototype, named INSPIRE. The approach employed in INSPIRE emphasizes the fact that learners perceive and process information in very different ways, and integrates ideas from theories of instructional design and learning styles. ..."
Abstract
-
Cited by 110 (16 self)
- Add to MetaCart
that gradually lead to the accomplishment of learner’s learning goals. It supports several levels of adaptation: from full system-control to full learner-control, and offers learners the option to decide on the level of adaptation of the system by intervening in different stages of the lesson generation process
Applying Case-Based Reasoning to Code Understanding and Generation
"... This paper briefly reviews the applicability of casebased reasoning (CBR) to code understanding and generation. The paper suggests that case-based techniques are already common in code understanding and generation but are seldom labelled as CBR. Some examples of `explicit' and `covert&apos ..."
Abstract
- Add to MetaCart
This paper briefly reviews the applicability of casebased reasoning (CBR) to code understanding and generation. The paper suggests that case-based techniques are already common in code understanding and generation but are seldom labelled as CBR. Some examples of `explicit' and `covert
Applying Case-Based Reasoning to Control in Robotics
- In 3 rd Robotics and Knowledge-Based Systems Workshop
, 1995
"... The paper describes an application of a casebased reasoning system TA3 to a control task in robotics. It differs from previous methods in its approach to similarity-based retrieval, which allows for greater flexibility and for improved accuracy in performance. The proposed architecture is experiment ..."
Abstract
-
Cited by 7 (4 self)
- Add to MetaCart
The paper describes an application of a casebased reasoning system TA3 to a control task in robotics. It differs from previous methods in its approach to similarity-based retrieval, which allows for greater flexibility and for improved accuracy in performance. The proposed architecture
Results 1 - 10
of
2,626