IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
- ALL Institutes/Societies -
IEICE
A: Eng. Sci. Society
N: NOLTA Society
B: Commun. Society
C: Electron. Society
D: Inf. & Sys. Society
H: Human Comm. Grp.
2A: Eng. Sci. Society
2N: NOLTA Society
2B: Commun. Society
2C: Electron. Society
2D: Inf. & Sys. Society
2H: Human Comm. G.
3B: Commun. Society
IEE
IEIJ
JSAP
ITE
IPSJ
IEEE
ASJ
JSAI
OSJ
HIS
unknown
Others
- ALL Tech. Committee -
Biometrics (BioX)
Circuits and Systems (CAS)
Engineering Acoustics (EA)
Hardware Security (HWS)
Information and Communication Technologies for Safe and Secure Life (ICTSSL)
Image Media Quality (IMQ)
Information Security (ISEC)
Information Theory (IT)
Intelligent Transport Systems Technology (ITS)
Mathematical Systems Science and its Applications (MSS)
Reliability (R)
Reliable Communication and Control (RCC)
Signal Processing (SIP)
Smart Info-Media Systems (SIS)
Social Implications of Technology and Information Ethics (SITE)
Safety (SSS)
Thought and Language (TL)
Ultrasonics (US)
VLSI Design Technologies (VLD)
Wideband System (WBS)
Complex Communication Sciences (CCS)
Nonlinear Problems (NLP)
Ad Hoc Networks (AN)
Antennas and Propagation (AP)
Ambient intelligence and Sensor Networks (ASN)
Communication Quality (CQ)
Communication Systems (CS)
Energy Engineering in Electronics and Communications (EE)
Electromagnetic Compatibility (EMCJ)
Internet Architecture (IA)
Information and Communication Management (ICM)
Information Networks (IN)
Healthcare and Medical Information Communication Technology (MICT)
Mobile Network and Applications (MoNA)
Network Systems (NS)
Optical Communication Systems (OCS)
Optical Fiber Technology (OFT)
Photonic Network (PN)
Radio Communication Systems (RCS)
Space, Aeronautical and Navigational Electronics (SANE)
Satellite Telecommunications (SAT)
Sensor Network and Mobile Intelligence (SeMI)
Smart Radio (SR)
Short Range Wireless Communications (SRW)
Ubiquitous and Sensor Networks (USN)
Wireless Power Transfer (WPT)
Component Parts and Materials (CPM)
Electron Devices (ED)
Electronic Information Displays (EID)
Electromechanical Devices (EMD)
Electromagnetic Theory (EMT)
Electronics Simulation Technology (EST)
Integrated Circuits and Devices (ICD)
Lasers and Quantum Electronics (LQE)
Magnetic Recording & Information Storage (MRIS)
Microwaves (MW)
Microwave and Millimeter-wave Photonics (MWP)
Microwave Photonics and Terahertz Photonic-Electronic Technologies (MWPTHz)
Organic Molecular Electronics (OME)
OptoElectronics (OPE)
Superconductive Electronics (SCE)
Silicon Device and Materials (SDM)
Artificial Intelligence and Knowledge-Based Processing (AI)
Cloud Network Robotics (CNR)
Theoretical Foundations of Computing (COMP)
Consensus and Co-Creation Design (Consen)
Computer Systems (CPSY)
Dependable Computing (DC)
Data Engineering (DE)
Enriched MultiMedia (EMM)
Educational Technology (ET)
Information-Based Induction Sciences and Machine Learning (IBISML)
Information and Communication System Security (ICSS)
Image Engineering (IE)
Knowledge-Based Software Engineering (KBSE)
Life Intelligence and Office Information Systems (LOIS)
ME and Bio Cybernetics (MBE)
Medical Imaging (MI)
Neurocomputing (NC)
Natural Language Understanding and Models of Communication (NLC)
Pattern Recognition and Media Understanding (PRMU)
Reconfigurable Systems (RECONF)
Service Computing (SC)
Speech (SP)
Software Science (SS)
Software Interprise Modeling (SWIM)
Human Communication Science (HCS)
Human Information Processing (HIP)
Media Experience and Virtual Environment (MVE)
Well-being Information Technology (WIT)
Sensor Networks (SN)
Advanced Testing and Certification Technology for Radio Equipment (ACT)
Biometric System Security (BS)
Communication Behavior Engineering (CBE)
Network Virtualization (NV)
New Generation Network (NwGN)
Network Software (NWS)
Photonics-applied Electromagnetic Measurement (PEM)
Technical Committee on (UWT)
Photonic Integrated Circuit and Silicon Photonics (PICS)
Quantum Information Technology (QIT)
Silicon Photonics (SIPH)
Terahertz Application Systems (THz)
Technical Committee on (Consensus)
Cyberworlds (CW)
Future Technology Proposals by Fellows and Masters (FM)
Network Robot (NR)
Sustainable Computing (SUSC)
Multimedia on Cooking and Eating Activities (CEA)
EHI (EHI)
HCG Symposium (HCGSYMPO)
Human Probes (HPB)
Multiple Innovative Kenkyu-kai Association for wireless communications (MIKA)
Cross-Field Research Association of Super-Intelligent Networking (RISING)
Bio Micro Systems (IEE-BMS)
Communications (IEE-CMN)
Dielectrics and Electrical Insulation (IEE-DEI)
Electron Devices (IEE-EDD)
The Electronic Materials (IEE-EFM)
Electromagnetic Compatibility (IEE-EMC)
Electromagnetic Theory (IEE-EMT)
Home and Consumer Appliances (IEE-HCA)
* (IEE-IEA)
Innovative Industrial System (IEE-IIS)
Information Systems (IEE-IS)
Intelligent Transport Systems (IEE-ITS)
Magnetics (IEE-MAG)
The Medical and Biological Engineering (IEE-MBE)
Micromachine and Sensor System (IEE-MSS)
Optical and Quantum Devices (IEE-OQD)
Smart Facilities (IEE-SMF)
Semiconductor Power Converter (IEE-SPC)
Solid State Light Sources (IEIJ-SSL)
Silicon Technology Division (JSAP-silicon)
Three-Dimensional Image Technology (ITE-3DMT)
Artistic Image Technology (ITE-AIT)
Broadcasting Technology (ITE-BCT)
Consumer Electronics (ITE-CE)
Human Information (ITE-HI)
Information Display (ITE-IDY)
Information Sensing Technologies (ITE-IST)
Media Engineering (ITE-ME)
Multi-media Storage (ITE-MMS)
Sport Information Processing (ITE-SIP)
Assistive & Accessible Computin (IPSJ-AAC)
Algorithms (IPSJ-AL)
System Architecture (IPSJ-ARC)
Audio Visual and Multimedia Information Processing (IPSJ-AVM)
Bioinformatics and Genomics (IPSJ-BIO)
Computers in Education (IPSJ-CE)
Computer Graphics and Visual Informatics (IPSJ-CGVI)
Collaboration and Learning Environment (IPSJ-CLE)
Collaboration and Network Services (IPSJ-CN)
Computer Security (IPSJ-CSEC)
Computer Vision and Image Media (IPSJ-CVIM)
Database System (IPSJ-DBS)
Document Communication (IPSJ-DC)
Digital Contents Creation (IPSJ-DCC)
Distributed Processing System (IPSJ-DPS)
Entertainment Computing (IPSJ-EC)
Electronic Intellectual Property (IPSJ-EIP)
Embedded Systems (IPSJ-EMB)
* (IPSJ-FI)
Human-Computer Interaction (IPSJ-HCI)
High Performance Computing (IPSJ-HPC)
Intelligence and Complex Systems (IPSJ-ICS)
Information Fundamentals and Access Technologies (IPSJ-IFAT)
Internet and Operation Technology (IPSJ-IOT)
Intelligent Transport Systems and Smart Community (IPSJ-ITS)
Mobile Computing and Pervasive Systems (IPSJ-MBL)
Mathematical Modeling and Problem Solving (IPSJ-MPS)
Music and Computer (IPSJ-MUS)
Natural Language (IPSJ-NL)
Software Engineering (IPSJ-SE)
System and LSI Design Methodology (IPSJ-SLDM)
Spoken Language Processing (IPSJ-SLP)
Security Psychology and Trust (IPSJ-SPT)
Ubiquitous Computing System (IPSJ-UBI)
Architectural Acoustics (ASJ-AA)
Auditory Research Meeting (ASJ-H)
Musical Acoustics (ASJ-MA)
Speech Processing Meeting (ASJ-SP)
Data Oriented Constructive Mining and Simulation (JSAI-DOCMAS)
Knowledge-Based Systems (JSAI-KBS)
Society and Artificial Intelligence (JSAI-SAI)
Spoken Language Understanding and Dialogue Processing (JSAI-SLUD)
De-vice Media Oriented UI (HI-SIG-DeMO)
Virtual Reality (HI-SIG-VR)
* (HI-SIGACI)
Communication Enhancement (HI-SIGCOASTER)
SIG-VRPSY (VRPSY)
The Virtual Reality Society of Japan (VRSJ)
SIG-CS (VRSJ-SIG-CS)
SIG-MR (VRSJ-SIG-MR)
Debugging (DEBUG)
The Institute of Image Electronics Engineers of Japan (IIEEJ)
Keihannna Sig on Web for People in the Information Era (KEWPIE)
Korea Society of Satellite Technology (KOSST)
The Laser Society of Japan (LSJ)
Society for Information Display Japan Chapter (SID-JC)
Latest
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
Recent 1M
Recent 1Y
Recent 2Y
Recent 3Y
Recent 5Y
Recent 10Y
2005-2009
2010-2014
2015-2019
2020-2022
All Years
[Japanese]
/
[English]
- ALL Places -
Hokkaido
Tohoku Region
Kanto Region
Koushin'etsu Region
Hokuriku Region
Tokai Region
Kinki Region
Chugoku Region
Shikoku Region
kyusyu Region
Okinawa
Tokyo
Tokyo and Kanagawa
Tokyo-ken
Osaka-ken
Overseas
Online
(
Committee/Place/Topics
) --Press->
(
Paper Keywords:
/ Column:
Title
Auth.
Affi.
Abst.
Keyword
) --Press->
All Technical Committee Conferences
(Searched in: All Years)
Search Results: Conference Papers
Conference Papers (Available on Advance Programs)
(Sort by: Date Descending)
Results 1 - 1 of 1
/
Sort by: Date Ascending
Sort by: Date Descending
Sort by: Title
Sort by: Author
Sort by: Affiliation
Sort by: Committee
5 Results
10 Results
20 Results
30 Results
50 Results
100 Results
200 Results
500 Results
Committee
Date Time
Place
Paper Title / Authors
Abstract
Paper #
SS
2005-06-24
10:45
Nagano
Shinshu Univ. Ohta-Kokusai-Kinenkan
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability
Keiichirou Kusakari
,
Takahiro Sakurai
,
Naoki Nishida
,
Masahiko Sakai
,
Toshiki Sakabe
(
Nagoya Univ.
)
Terminating functional programs are safe in execution, and valuable because their reduction relations are suitable for i...
[more]
SS2005-21
pp.19-24
Results 1 - 1 of 1
/
Sort by: Date Ascending
Sort by: Date Descending
Sort by: Title
Sort by: Author
Sort by: Affiliation
Sort by: Committee
5 Results
10 Results
20 Results
30 Results
50 Results
100 Results
200 Results
500 Results
Choose a download format for default settings.
[NEW !!]
Text format
pLaTeX format
CSV format
BibTeX format
[Return to Top Page]
[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan