Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
information programming » information programme, transformation programming, instruction programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
intelligent » intelligence
https » http
information programming » information programme, transformation programming, instruction programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
intelligent » intelligence
https » http
1
Table of Contents:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
2
Publicado 2014
Table of Contents:
“... Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario -- Reasoning...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... for Artificial Intelligence -- Robots, Natural Language, Social Networks, and Art -- Artificial Life Simulation...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“...Intelligent Billboard Based on Ambient System (IBBAS) -- Deriving Pauses for Obtaining Fundamental...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... for Defeasible Description Logics -- Extensional Higher-Order Logic Programming -- dl2asp: Implementing Default...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2013
Table of Contents:
“... -- The Self-adapted Taxi Dispatch Platform Based on Geographic Information System -- Contract-based Combined...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“... Annotation Based on Topic-Based Smoothing -- A Focused Crawler with Document Segmentation -- An Intelligent...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“...Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“...Artificial Intelligence in Education -- Building and Assessing Intelligent Tutoring Systems...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... for Distributed Shortest Paths and Its Experimental Evaluation -- Contraction of Timetable Networks with Realistic...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“...Computer Aided Composition -- Supporting Tools for Designing-By-Contract in Component-Based...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2014
Table of Contents:
“... Supply Chain Under Asymmetric Information -- An Intelligent Storage Management System based on Cloud...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2008
Table of Contents:
“... -- Coordination and Sociability for Intelligent Virtual Agents -- The Examination of an Information-Based Approach...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2013
Table of Contents:
“...Research and Development in Intelligent Systems XXX Best Technical Paper -- Pattern Graphs...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2006
Table of Contents:
“...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2015
Table of Contents:
“... on Multi-Objective Genetic Algorithm -- Integration of Spatial and Spectral Information by Means of Sparse...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]