Search results for "CSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Andrei A. Krokhin, Dániel Marx	On the Hardness of Losing Weight.	ICALP (1)	2008	DBLP DOI BibTeX RDF
15	Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti	Efficient Algorithms for Functional Constraints.	ICLP	2008	DBLP DOI BibTeX RDF
15	Hakim Belhaouari, Frédéric Peschanski	A Constraint Logic Programming Approach to Automated Testing.	ICLP	2008	DBLP DOI BibTeX RDF
15	Simon J. E. Taylor, Stephen John Turner, Steffen Straßburger	Guidelines for commercial off-the-shelf Simulation Package interoperability.	WSC	2008	DBLP DOI BibTeX RDF
15	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
15	Sami Al-Maqtari, Habib Abdulrab	Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
15	Esben Rune Hansen	Encoding CSPs with Zero-Suppressed Decision Diagrams.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
15	Satish Mishra, Bernd-Holger Schlingloff	Compliance of CMMI Process Area with Specification Based Development.	SERA	2008	DBLP DOI BibTeX RDF	Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes
15	Jordi Castro 0001, Daniel Baena	Using a Mathematical Programming Modeling Language for Optimal CTA.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	controlled tabular adjustment, mixed-integer linear programming, statistical disclosure control, Benders decomposition
15	Malek Mouhoub, Chang Feng	Efficient Handling of Relational Database Combinatorial Queries Using CSPs.	IEA/AIE	2008	DBLP DOI BibTeX RDF
15	Venkatesan Guruswami, Prasad Raghavendra	Constraint Satisfaction over a Non-Boolean Domain: Approximation Algorithms and Unique-Games Hardness.	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
15	Rob Verhoeven, Francien Dechesne	Verifying Multi-party Authentication Using Rank Functions and PVS.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
15	Aleksandar S. Dimovski, Ranko Lazic 0001	Compositional software verification based on game semantics and process algebra.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
15	Sivan Sabato, Yehuda Naveh	Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search.	CPAIOR	2007	DBLP DOI BibTeX RDF
15	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Near-optimal algorithms for maximum constraint satisfaction problems.	SODA	2007	DBLP BibTeX RDF
15	Hyun-Don Kim, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno	Auditory and visual integration based localization and tracking of humans in daily-life environments.	IROS	2007	DBLP DOI BibTeX RDF
15	Hyun-Don Kim, Kazunori Komatani, Tetsuya Ogata, Hiroshi G. Okuno	Auditory and Visual Integration based Localization and Tracking of Multiple Moving Sounds in Daily-life Environments.	RO-MAN	2007	DBLP DOI BibTeX RDF
15	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	2007	DBLP DOI BibTeX RDF	local search, constraint satisfaction, arc consistency
15	Dániel Marx	Can you beat treewidth?	FOCS	2007	DBLP DOI BibTeX RDF
15	Haibin Sun, Xin Chen	Efficient Algorithms for Spatial Configuration Information Retrieval.	BIS	2007	DBLP DOI BibTeX RDF
15	Malek Mouhoub, Amrudee Sukpan	Managing Conditional and Composite CSPs.	Canadian AI	2007	DBLP DOI BibTeX RDF	Local Search, Constraint Satisfaction, Arc Consistency
15	Tie Bao, Shufen Liu, Feng Yan, Yaorui Wu, Xiaochun Li, Zhanguo Zhang, Shuying Zhang	Network Data Collection Formal Analysis Based on Communication Sequential Process.	CSCWD	2007	DBLP DOI BibTeX RDF
15	Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto	A New Reduction from 3SAT to n-Partite Graphs.	FOCI	2007	DBLP DOI BibTeX RDF
15	Jing Li 0062, Jifeng He 0001, Huibiao Zhu, Geguang Pu	Modeling and Verifying Web Services Choreography Using Process Algebra.	SEW	2007	DBLP DOI BibTeX RDF
15	Ingo Brückner	Slicing Concurrent Real-Time System Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF
15	Haibin Sun	Research on Technologies of Spatial Configuration Information Retrieval.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
15	Grant Schindler, Frank Dellaert, Sing Bing Kang	Inferring Temporal Order of Images From 3D Structure.	CVPR	2007	DBLP DOI BibTeX RDF
15	Xuan-Ha Vu, Barry O'Sullivan	Semiring-Based Constraint Acquisition.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
15	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni	All Different: Softening AllDifferent in Weighted CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
15	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	Dynamic Management of Heuristics for Solving Structured CSPs.	CP	2007	DBLP DOI BibTeX RDF
15	Belaid Benhamou, Mohamed Réda Saïdi	Local Symmetry Breaking During Search in CSPs.	CP	2007	DBLP DOI BibTeX RDF
15	Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal 0001	Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.	CP	2007	DBLP DOI BibTeX RDF
15	Stephan A. Hartmann, Thomas A. Runkler	Online Optimization of a Color Sorting Assembly Buffer Using Ant Colony Optimization.	OR	2007	DBLP DOI BibTeX RDF
15	Wilson Ifill, Steve A. Schneider, Helen Treharne	Augmenting B with Control Annotations.	B	2007	DBLP DOI BibTeX RDF
15	Oscar García Morchon, Heribert Baldus, Tobias Heer, Klaus Wehrle	Cooperative security in distributed sensor networks.	CollaborateCom	2007	DBLP DOI BibTeX RDF
15	Tomás Werner	What is decreased by the max-sum arc consistency algorithm?	ICML	2007	DBLP DOI BibTeX RDF
15	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating Constraint Satisfaction Problems to Improve Scalability.	SARA	2007	DBLP DOI BibTeX RDF
15	Xuan-Ha Vu, Barry O'Sullivan	Generalized Constraint Acquisition.	SARA	2007	DBLP DOI BibTeX RDF
15	Santiago Macho González, Pedro Meseguer	Boosting MUS Extraction.	SARA	2007	DBLP DOI BibTeX RDF
15	Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue	QoS Routing in Communication Networks: Approximation Algorithms Based on the Primal Simplex Method of Linear Programming.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	linear programming, routing protocols, graph algorithms, communication networks, QoS routing, simplex method, Constrained shortest path
15	Josep Argelich, Felip Manyà	Exact Max-SAT solvers for over-constrained problems.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Soft constraints, Solvers, Max-SAT
15	Richard J. Wallace, Nic Wilson	Conditional Lexicographic Orders in Constraint Satisfaction Problems.	CPAIOR	2006	DBLP DOI BibTeX RDF
15	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
15	Haruo Oishi, Tatsuya Nakatani, Kenichi Tayama, Shiro Ogasawara, Tetsuya Yamamura	OSS Architecture for Flexible and Efficient Process Control.	NOMS	2006	DBLP DOI BibTeX RDF
15	Angela F. Freitas, Ana Cavalcanti 0001	Automatic Translation from Circus to Java.	FM	2006	DBLP DOI BibTeX RDF
15	Alexander D. Scott, Gregory B. Sorkin	An LP-Designed Algorithm for Constraint Satisfaction.	ESA	2006	DBLP DOI BibTeX RDF
15	Marcel Oliveira, Ana Cavalcanti 0001, Jim Woodcock 0001	Unifying Theories in ProofPower-Z.	UTP	2006	DBLP DOI BibTeX RDF	Unifying Theories of Programming, theorem prover
15	Navonil Mustafee, Simon J. E. Taylor, Korina Katsaliaki, Sally C. Brailsford	NBS Supply Chain Simulation using Simul8 and HLA.	PADS	2006	DBLP DOI BibTeX RDF
15	Xu Wang 0001, Marta Z. Kwiatkowska	On process-algebraic verification of asynchronous circuits.	ACSD	2006	DBLP DOI BibTeX RDF
15	Qingyun Yang, Jigui Sun, Juyang Zhang, Chunjie Wang	A Hybrid Particle Swarm Optimization for Binary CSPs.	ICIC (3)	2006	DBLP DOI BibTeX RDF
15	Youping Yu, Shuqin Cai, Zhigao Liu	Developing New Customer Services for MDEs in e-time: A Platform-based Approach and Its Support System.	ICEBE	2006	DBLP DOI BibTeX RDF
15	Fahiem Bacchus	CSPs: Adding Structure to SAT.	SAT	2006	DBLP DOI BibTeX RDF
15	Weijin Jiang, Yusheng Xu	A Novel Multi-agent Automated Negotiation Model Based on Associated Intent.	PRIMA	2006	DBLP DOI BibTeX RDF
15	Li-bao Zhang, Xian-zhong Han	New Region of Interest Medical Image Coding for JPEG2000: Compensation-Based Partial Bitplane Alternating Shift.	IWICPAS	2006	DBLP DOI BibTeX RDF	bitplane shift, image coding, medical image, region of interest, JPEG2000
15	Shu-Hsing Chung, Chun-Ying Huang, Amy Hsin-I Lee	Using Constraint Satisfaction Approach to Solve the Capacity Allocation Problem for Photolithography Area.	ICCSA (3)	2006	DBLP DOI BibTeX RDF
15	Thanasis Balafoutis, Kostas Stergiou 0001	Algorithms for Stochastic CSPs.	CP	2006	DBLP DOI BibTeX RDF
15	Alex Ferguson, Barry O'Sullivan	Relaxations and Explanations for Quantified Constraint Satisfaction Problems.	CP	2006	DBLP DOI BibTeX RDF
15	Santiago Macho González, Carlos Ansótegui, Pedro Meseguer	Boosting Open CSPs.	CP	2006	DBLP DOI BibTeX RDF
15	Barbara M. Smith	Constraint Programming Models for Graceful Graphs.	CP	2006	DBLP DOI BibTeX RDF
15	Cédric Pralet, Thomas Schiex, Gérard Verfaillie	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.	CP	2006	DBLP DOI BibTeX RDF
15	Kun Wei, James Heather	A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
15	Lei Chang, Dongqing Yang, Shiwei Tang, Tengjiao Wang 0003	Mining Compressed Sequential Patterns.	ADMA	2006	DBLP DOI BibTeX RDF
15	Ying Xiao 0001, Krishnaiyan Thulasiraman, Guoliang Xue	GEN-LARAC: A Generalized Approach to the Constrained Shortest Path Problem Under Multiple Additive Constraints.	ISAAC	2005	DBLP DOI BibTeX RDF
15	Weijin Jiang, Yusheng Xu, Ding Hao, Shangyou Zhen	Research on Multi-agent System Automated Negotiation Theory and Model.	NPC	2005	DBLP DOI BibTeX RDF
15	Víctor Dalmau	Generalized Majority-Minority Operations are Tractable.	LICS	2005	DBLP DOI BibTeX RDF
15	Bin Ma 0002, Kaizhong Zhang	On the Longest Common Rigid Subsequence Problem.	CPM	2005	DBLP DOI BibTeX RDF
15	Jochen Hoenicke, Patrick Maier 0001	Model-Checking of Specifications Integrating Processes, Data and Time.	FM	2005	DBLP DOI BibTeX RDF
15	Tony Lambert, Carlos Castro 0001, Éric Monfroy, María Cristina Riff, Frédéric Saubion	Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.	ICLP	2005	DBLP DOI BibTeX RDF
15	Boon-Ping Gan, Peter Lendermann, Malcolm Yoke Hean Low, Stephen John Turner, Xiaoguang Wang 0002, Simon J. E. Taylor	Interoperating autosched AP using the high level architecture.	WSC	2005	DBLP DOI BibTeX RDF
15	Steve Dunne, Stacey Conroy	Process Refinement in B.	ZB	2005	DBLP DOI BibTeX RDF
15	John D. Carter, Ming Xu, William B. Gardner	Rapid Prototyping of Embedded Software Using Selective Formalism.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
15	Hubie Chen	Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.	STACS	2005	DBLP DOI BibTeX RDF
15	Amit Kumar Gupta, Saeid Nooshabadi, David S. Taubman	Efficient VLSI architecture for buffer used in EBCOT of JPEG2000 encoder.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
15	Holger Rasch, Heike Wehrheim	Checking the Validity of Scenarios in UML Models.	FMOODS	2005	DBLP DOI BibTeX RDF
15	Andrei A. Krokhin, Benoît Larose	Maximum Constraint Satisfaction on Diamonds.	CP	2005	DBLP DOI BibTeX RDF
15	Yaling Zheng, Berthe Y. Choueiry	Applying Decomposition Methods to Crossword Puzzle Problems.	CP	2005	DBLP DOI BibTeX RDF
15	Josef Zlomek, Roman Barták	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.	CP	2005	DBLP DOI BibTeX RDF
15	Tiziana Ligorio, Susan L. Epstein	Partial Redundant Modeling.	CP	2005	DBLP DOI BibTeX RDF
15	Kostas Stergiou 0001	Repair-Based Methods for Quantified CSPs.	CP	2005	DBLP DOI BibTeX RDF
15	Lucian Leahu, Carla P. Gomes	LP as a Global Search Heuristic Across Different Constrainedness Regions.	CP	2005	DBLP DOI BibTeX RDF
15	Hiromitsu Hattori, Takayuki Ito 0001, Tadachika Ozono, Toramatsu Shintani	A Nurse Scheduling System Based on Dynamic Constraint Satisfaction Problem.	IEA/AIE	2005	DBLP DOI BibTeX RDF
15	Hubie Chen, Víctor Dalmau	From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction.	CSL	2005	DBLP DOI BibTeX RDF
15	Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof	Stuck-Free Conformance.	CAV	2004	DBLP DOI BibTeX RDF
15	Marcel Oliveira, Ana Cavalcanti 0001	From Circus to JCSP.	ICFEM	2004	DBLP DOI BibTeX RDF	concurrency, object-orientation, program development
15	Stephen Somogyi, Thomas F. Wenisch, Nikolaos Hardavellas, Jangwoo Kim, Anastassia Ailamaki, Babak Falsafi	Memory coherence activity prediction in commercial workloads.	WMPI	2004	DBLP DOI BibTeX RDF	coherence misses, coherence prediction, sharing patterns, trace-based prediction, commercial workloads
15	Richard J. Wallace, Eugene C. Freuder, Marius Minca	Possibilistic Reasoning and Privacy/Efficiency Tradeoffs in Multi-agent Systems.	MICAI	2004	DBLP DOI BibTeX RDF
15	Qianyi Zhang, Georgios Theodoropoulos 0001	Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
15	Camilo Rueda, Frank D. Valencia	Non-viability Deductions in Arc-Consistency Computation.	ICLP	2004	DBLP DOI BibTeX RDF
15	Roman Barták	Effective Modeling with Constraints.	INAP/WLP	2004	DBLP DOI BibTeX RDF
15	Hubie Chen	Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.	CP	2004	DBLP DOI BibTeX RDF
15	Christopher Jefferson	Choosing Efficient Representations of Abstract Variables.	CP	2004	DBLP DOI BibTeX RDF
15	Steven D. Prestwich	Full Dynamic Substitutability by SAT Encoding.	CP	2004	DBLP DOI BibTeX RDF
15	Nikos Mamoulis, Kostas Stergiou 0001	Algorithms for Quantified Constraint Satisfaction Problems.	CP	2004	DBLP DOI BibTeX RDF
15	Marius-Calin Silaghi	Meeting Scheduling Guaranteeing n/2-Privacy and Resistant to Statistical Analysis (Applicable to any DisCSP).	Web Intelligence	2004	DBLP DOI BibTeX RDF
15	Ola Angelsmark, Johan Thapper	Algorithms for the Maximum Hamming Distance Problem.	CSCLP	2004	DBLP DOI BibTeX RDF
15	Javier Larrosa, Rina Dechter	Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
15	Guy H. Broadfoot, Philippa J. Broadfoot	Academia and industry meet: Some experiences of formal methods in practice.	APSEC	2003	DBLP DOI BibTeX RDF
15	Mark B. Josephs	An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits.	ASYNC	2003	DBLP DOI BibTeX RDF
15	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
15	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner	A Methodology for Model-Checking Ad-hoc Networks.	SPIN	2003	DBLP DOI BibTeX RDF