A proposal for an educational system service to support teaching/learning process for logic programming

Summary form only given. The interactive 3D technologies group at Microsoft Research Cambridge brings together research in vision, graphics, novel hardware and AR/VR. In this talk, Dr. Izadi will give a broad overview of his new group, highlighting a number of existing projects. The majority of the...

Full description

Saved in:
Bibliographic Details
Published in:2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T) p. 556
Main Authors: Dantas, Eric R. G., de Azevedo, Ryan R., Rodrigues, Cleyton M. O., Almeida, Silas C., Freitas, Fred, Garcia, Vinicius C.
Format: Conference Proceeding
Language:English
Published: IEEE 01.05.2011
ISBN:9781457703492, 1457703491
ISSN:1093-0175
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Summary form only given. The interactive 3D technologies group at Microsoft Research Cambridge brings together research in vision, graphics, novel hardware and AR/VR. In this talk, Dr. Izadi will give a broad overview of his new group, highlighting a number of existing projects. The majority of the talk will focus on KinectFusion, a project that demonstrates the radically new user experiences that can be enabled when researching at the intersection of these different disciplines.
AbstractList Summary form only given. The interactive 3D technologies group at Microsoft Research Cambridge brings together research in vision, graphics, novel hardware and AR/VR. In this talk, Dr. Izadi will give a broad overview of his new group, highlighting a number of existing projects. The majority of the talk will focus on KinectFusion, a project that demonstrates the radically new user experiences that can be enabled when researching at the intersection of these different disciplines.
Author de Azevedo, Ryan R.
Dantas, Eric R. G.
Rodrigues, Cleyton M. O.
Garcia, Vinicius C.
Freitas, Fred
Almeida, Silas C.
Author_xml – sequence: 1
  givenname: Eric R. G.
  surname: Dantas
  fullname: Dantas, Eric R. G.
  organization: Federal University of Pernambuco - UFPE
– sequence: 2
  givenname: Ryan R.
  surname: de Azevedo
  fullname: de Azevedo, Ryan R.
  organization: Federal University of Pernambuco - UFPE
– sequence: 3
  givenname: Cleyton M. O.
  surname: Rodrigues
  fullname: Rodrigues, Cleyton M. O.
  organization: Federal University of Pernambuco - UFPE
– sequence: 4
  givenname: Silas C.
  surname: Almeida
  fullname: Almeida, Silas C.
  organization: Federal University of Pernambuco - UFPE
– sequence: 5
  givenname: Fred
  surname: Freitas
  fullname: Freitas, Fred
  organization: Federal University of Pernambuco - UFPE
– sequence: 6
  givenname: Vinicius C.
  surname: Garcia
  fullname: Garcia, Vinicius C.
  organization: Federal University of Pernambuco - UFPE
BookMark eNpVkMtOwzAQRY0oEm3pD8DGP5DWjzhOllVVClIlFpR15TgzwSiJIztF6t-TQjesZuZczVncGZl0vgNCHjlbcs6K1eZ9uz0sBeN8qXKdcSVuyKLQOU-V1kymubr9dxdiQqbjo0wY1-qezGL8YkywlOkpqde0D7730TQUfaCmo1CdrBmc70YUz3GAlkYI384CHTyNp773YaADGPvpunrVgAnduFw8FmL81TS-dvZC6mDadkwfyB2aJsLiOufk43l72Lwk-7fd62a9T5zgxZBUDEtRZqYsRSqxQKUxA0QtkPESNegCCwHKVhXmGabSWp0ZXSFKwXLImZyTpz-vA4BjH1xrwvl47Un-ADdlXw0
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/CSEET.2011.5876152
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9781457703485
1457703483
1457703475
9781457703478
EndPage 556
ExternalDocumentID 5876152
Genre teaser-abstract
GroupedDBID 29O
6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AAWTH
ABLEC
ACGFS
ADZIZ
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
IEGSK
IPLJI
OCL
RIE
RIL
RNS
ID FETCH-LOGICAL-i219t-d0fb2b6abb243f9f57f6eff72f01bf7e79f92e5cddf86f43cc76a7dff3208e803
IEDL.DBID RIE
ISBN 9781457703492
1457703491
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000299277100082&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1093-0175
IngestDate Wed Aug 27 02:52:57 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i219t-d0fb2b6abb243f9f57f6eff72f01bf7e79f92e5cddf86f43cc76a7dff3208e803
OpenAccessLink https://figshare.com/articles/journal_contribution/A_Proposal_for_an_Educational_System_Service_to_Support_Teaching_Learning_Process_for_Logic_Programming/96677
PageCount 1
ParticipantIDs ieee_primary_5876152
PublicationCentury 2000
PublicationDate 2011-May
PublicationDateYYYYMMDD 2011-05-01
PublicationDate_xml – month: 05
  year: 2011
  text: 2011-May
