1
Udgivet 2006
Indholdsfortegnelse: ... Algorithms -- Further Results on Syntactic Ambiguity of Internal Contextual Grammars -- Error-Driven Learning...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...
Få fuldtekst
Electronisk eBog
3
Udgivet 2014
Indholdsfortegnelse: ...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...
Få fuldtekst
Electronisk eBog
4
Udgivet 2007
Indholdsfortegnelse: ... Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States...
Få fuldtekst
Electronisk eBog
5
Udgivet 2005
Indholdsfortegnelse: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...
Få fuldtekst
Electronisk eBog
7
af Hunt, John., Hunt, John.
Udgivet 2014
Indholdsfortegnelse: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Få fuldtekst
Electronisk eBog
8
Udgivet 2008
Indholdsfortegnelse: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
Få fuldtekst
Electronisk eBog
9
Udgivet 2014
Indholdsfortegnelse: ... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...
Få fuldtekst
Electronisk eBog
10
Udgivet 2013
Indholdsfortegnelse: ... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...
Få fuldtekst
Electronisk eBog
11
Indholdsfortegnelse: ... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...
Få fuldtekst
Electronisk eBog
12
Udgivet 2010
Indholdsfortegnelse: ... Synchronization Algorithm for Remote Files -- A New Parallel Method of Smith-Waterman Algorithm on a Heterogeneous...
Få fuldtekst
Electronisk eBog
13
Udgivet 2008
Indholdsfortegnelse: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
Få fuldtekst
Electronisk eBog
16
Udgivet 2015
Indholdsfortegnelse: ... and Internal Layers -- The Finite Difference Method for Boundary Value Problem with Singularity...
Få fuldtekst
Electronisk eBog
17
Udgivet 2008
Indholdsfortegnelse: ... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...
Få fuldtekst
Electronisk eBog
18
Udgivet 2014
Indholdsfortegnelse: ... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Få fuldtekst
Electronisk eBog