|
Showing 1 - 10 of
10 matches in All Departments
|
AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings (Paperback, 1st ed. 2018)
Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso
|
R1,647
Discovery Miles 16 470
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the XVIIth
International Conference of the Italian Association for Artificial
Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.
The 41 full papers were carefully reviewed and selected from 67
submissions. The papers have been organized in the following
topical sections: Agents and Multi-Agent Systems; Applications of
AI; Knowledge Engineering, Ontologies and the Semantic Web;
Knowledge Representation and Reasoning; Machine Learning; Natural
Language Processing; Planning and Scheduling; and Recommendation
Systems and Decision Making.
|
Web Information Systems and Technologies - 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers (Paperback, 1st ed. 2017)
Valerie Monfort, Karl-Heinz Krempels, Tim A. Majchrzak, Paolo Traverso
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes revised selected papers from the 12th
International Conference on Web Information Systems and
Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016,
organized by the Institute for Systems and Technologies of
Information, Control and Communication (INSTICC). The purpose of
the WEBIST series of conferences is to bring together researches,
engineers and practitioners interested in technological advances
and business applications of web-based information systems. The 9
full papers presented in this volume were carefully reviewed and
selected originally 123 paper submissions. They contribute to the
understanding of relevant trends of current research on Web
Information Systems and Technologies, comprising recommender
systems, sentiment analysis, ranking, and Web applications and Web
architecture.
|
The Semantic Web: Research and Applications - 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31- June 4, 2009 Proceedings (Paperback, 2009 ed.)
Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, …
|
R3,170
Discovery Miles 31 700
|
Ships in 10 - 15 working days
|
This volume contains papers from the technical program of the 6th
European Semantic Web Conference (ESWC 2009), held from May 31 to
June 4, 2009, in Heraklion, Greece. ESWC 2009 presented the latest
results in research and applications of Semantic Web technologies.
In addition to the technical research track, ESWC 2009 featured a
tutorial program, a PhD symposium, a system demo track, a poster
track, a number of collocated workshops, and for the ?rst time in
the series a Semantic Web in-use track exploring the bene?ts of
applying Semantic Web technology in real-life applications and
contexts. Thetechnical researchpaper
trackreceivedover250submissions.The review process was organized
using a two-tiered system, where each submission was reviewed by at
least three members of the Program Committee. Vice Program
CommitteeChairsorganizedadiscussionbetweenreviewers,collectedadditional
reviews when necessary and provided a metareview for each
submission. During a physical Program Committee meeting, the Vice
Program Committee Chairs together with the Program Chairs selected
45 research papers to be presented at the conference.
The First Future Internet Symposium was held during September
28-30, 2008 in Vienna, Austria. FIS 2008 provided a forum for
leading researchersand pr- titioners to meet and discuss the
wide-ranging scienti?c and technical issues related to the design
of a new Internet. The sentiment shared in Vienna was that we are
at the beginning of something very exciting and challenging and
that FIS 2008 has played a role in forming a community to address
this. With overa billionusers,today's Internet is arguablythe most
successful- man artifact ever created. The Internet's physical
infrastructure, software, and content now play an integralpart in
the lives of everyoneon the planet, whether they interact with it
directly or not. Now nearing its ?fth decade, the Int- net has
shown remarkable resilience and ?exibility in the face of
ever-increasing numbers of users, data volume, and changing usage
patterns, but faces gr- ing challenges in meetings the needs of our
knowledge society. Globally, many major initiatives are underway to
address the need for more scienti?c research, physical
infrastructure investment, better education, and better utilization
of the Internet. Japan, the USA and Europe are investing heavily in
this area. The EU is shaping around the idea of the Future Internet
its research programmes for the Seventh Framework. EU
commissioners, national government ministers, industry leadersand
researchersmet in Bled, Slovenia during March 31-April2, 2008, to
begin developing a vision of a future Internet that will meet
Europe's needs a decade from now, and beyond.
Abroadprogrammeofscienti?cresearchisessentialtosupportingtheaimsof
the Future Internetinitiative.
|
Artificial Intelligence: Methodology, Systems, and Applications - 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008, Proceedings (Paperback, 2008 ed.)
Daniel Dochev, Paolo Traverso, Marco Pistore
|
R1,601
Discovery Miles 16 010
|
Ships in 10 - 15 working days
|
The 13th Conference on Arti?cial Intelligence: Methodology,
Systems, App- cations (AIMSA 2008) was held in Varna, Bulgaria, on
September 4-6, 2008. The AIMSA conference series has provideda
biennial forum for the presentation of arti?cial intelligence
research and development since 1984. The conference covered the
full range of topics in arti?cial intelligence and related
disciplines and provided an ideal forum for international scienti?c
exchange between C- tral/Eastern Europe and the rest of the world.
For AIMSA 2008, wedecided to placespecial emphasisonthe worksonth-
ries, experimentations, applications, and case studies that
demonstrate in pr- tice the added value and the impact ofAI
science, methodologiesand techniques for the market, society, and
culture. We believe that this vision of "AI@WORK" truly re?ects the
original intention of AIMSA, a conference dedicated to ar- ?cial
intelligence in its entirety but with a special emphasis on
"methodology, systems, and applications," as explicitly stated in
its name. According to this vision, we have also paid special
attention to works that "cross the boundaries of AI," i. e., works
that demonstrate the in?uence of AI on di?erent ?elds of research
and di?erent scienti?c communities, such as software engineering,
data bases, distributed systems, information systems, information
retrieval, etc. Both of these aspects were covered by the papers
that were submitted and by those that were accepted for
publication. A total of 109 papers were submitted to the
conference, and the program committee accepted 30 full papers and
10 posters.
This volume contains the proceedings of the Third International
Conference on Service-Oriented Computing (ICSOC 2005), that took
place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005
edition had the important and ambitious goal of bringing together
the different communities working in Web services and
service-oriented computing. By attracting excellent contributions
from different scientific communities, ICSOC aims at creating a
scientific venue where participants can share ideas and compare
their approaches to tackling the many still-open common research
challenges. The commitment to cross-area fertilization was put into
practice by having a very diversified Program Committee and by the
presence of several area coordinators, leaders in the respective
communities who encouraged and supervised submissions in each area.
This is also the first edition to feature a successful workshop and
demo program, with selected demos also presented in a paper-like
fashion so that they get the attention they deserve. In addition,
ICSOC 2005 inherited from previous editions a strong industrial
presence, both in the conference organization and in the program.
This is very important due to the industrial relevance and the many
challenges of service oriented technologies.
|
Applied Formal Methods - FM-Trends 98 - International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings (Paperback, 1999 ed.)
Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann
|
R1,719
Discovery Miles 17 190
|
Ships in 10 - 15 working days
|
This volume contains the contributions presented at the
International Workshop on Current Trends in Applied Formal Methods
organized October 7-9, 1998, in Boppard, Germany. The main
objective of the workshop was to draw a map of the key issues
facing the practical application of formal methods in industry.
This appears to be particularly timely with safety and security
issues becoming a real obstacle to industrial software and hardware
development. As a consequence, almost all major companies have now
set up departments or groups to work with formal methods and many
European countries face a severe labour shortage in this new field.
Tony Hoare's prediction of the art of software (and hardware)
development becoming a proper engineering science with its own body
of tools and techniques is now becoming a reality. So the focus of
this application oriented workshop was not so much on spe cial
academic topics but rather on the many practical aspects of this
emerging new technology: verification and validation, and tool
support and integration into the software life-cycle. By evaluating
the state of the art with respect to industrial applications a
discussion emerged among scientists, practising engi neers, and
members of regulatory and funding agencies about future needs and
developments. This discussion lead to roadmaps with respect to the
future of this field, to tool support, and potential application
areas and promising market segments. The contributions of the
participants from industry as well as from the respective national
security bureaus were particularly valuable and highly
appreciated."
|
Web Information Systems and Technologies - 13th International Conference, WEBIST 2017, Porto, Portugal, April 25-27, 2017, Revised Selected Papers (Paperback, 1st ed. 2018)
Tim A. Majchrzak, Paolo Traverso, Karl-Heinz Krempels, Valerie Monfort
|
R1,557
Discovery Miles 15 570
|
Ships in 10 - 15 working days
|
This book constitutes revised selected papers from the 13th
International Conference on Web Information Systems and
Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017.
The purpose of the WEBIST series of conferences is to bring
together researches, engineers and practitioners interested in
technological advances and business applications of web-based
information systems. The 12 full papers presented in this volume
were carefully reviewed and selected from originally 77 paper
submissions. They contribute to the understanding of relevant
trends of current research on Web information systems and
technologies, comprising unified interfaces, Progressive Web Apps
(PWAs) as well as a mobile device taxonomy, XML and open data
processing, the history of Web engineering, web development for
end-users, access control, Web platform assessment, rule engines,
and scientific blogging.
Automated planning technology now plays a significant role in a
variety of demanding applications, ranging from controlling space
vehicles and robots to playing the game of bridge. These real-world
applications create new opportunities for synergy between theory
and practice: observing what works well in practice leads to better
theories of planning, and better theories lead to better
performance of practical applications.
Automated Planning mirrors this dialogue by offering a
comprehensive, up-to-date resource on both the theory and practice
of automated planning. The book goes well beyond classical
planning, to include temporal planning, resource scheduling,
planning under uncertainty, and modern techniques for plan
generation, such as task decomposition, propositional
satisfiability, constraint satisfaction, and model checking.
The authors combine over 30 years experience in planning research
and development to offer an invaluable text to researchers,
professionals, and graduate students.
*Comprehensively explains paradigms for automated planning.
*Provides a thorough understanding of theory and planning practice,
and how they relate to each other.
*Presents case studies of applications in space, robotics, CAD/CAM,
process control, emergency operations, and games.
*Provides a thorough understanding of AI planning theory and
practice, and how they relate to each other.
*Covers all the contemporary topics of planning, as well as
important practical applications of planning, such as model
checking and game playing.
*Presents case studies and applications in planning engineering,
space, robotics, CAD/CAM, process control, emergency operations,
and games.
*Provides lecture notes, examples of programming assignments,
pointers to downloadable planning systems and related information
online.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|