Spatial and Temporal Design Debug Using Partial MaxSAT

doi 10.1145/1531542.1531621
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Partial Weighted MaxSAT for Optimal Planning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Biomimetic Spatial and Temporal (4D) Design and Fabrication

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Design Method of Blind Spatial and Temporal RBF Equalizer Using Genetic Algorithm

IEEJ Transactions on Electronics, Information and Systems
Electronic EngineeringElectrical
2004English

Analyzing the Spatial and Temporal Distribution of Human Brucellosis in Azerbaijan (1995 - 2009) Using Spatial and Spatio-Temporal Statistics

BMC Infectious Diseases
Infectious Diseases
2012English

Spatial and Temporal Analysis of Groundwater Recharge With Application to Sampling Design

Stochastic Environmental Research and Risk Assessment
RiskEnvironmental ScienceQualityEnvironmental ChemistryReliabilitySafetyTechnologyWater ScienceEnvironmental Engineering
1996English

Unsupervised Learning of Human Action Categories Using Spatial-Temporal Words

2006English

Quantitative Ecology: Spatial and Temporal Scaling

Journal of Environmental Quality
ManagementMonitoringWaste ManagementDisposalTechnologyPolicyWater ScienceLawEnvironmental EngineeringPollution
1995English

Spatial and Temporal Dynamics of Urban Sprawl Using Multi- Temporal Images and Relative Shannon Entropy Model in Adama, Ethiopia

Journal of Advanced Research in Geo Sciences & Remote Sensing
2019English

Fault Diagnosis Using Spatial and Temporal Information With Application to Railway Track Circuits

Engineering Applications of Artificial Intelligence
ControlSystems EngineeringElectricalArtificial IntelligenceElectronic Engineering
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy