תוצאות חיפוש - interactive components programming programs constraints data

אפשרויות חיפוש:
interactive components » interactive component , innovative components , integration components
components programming » component programming , computers programming , complete programming
programming programs » programming program , programming programmed , programming problems
programs constraints » progress constraints , programming constraints , problem constraints
constraints data » constraints a , constraints based , constraints _

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

יצא לאור 2015

תוכן הענינים: “... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2007

תוכן הענינים: “... State-Based Implementations of Interactive Components with History Abstractions -- Introducing Debugging...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advances in Knowledge Discovery and Data Mining 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II /

יצא לאור 2015

תוכן הענינים: “... Evolutionary Traces in Temporal Data -- Small-Variance Asymptotics for Bayesian Nonparametric Models...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

יצא לאור 2008

תוכן הענינים: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2008

תוכן הענינים: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

יצא לאור 2008

תוכן הענינים: “... Development Organization -- An Architectural Style for Data-Driven Systems -- Architectural Analysis...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Innovations in Computing Sciences and Software Engineering

יצא לאור 2010

תוכן הענינים: “... Environment and its Comparison -- Ubiquitous Data Management in a Personal Information Environment...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Computers and Education: Towards Educational Change and Innovation

יצא לאור 2008

תוכן הענינים: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Computer Vision, Imaging and Computer Graphics: Theory and Applications International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Paper...

יצא לאור 2010

תוכן הענינים: “...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

יצא לאור 2014

תוכן הענינים: “...Image and Template Security for Palmprint -- Extending Network Lifetime by Time Constrained Data...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /

יצא לאור 2005

תוכן הענינים: “... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

יצא לאור 2013

תוכן הענינים: “... -- Towards an Architecture for Managing Big Semantic Data in Real-Time -- Controlled Experiment...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

יצא לאור 2012

תוכן הענינים: “...Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

יצא לאור 2010

תוכן הענינים: “... and Semi-supervised Clustering -- Building a New Classifier in an Ensemble Using Streaming Unlabeled Data...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

יצא לאור 2012

תוכן הענינים: “... of Impulsive Control System with Cone Constraint on the Control and Their Estimates.-Optimal Mass...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

Advanced Information Systems Engineering 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... Services -- Trusted Interaction: User Control and System Responsibilities in Interaction Design...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

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

יצא לאור 2010

תוכן הענינים: “... Datasets -- Combining Automated and Interactive Visual Analysis of Biomechanical Motion Data -- Video...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש