Risultati della ricerca - intersections modeling processing programs function https

Cerca anche:
intersections modeling » intersection modeling , interactions modeling , interaction modeling
modeling processing » modeling proceedings , modeling process , model processing
processing programs » processing programmed , processing problems , processing products
programs function » programs functional , programme function , programs fiction
function https » functions https , fiction https

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Pubblicazione 2006

Sommario: “... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Testo

Elettronico eBook

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi...”
Testo

Elettronico eBook

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Pubblicazione 2006

Sommario: “... Chunking -- Collapsing ?-Loops in Weighted Finite-State Machines -- WFSM Auto-intersection and Join...”
Testo

Elettronico eBook

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

Pubblicazione 2008

Sommario: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Testo

Elettronico eBook

Intelligent Technologies and Engineering Systems

Pubblicazione 2013

Sommario: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Testo

Elettronico eBook

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Normalisation for Intuitionistic Sequent Calculi -- Ludics is a Model for the Finitary Linear Pi-Calculus...”
Testo

Elettronico eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Pubblicazione 2007

Sommario: “...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”
Testo

Elettronico eBook

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Pubblicazione 2013

Sommario: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Testo

Elettronico eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... Interaction in Distributed Systems -- A Robust Class of Regular Languages -- Deterministic Models...”
Testo

Elettronico eBook

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”
Testo

Elettronico eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Pubblicazione 2014

Sommario: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “... Nonlinear Systems Using a Nonlinear Hybridization -- Modeling and Simulation of Biochemical Processes Using...”
Testo

Elettronico eBook

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Pubblicazione 2010

Sommario: “... -- Application of Mathematical Model in Road Traffic Control at Circular Intersection -- Research and Application...”
Testo

Elettronico eBook

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...”
Testo

Elettronico eBook

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”
Testo

Elettronico eBook

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... Support Vector Machine for Modeling of Pulsed GTAW Process -- Design of Simple Structure Neural Voltage...”
Testo

Elettronico eBook

Technological Pedagogical Content Knowledge Exploring, Developing, and Assessing TPCK /

Pubblicazione 2015

Sommario: “..., University of Twente, The Netherlands ).- 7: Cognitively Representing TPCK – Mental Models of Tool Functions...”
Testo

Elettronico eBook

Inductive Databases and Constraint-Based Data Mining

Pubblicazione 2010

Sommario: “... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...”
Testo

Elettronico eBook

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Pubblicazione 2013

Sommario: “... Game -- A Study on the Specification of a Scalarizing Function in MOEA/D for Many-Objective Knapsack...”
Testo

Elettronico eBook

Restringi la ricerca