1
Udgivet 2014
Indholdsfortegnelse: ... Difficulty Level of Programming Code with Eye-Tracking -- Expressing Observation Direction through Face...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...
Få fuldtekst
Electronisk eBog
4
Udgivet 2006
Indholdsfortegnelse: ... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...
Få fuldtekst
Electronisk eBog
5
Udgivet 2010
Indholdsfortegnelse: ... of ECAs Interactions Using CRFs -- Automatic Distractor Generation for Domain Specific Texts...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Få fuldtekst
Electronisk eBog
9
Udgivet 2006
Indholdsfortegnelse: ...-Based Peer-to-Peer Process Enactment for Ubiquitous Web Service Devices -- Expressing Business Process...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... Evidences Based on Natural Language to Drive the Process of Fusing Multimodal Sources -- An Experimental...
Få fuldtekst
Electronisk eBog
11
Udgivet 2005
Indholdsfortegnelse: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
Få fuldtekst
Electronisk eBog
12
Udgivet 2005
Indholdsfortegnelse: ... Environments -- Agent Interaction Management and Application in a Virtual Collaborative Environment...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ...Expressive Speech Recognition and Synthesis as Enabling Technologies for Affective Robot-Child...
Få fuldtekst
Electronisk eBog
14
Udgivet 2005
Indholdsfortegnelse: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
Få fuldtekst
Electronisk eBog
15
af Thomas, Adrian., Thomas, Adrian.
Udgivet 2008
Indholdsfortegnelse: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
Få fuldtekst
Electronisk eBog
16
Udgivet 2006
Indholdsfortegnelse: ...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...
Få fuldtekst
Electronisk eBog
17
Udgivet 2005
Indholdsfortegnelse: ... Processes -- Building Digital Libraries -- DAR: A Digital Assets Repository for Library Collections...
Få fuldtekst
Electronisk eBog
18
Udgivet 2006
Indholdsfortegnelse: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...
Få fuldtekst
Electronisk eBog