Sciweavers

1463 search results - page 123 / 293
» The State of the Art in Language Modeling
Sort
View
131
Voted
FSTTCS
2001
Springer
15 years 6 months ago
Beyond Regular Model Checking
Abstract. Regular Model-Checking (RMC) is a technique for the formal verification of infinite state systems based on the theory of regular languages. In the paper “Beyond Regul...
Dana Fisman, Amir Pnueli
CVPR
2009
IEEE
2358views Computer Vision» more  CVPR 2009»
16 years 9 months ago
Pictorial Structures Revisited: People Detection and Articulated Pose Estimation
Non-rigid object detection and articulated pose estimation are two related and challenging problems in computer vision. Numerous models have been proposed over the years and oft...
Mykhaylo Andriluka (TU Darmstadt), Stefan Roth (TU...
AAAI
2010
15 years 3 months ago
Collaborative Expert Portfolio Management
We consider the task of assigning experts from a portfolio of specialists in order to solve a set of tasks. We apply a Bayesian model which combines collaborative filtering with a...
David H. Stern, Horst Samulowitz, Ralf Herbrich, T...
CVPR
2011
IEEE
14 years 5 months ago
Who are you with and where are you Going?
We propose an agent-based behavioral model of pedestrians to improve tracking performance in realistic scenarios. In this model, we view pedestrians as decision-making agents who ...
Kota Yamaguchi, Alexander Berg, Luis Ortiz, Tamara...
ANSS
2006
IEEE
15 years 8 months ago
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
Tibor Bosse, Catholijn M. Jonker, Jan Treur