Sciweavers

2960 search results - page 286 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
IANDC
2010
84views more  IANDC 2010»
15 years 5 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
Arie Matsliah, Ofer Strichman
ACL
2008
15 years 8 months ago
An Unsupervised Approach to Biography Production Using Wikipedia
We describe an unsupervised approach to multi-document sentence-extraction based summarization for the task of producing biographies. We utilize Wikipedia to automatically constru...
Fadi Biadsy, Julia Hirschberg, Elena Filatova
WSC
2004
15 years 8 months ago
Simulation Input Updating Using Bayesian Techniques
Simulation built on assumption and approximation has been traditionally utilized to make predictions prior to construction. Although there are many benefits of simulation such as ...
Tae Hwan Chung, Yasser Mohamed, Simaan M. AbouRizk
ICCV
2007
IEEE
16 years 8 months ago
Probabilistic Color and Adaptive Multi-Feature Tracking with Dynamically Switched Priority Between Cues
We present a probabilistic multi-cue tracking approach constructed by employing a novel randomized template tracker and a constant color model based particle filter. Our approach ...
François Le Clerc, Lionel Oisel, Patrick P&...
JOT
2008
142views more  JOT 2008»
15 years 6 months ago
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
Jagadish Suryadevara, Lawrence Chung, R. K. Shyama...