Søgeresultater - automata automata systems report ((((array formulas) OR (array sharing))) OR (array using))

Søg alternativer:
automata systems » automated systems , automation systems , automated system
systems report » systems recent
array formulas » area formulas , harrop formulas , array format
array sharing » array string , arrays bearing , array imaging
array using » arrays using

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Udgivet 2014

Indholdsfortegnelse: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Få fuldtekst

Electronisk eBog

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2 /

Udgivet 2015

Indholdsfortegnelse: “... Handwritten Scripts Using Texture Based Features -- Paper 31: Single Sensor Color filter Array Interpolation...”
Få fuldtekst

Electronisk eBog

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Locality Measures of Space-Filling Curves -- Composability of Infinite-State Activity Automata -- Error...”
Få fuldtekst

Electronisk eBog

Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Grammars with the Syntactic Concept Lattice -- Learning Automata Teams -- Exact DFA Identification Using...”
Få fuldtekst

Electronisk eBog

Nature Inspired Cooperative Strategies for Optimization (NICSO 2013) Learning, Optimization and Interdisciplinary Applications /

Udgivet 2014

Indholdsfortegnelse: “... systems modelling -- Metachronal waves in Cellular Automata: Cilia-like manipulation in actuator arrays...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning