Rekommenderade teman
Rekommenderade teman
Menade du:
functions computational » function computation, directions computational, section computational
programming validation » programming validating, programming evaluation, programming animation
functions computation » function computation, functions composition, function composition
validation processes » validation process, calcination processes, validation procedures
processes process » processes problems, processes proceedings
functions computational » function computation, directions computational, section computational
programming validation » programming validating, programming evaluation, programming animation
functions computation » function computation, functions composition, function composition
validation processes » validation process, calcination processes, validation procedures
processes process » processes problems, processes proceedings
1
Publicerad 2005
Innehållsförteckning:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2014
Innehållsförteckning:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“...Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2008
Innehållsförteckning:
“... Tutorial) -- Abstract Interpretation with Applications to Timing Validation -- Session 1: Concurrency...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2008
Innehållsförteckning:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2014
Innehållsförteckning:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2014
Innehållsförteckning:
“... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...”Hämta fulltext
Elektronisk
E-bok
9
Publicerad 2005
Innehållsförteckning:
“... Validation -- Discrete Hierarchical Geometry -- Hierarchical Watersheds Within the Combinatorial Pyramid...”Hämta fulltext
Elektronisk
E-bok
10
av Mansor, Hasmah
Publicerad 2011
Ämnen:
“...Automatic control - Computer programs...”Publicerad 2011
Hämta fulltext
Lärdomsprov
11
Publicerad 2008
Innehållsförteckning:
“... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...”Hämta fulltext
Elektronisk
E-bok
12
Publicerad 2010
Innehållsförteckning:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”Hämta fulltext
Elektronisk
E-bok
13
Publicerad 2010
Innehållsförteckning:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Hämta fulltext
Elektronisk
E-bok
14
Publicerad 2015
Innehållsförteckning:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Hämta fulltext
Elektronisk
E-bok
15
Publicerad 2005
Innehållsförteckning:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Hämta fulltext
Elektronisk
E-bok
16
Publicerad 2007
Innehållsförteckning:
“... and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition...”Hämta fulltext
Elektronisk
E-bok
17
Publicerad 2012
Innehållsförteckning:
“...-core Processors -- Assessing Software Interference Management When Modifying Safety-Related Software...”Hämta fulltext
Elektronisk
E-bok
18
Publicerad 2008
Innehållsförteckning:
“...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”Hämta fulltext
Elektronisk
E-bok
19
Publicerad 2014
Innehållsförteckning:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Hämta fulltext
Elektronisk
E-bok
20
Publicerad 2008
Innehållsförteckning:
“... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...”Hämta fulltext
Elektronisk
E-bok