|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SWIM |
2006-05-30 13:15 |
Tokyo |
|
Domain Ontology on Health and Inference Rules derinving Health Advices Atsushi Togashi (Miyagi Univ.), Satoru Izumi (SNCT), Hiroyuki Aoki, Junya Yumoto (Miyagi Univ.), Goich Itabashi (SFAIS), Kaoru Takahashi, Yasushi Kato (SNCT), Shoich Noguchi (SFAIS) |
[more] |
SWIM2006-4 pp.19-24 |
COMP |
2005-10-19 11:00 |
Miyagi |
Tohoku Univ. |
Monotone DNFs that Minimize/Maximize the Number of Satisfying Assignments Kazuyuki Amano (Tohoku Univ.), Takayuki Sato (Sendai Nat. Col. Tech.), Akira Maruoka (Tohoku Univ.) |
[more] |
COMP2005-47 pp.19-24 |
ICD |
2005-07-14 13:50 |
Aichi |
Toyohashi Univ. of Tech. |
* Masaaki Sasaki (SNCT), Mitsuhito Mase, Shoji Kawahito (Shizuoka Univ.), Yoshiaki Tadokoro (Toyohashi Univ. of Tech.) |
[more] |
ICD2005-47 pp.43-48 |
ICD |
2005-05-26 14:30 |
Hyogo |
Kobe Univ. |
A 19.5b Wide Dynamic Range CMOS Image Sensor with 12b Column-Parallel Cyclic A/D Converters Masaaki Sasaki (Sendai National College of Tech.), Mitsuhito Mase (Shizuoka Univ.), Shoji Kawahito (Research Institute of Elec., Shizuoka Univ.), Yasuo Wakamori (Yamaha) |
A wide dynamic range CMOS image sensor with burst readout multiple exposure is proposed. In this method, maximaly four d... [more] |
ICD2005-27 pp.41-46 |
MI |
2005-01-22 13:00 |
Okinawa |
Univ. of the Ryukus |
An improvement of lung region extraction using Active Cylinder Model in chest X-ray CT image Toshiaki Okumura (Sendai Nat. Coll. of Tech.), Hotaka Takizawa, Shinji Yamamoto (Toyohashi Univ. of Tech.), Tohru Matsumoto, Yukio Tateno, Takeshi Iinuma (Nat. Inst. of Radiological Sc.), Yoko Tachibana, Tomio Nakayama (Osaka Med. Center for Cancer and Cardiovascula Diseases) |
[more] |
MI2004-89 pp.49-54 |
ET |
2004-12-18 09:00 |
Oita |
|
An Ontology-based e-learning system for cryptography Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi (SNCT), Goichi Itabashi (Tohoku Univ.), Yasushi Kato, Kaoru Takahashi (SNCT) |
Effective information services could be provided for users by investing meta-data in information sources and making soft... [more] |
ET2004-73 pp.1-6 |
SS |
2004-11-25 13:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Specification and Verification of Digital Logic based on Automaton Model Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) |
As application of formal methods, there have been researches for specification of digital logic, based on E-LOTOS and SD... [more] |
SS2004-26 pp.1-6 |
SS |
2004-08-02 16:15 |
Hokkaido |
Future University Hakodate |
Specification of a Security Protocol based on a State Machine Model Goichi Itabashi (Tohoku Univ.), Kaoru Takahashi, Yasushi Kato (SNCT), Takuo Suganuma, Norio Shiratori (Tohoku Univ.) |
Formal methods such as the spi calculus have been proposed in order to validate security protocols. In this paper, we pr... [more] |
SS2004-12 pp.37-39 |
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|