PublicationDecade 2010
PublicationTitle 2011 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T)
PublicationTitleAbbrev CSEET
PublicationYear 2011
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0020407
ssj0000669879
Score 1.767415
Snippet Summary form only given. The interactive 3D technologies group at Microsoft Research Cambridge brings together research in vision, graphics, novel hardware and...
SourceID ieee
SourceType Publisher
StartPage 556
Title A proposal for an educational system service to support teaching/learning process for logic programming
URI https://ieeexplore.ieee.org/document/5876152
WOSCitedRecordID wos000299277100082&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3JasMwEBVJ6KGnLknpjg491o28SfaxhIQeSgg0hdyClpkQaB0TO_3-yvJSCr30ZstgG6FZNHrzHiEPSqfIuJIeYMS9SFpTTCJUXqJlEoIUcVCTuL6K-TxZrdJFjzx2vTAA4MBn8FRdurN8s9OHqlQ2jq3p2njTJ30heN2r1dVTbOi02-e022zZxemEVViFT7Mx0jV1xUJUfCx-y_XU3AdtNw1Lx5O36XRZU3s2n_ulu-LCzuzkfz98SkY__Xt00UWmM9KD7JyctAIOtLHnIdk807xSSSjkB7XJK5UZhRbwYYdqlmda1O6EljtaHPIqX6dlg8EcN6ITG5rXDQfuNc6d0gb59Wmfjsj7bLqcvHiN8oK3tR6s9AxDFSgulQqiEFOMBXJAFAEyX6EAkWIaQKyNwYRjFGotuBQGMQxYAgkLL8gg22VwSWisTKziEDhPTBQhpKHytWY-2NTRAA-uyLCat3Vek2usmym7_nv4hhzXRd0KcXhLBuX-AHfkSH-V22J_71bEN03ts30
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS8MwFA5zCvo0dRPv5sFH67I0l_ZRxsbEOQZO2Nto0nPGQLexdf5-06sIvvjWptCWkHPJyXe-j5B7Y0NkykQeoFCeiJwpBgKNF9go8CHSkuckrkM9GgXTaTiukYeqFwYAMvAZPKaX2Vl-vLK7tFTWls50XbzZI_tSCM7ybq2qouKCp9tAh9V2yy3PTFqFpQg1FyWzti6pdcrI0inZnop7XvbTsLDdfev1Jjm5Z_HBX8orWeDpN_73y8ek9dPBR8dVbDohNViekkYp4UALi26S-RNdpzoJ2-iDuvSVRksKJeTDDeU8z3SbOxSarOh2t04zdpoUKMx2ITsxp-u85SB7TeZQaYH9-nRPW-S935t0B16hveAtnA9LvJih4UZFxnDhY4hSowJEzZF1DGrQIYYcpI1jDBQK31qtIh0j-pwFEDD_jNSXqyWcEypNLI30QakgFgIh9E3HWtYBlzzGoPgFaabzNlvn9BqzYsou_x6-I4eDyetwNnwevVyRo7zEm-IPr0k92ezghhzYr2Sx3dxmq-Mb1Ba2xA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2011+24th+IEEE-CS+Conference+on+Software+Engineering+Education+and+Training+%28CSEE%26T%29&rft.atitle=A+proposal+for+an+educational+system+service+to+support+teaching%2Flearning+process+for+logic+programming&rft.au=Dantas%2C+Eric+R.+G.&rft.au=de+Azevedo%2C+Ryan+R.&rft.au=Rodrigues%2C+Cleyton+M.+O.&rft.au=Almeida%2C+Silas+C.&rft.date=2011-05-01&rft.pub=IEEE&rft.isbn=9781457703492&rft.issn=1093-0175&rft.spage=556&rft.epage=556&rft_id=info:doi/10.1109%2FCSEET.2011.5876152&rft.externalDocID=5876152
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1093-0175&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1093-0175&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1093-0175&client=summon