Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these requirements using several examples. Then we present the temporal logic formalism that we use. This logic extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. The notation is applied to the specification of the examples, and in particular a set of logical manipulations, providing feedback to an author, is presented. A model theory, logic and satisfaction relation are defined for the notation.     

Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems

There are two main solving schemas for constraint satisfaction and optimization problems: i) search, whose basic step is branching over the values of a variables, and ii) dynamic programming, whose basic step is variable elimination. Variable elimination is time and space exponential in a graph parameter called induced width, which renders the approach infeasible for many problem classes. However, by restricting variable elimination so that only low arity constraints are processed and recorded, it can be effectively combined with search, because the elimination of variables may reduce drastically the search tree size.In this paper we introduce BE-BB(k), a hybrid general algorithm that combines search and variable elimination. The parameter k controls the tradeoff between the two strategies. The algorithm is space exponential in k. Regarding time, we show that its complexity is bounded by k and a structural parameter from the constraint graph. We provide experimental evidence that the hybrid algorithm can outperform state-of-the-art algorithms in constraint satisfaction, Max-CSP and Weighted CSP. Especially in optimization tasks, the advantage of our approach over plain search can be overwhelming.     

工程项目建设监理的业主满意度分析

根据一般顾客满意度模型 ,提出了项目业主对工程项目施工监理的满意度模型 .根据工程项目的具体特点 ,把项目业主满意度分析分为目标和过程 2部分 ,并对如何计算工程项目质量、进度、成本 3大目标的满意度进行了讨论 ,指出在评价过程满意度时要考虑隐变量和测量变量 2项指标     

Constraint-Based Design of Embedded Intelligent Systems

Substantial progress has been achieved using the standard Constraint Satisfaction Problem framework. However, there is a major unsolved challenge confronting the constraint research community: the constraint-based design of embedded intelligent systems. This requires a new online model of constraint satisfaction and new computational tools for specifying, modeling, verifying and implementing constraint-based, hybrid, intelligent systems, such as robots. The Constraint Net model of Zhang and Mackworth allows the design of hybrid intelligent systems as situated robots: modeling the robot and the environment symmetrically as dynamic systems. If the robot's perceptual and control systems are designed as constraint-satisfying devices then the total robotic system, consisting of the robot symmetrically coupled to the environment, can be proven correct. Some theoretical and practical advances based on this model are described, including experiments with the constraint-based design of robot soccer players.     

Applying Plan Recognition Algorithms To Program Understanding

Program understanding is often viewed as the task of extracting plans and design goals from program source. As such, it is natural to try to apply standard AI plan recognition techniques to the program understanding problem. Yet program understanding researchers have quietly, but consistently, avoided the use of these plan recognition algorithms. This paper shows that treating program understanding as plan recognition is too simplistic and that traditional AI search algorithms for plan recognition are not suitable, as is, for program understanding. In particular, we show (1) that the program understanding task differs significantly from the typical general plan recognition task along several key dimensions, (2) that the program understanding task has particular properties that make it particularly amenable to constraint satisfaction techniques, and (3) that augmenting AI plan recognition algorithms with these techniques can lead to effective solutions for the program understanding problem.     

A fuzzy constraint satisfaction approach for electronic shopping assistance

The Internet and World Wide Web offer an additional channel for consumers to find, select, and buy products. However, unlike shopping in the traditional store, consumers have no direct contact with human clerks to get the required information in the electronic store. The objective of this paper is to propose a fuzzy constraint satisfaction approach to help buyers find fully satisfactory or replacement products in electronic shopping. For the buyer who can give precise product requirements, the proposed approach can generate product-ranking lists based on the satisfaction degrees of each product to the given requirements. For the buyer who may not input accurate requirements, a similarity analysis approach is proposed to assess buyer requirements automatically during his browsing process. The proposed approach could help buyers find the preferred products on the top of the ranking list without further searching the remaining pages. The experimental results show the applicability of the proposed approach for electronic shopping assistance.     

企业顾客满意度的指标设计及评价方法研究

企业的顾客不只是消费者，还包括企业的供应商、合作者，甚至是企业的内部员工．然而有关顾客满意度的研究均指向消费者．基于上述矛盾，结合统计学有关原理和方法，把企业的4种不同顾客的满意度指数化。并进行综合处理和因素分析，提出一个综合性评价指数．     

Forgiveness and Conflict Resolution in Marriage.

Two studies examined whether forgiveness in married couples is associated with better conflict resolution. Study 1 examined couples in their 3rd year of marriage and identified 2 forgiveness dimensions (retaliation and benevolence). Husbands' retaliatory motivation was a significant predictor of poorer wife-reported conflict resolution, whereas wives' benevolence motivation predicted husbands' reports of better conflict resolution. Examining longer term marriages, Study 2 identified three forgiveness dimensions (retaliation, avoidance and benevolence). Whereas wives' benevolence again predicted better conflict resolution, husbands' avoidance predicted wives' reports of poorer conflict resolution. All findings were independent of both spouses' marital satisfaction. The findings are discussed in terms of the importance of forgiveness for marital conflict and its implications for spouse goals. Future research directions on forgiveness are outlined. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The Influence of Prior Commitment on the Reactions of Layoff Survivors to Organizational Downsizing.

Nurses (N := 179; Study 1) and managers (N = 154; Study 2) participated in 2 panel studies examining the relationship among prior commitment (affective and continuance commitment and perceived organizational support), coping strategies, and survivors' attitudes and perceptions during and following downsizing. In Study 1, perceived organizational support was significantly positively related to control-oriented coping, job satisfaction, and intention to remain and negatively related to perceived job insecurity and burnout 2 years later. In Study 2, coping mediated the relationship between the prior commitment variables and job alienation, health symptoms, and burnout following the downsizing. Control-oriented coping was associated with elevated levels of health symptoms and burnout following the downsizing, suggesting that control-oriented coping may have positive effects in the short term but potentially harmful effects in the long term. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Moderators of the Relationships Between Coworkers' Organizational Citizenship Behavior and Fellow Employees' Attitudes.

The authors developed and tested the prediction that the relationship hetween coworkers' organizational citizenship behaviors (OCBs) and fellow employees' attitudes depends on the supervisors' abusiveness. Results of a longitudinal study using data collected from 173 supervised employees at 2 points in time (separated by 7 months) suggested that coworkers' OCB was positively related to fellow employees' job satisfaction and affective commitment when abusive supervision was low. However, when abusive supervision was high, coworkers' OCB was negatively related to job satisfaction and was unrelated to organizational commitment. The results of a 2nd study were consistent with the idea that the attributions employees make for their coworkers' OCB explains the moderating effect of abusive supervision on the relationship between coworkers' OCB and job satisfaction. (PsycINFO Database Record (c) 2010 APA, all rights reserved)