Recently, a new convex formulation of IBM Model 2 was introduced. In this paper we develop the theory further and introduce a class of convex relaxations for latent variable models which include IBM Model 2. When applied to IBM Model 2, our relaxation class subsumes the previous relaxation as a special case. As proof of concept, we study a new relaxation of IBM Model 2 which is simpler than the...

Among the main algorithmic problems in the veriication of sequential circuits are the computation of good orders of state variables and transition relation partitions. Existing model checking packages like SMV from CMU, VIS from Berkeley or Rulebase from IBM Haifa provide variants of Rudell's sifting algorithm for the variable ordering problem and greedy-type algorithms for the partition orderi...

In this paper, we propose a probabilistic model for image retrieval. To obtain the similarity between the query image IQ and any image I’ in the collection, this model computes the probability of generating the image I’ given the observation of the query image IQ. We compared our probabilistic model for image retrieval with a color histogram based image retrieval method and the IBM QBIC image s...

The paper describes a method for investigating the impacts of wide-scale Plug-In Hybrid Electric Vehicle (PHEV) integration in electricity networks. It incorporates an agent-based transportation micro-simulation, which provides detailed temporal and spatial information of PHEV behavior including vehicle connection times, locations and energy demands. These inputs are subsequently used in power ...

The modeling of traveler’s daily travel behaviours in mixed traffic system is a complex problem, mainly due to the complex nature of travel behaviours and the situations in mixed traffic flow. This paper explores an Activity-Based Traveler Agent behavioural Model (ATAM) for mixed traffic flow, combining the ideas of activity-based traffic demand model, the hierarchical structure in behaviours, ...

The paper describes a method for investigating the impacts of wide-scale Plug-In Hybrid Electric Vehicle (PHEV) integration in electricity networks. It incorporates an agent-based transportation micro-simulation, which provides detailed temporal and spatial information of PHEV behavior including vehicle connection times, locations and energy demands. These inputs are subsequently used in power ...

Multi agent system (MAS) is one of the most dominant research wings which consist of several agents who interact with each other to achieve a common objective. MAS has been developed for a wide range of applications in power systems. Power system restoration is a main application of that. Researchers present several architectures for fault identification, isolation and restoration of the power ...

The concept of individual differences continues to gain considerable attention within the discipline of psychology. A recent workshop at the 2006 Spatial Cognition conference (in Bremen, Germany) made evident that much can be learned by focusing on the individual and the particularities of both planned and unplanned navigation. Individuals vary in their ability to learn and navigate large-scale...

Integration of renewable energy in power systems is a potential source of uncertainty, because renewable generation is variable and may depend on changing and highly uncertain weather conditions. In this paper we present and evaluate a new method to schedule power-demanding tasks with release times and deadlines under uncertainty, in order to balance demand and uncertain supply. The problem is ...

We introduce a design-based research framework, learning axes and bridging tools, and demonstrate its application in the preparation and study of an implementation of a middle-school experimental computer-based unit on probability and statistics, ProbLab (Probability Laboratory, Abrahamson and Wilensky 2002 [Abrahamson, D., & Wilensky, U. (2002). ProbLab. Northwestern University, Evanston, IL: ...