1
Udgivet 2007
Indholdsfortegnelse: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Få fuldtekst
Electronisk eBog
4
Udgivet 2005
Indholdsfortegnelse: ... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...
Få fuldtekst
Electronisk eBog
5
Udgivet 2006
Indholdsfortegnelse: ... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...
Få fuldtekst
Electronisk eBog
9
Udgivet 2013
Indholdsfortegnelse: ...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...
Få fuldtekst
Electronisk eBog
10
Udgivet 2012
Indholdsfortegnelse: ...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...
Få fuldtekst
Electronisk eBog
11
Udgivet 2010
Indholdsfortegnelse: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Få fuldtekst
Electronisk eBog
12
Udgivet 2008
Indholdsfortegnelse: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... -- Video Indexing and Retrieval in Compressed Domain Using Fuzzy-Categorization -- Computing Homology...
Få fuldtekst
Electronisk eBog
14
Udgivet 2010
Indholdsfortegnelse: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Få fuldtekst
Electronisk eBog
15
Udgivet 2008
Indholdsfortegnelse: ... Impaired PSENs through a Computer Mediated Distance Learning Program....
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Få fuldtekst
Electronisk eBog
17
Udgivet 2014
Indholdsfortegnelse: ... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...
Få fuldtekst
Electronisk eBog
20
Udgivet 2010
Indholdsfortegnelse: ... CT Imaging -- Video Event Detection as Matching of Spatiotemporal Projection -- PixelLaser: Computing...
Få fuldtekst
Electronisk eBog