Search Results - information visualization program programming constraint https

Search alternatives:
programming constraint » programming constrained , programming unconstrained , programming constructs
visualization program » visualization problems , revitalization program , visualization from
program programming » programs programming , programmer programming , pram programming
constraint https » constraint atoms , constraint graphs , constraint codes

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
View full text

Electronic eBook

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
View full text

Electronic eBook

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... Objects on Irregular Isothetic Grids -- Layout of Multiple Views for Volume Visualization: A User Study...”
View full text

Electronic eBook

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Published 2010

Table of Contents: “... Highway Design -- Taking the Customer into Account in Collaborative Design -- Cooperative Visualization...”
View full text

Electronic eBook

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... Constraints -- Robust Quality-Scalable Transmission of JPEG2000 Images over Wireless Channels Using LDPC Codes...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- Service Discovery in the SOA System -- An Information Theoretic Web Site Navigability Classification...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... and Related Issues -- Dynamic Visualization of Spatially Referenced Information -- WYSIWYG-Tool Tips...”
View full text

Electronic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... -- Camera Pose Estimation Based on Angle Constraints -- Feature-Preserving 3D Thumbnail Creation with Voxel...”
View full text

Electronic eBook

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III /

Published 2010

Table of Contents: “... Reconstruction Using Vertical Constraints from a Photograph -- A Framework for Visual and Haptic Collaboration...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying...”
View full text

Electronic eBook

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS...

Published 2010

Table of Contents: “...: An Initial Case Study -- FORML 2 -- Specifying Structural Properties and Their Constraints Formally, Visually...”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Patterns in Process-Aware Information Systems -- Queries -- Modeling and Querying E-Commerce Data in Hybrid...”
View full text

Electronic eBook

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Sequences Using Growing Self Organizing Maps -- Audio-Visual Feature Fusion for Speaker Identification...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed...”
View full text

Electronic eBook

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /

Published 2007

Table of Contents: “... Capabilities to Natural Semantics -- Solution Strategies for Multi-domain Constraint Logic Programs...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”
View full text

Electronic eBook

Enterprise Information Systems VI

Published 2006

Table of Contents: “...Invited Papers -- Project Failures: Continuing Challenges for Sustainable Information Systems...”
View full text

Electronic eBook

Brain-Inspired Information Technology

Published 2010

Table of Contents: “... to Relevance -- Brain-Like Evolving Spiking Neural Networks for Multimodal Information Processing -- Human-Like...”
View full text

Electronic eBook

Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences /

Published 2012

Table of Contents: “... by Adding a Backward Step -- Memory Resident Parallel Inverted Index Construction -- Dynamic Programming...”
View full text

Electronic eBook

Narrow Search