Sciweavers

2934 search results - page 386 / 587
» Universality in Multi-Agent Systems
Sort
View
IGARSS
2010
15 years 3 months ago
Preliminary result of polarization property analysis using fully polarimetric GB-SAR images
Korea Institute of Geoscience and Mineral Resources (KIGAM) and Kangwon National University (KNU) ground-based synthetic aperture radar (GB-SAR) team has been developed a fully po...
Moon-Kyung Kang, Kwang-Eun Kim, Hoonyol Lee, Seong...
LPAR
2010
Springer
15 years 3 months ago
Speed-Up Techniques for Negation in Grounding
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, E...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 3 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ICMCS
2009
IEEE
184views Multimedia» more  ICMCS 2009»
15 years 3 months ago
Structure and appearance features for robust 3D facial actions tracking
This paper presents a robust and accurate method for joint head pose and facial actions tracking, even under challenging conditions such as varying lighting, large head movements,...
Stéphanie Lefevre, Jean-Marc Odobez
CORR
2011
Springer
213views Education» more  CORR 2011»
15 years 26 days ago
Adapting to Non-stationarity with Growing Expert Ensembles
Forecasting sequences by expert ensembles generally assumes stationary or near-stationary processes; however, in complex systems and many real-world applications, we are frequentl...
Cosma Rohilla Shalizi, Abigail Z. Jacobs, Aaron Cl...