Søgeresultater - functions conditional programming designation based tools*

Søg alternativer:
programming designation » programming designing , programming negation , programming discrimination
conditional programming » additional programming , functional programming , nutritional programming
functions conditional » functions functional , functional conditioning , functions computational
designation based » destination based , destinations based , delegation based
based tools » based tool , basic tools

Adaptive Dynamic Programming for Control Algorithms and Stability /

af Zhang, Huaguang., Zhang, Huaguang., Liu, Derong., Luo, Yanhong., Wang, Ding.
Udgivet 2013

Indholdsfortegnelse: “... Systems via ADP -- Several Special Optimal Feedback Control Designs Based on ADP -- Zero-sum Games...”
Få fuldtekst

Electronisk eBog

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Få fuldtekst

Electronisk eBog

An Anthology of Theories and Models of Design Philosophy, Approaches and Empirical Explorations /

Udgivet 2014

Indholdsfortegnelse: “... Functionality -- Domain Theory, its Models and Concepts -- Engineering Design: Role of Theory, Models...”
Få fuldtekst

Electronisk eBog

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool...”
Få fuldtekst

Electronisk eBog

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings /

Udgivet 2012

Indholdsfortegnelse: “... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”
Få fuldtekst

Electronisk eBog

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Få fuldtekst

Electronisk eBog

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Få fuldtekst

Electronisk eBog

Java Methods for Financial Engineering Applications in Finance and Investment /

af Barker, Philip., Barker, Philip.
Udgivet 2007

Indholdsfortegnelse: “... Derivatives -- Conditional Options -- Complex Conditional Options -- Barrier Type Options -- Double Barrier...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...”
Få fuldtekst

Electronisk eBog

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
Få fuldtekst

Electronisk eBog

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Udgivet 2006

Indholdsfortegnelse: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
Få fuldtekst

Electronisk eBog

Graph Transformations Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops...”
Få fuldtekst

Electronisk eBog

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...”
Få fuldtekst

Electronisk eBog

Computational Methods

Udgivet 2006

Indholdsfortegnelse: “... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...”
Få fuldtekst

Electronisk eBog

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Udgivet 2014

Indholdsfortegnelse: “... based TCSC Controller Design -- Improved Parallelization of an Image Segmentation Bio-inspired Algorithm...”
Få fuldtekst

Electronisk eBog

Intelligent Information and Database Systems 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II /

Udgivet 2013

Indholdsfortegnelse: “... -- Sparse Signal Recovery by Difference of Convex Functions Algorithms -- DC Programming and DCA Based Cross...”
Få fuldtekst

Electronisk eBog

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV...

Udgivet 2013

Indholdsfortegnelse: “...-Point and Nonlinear Calibrations -- Design and Usability Analysis of Gesture-Based Control for Common...”
Få fuldtekst

Electronisk eBog

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La M...

Udgivet 2007

Indholdsfortegnelse: “... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...”
Få fuldtekst

Electronisk eBog

Computer Vision and Graphics Second International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I /

Udgivet 2010

Indholdsfortegnelse: “...-Vessel Segmentation in 3D Images Based on a Right Generalized Cylinder Model: Application to Carotid...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning