Result 1 to 20 of 43 total
DC2: A framework for scalable, scope-bounded software verification (English)
ASE, 133-142 (2011).
1
Facial parameters and their influence on subjective impression in the context of keyframe extraction from home video contents. (English)
Boll, Susanne (ed.) et al., Advances in multimedia modeling. 16th international multimedia modeling conference, MMM 2010, Chongqing, China, January 6‒8, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11300-0/pbk). Lecture Notes in Computer Science 5916, 76-86 (2010).
2
Binary spreading sequences with negative auto-correlation based on chaos theory and gold sequences for application to asynchronous DS/CDMA communications (English)
IEICE Transactions 93-A, No. 11, 2307-2311 (2010).
3
Facial parameters and their influence on subjective impression in the context of keyframe extraction from home video contents (English)
MMM, 76-86 (2010).
4
All splitting logics in the lattice NExt(KTB). (English)
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1‒4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic‒Studia Logica Library 28, 53-67 (2009).
5
Efficient implementation of pairing-based cryptography on a sensor node (English)
IEICE Transactions 92-D, No. 5, 909-917 (2009).
6
Use of the knowledge which is independence on reward in reinforcement learning (English)
CIRA, 114-119 (2009).
7
Concept drift in documents and formal concept analysis (English)
EJC, 105-115 (2009).
8
io-port 70451992 Shirasaki, Motoyasu;
Miyazaki, Yusaku;
Hoshaku, Masahiro;
Yamamoto, Hiroo;
Ogawa, Sachio;
Arimura, Takuya;
Hirai, Hiroshi;
Iizuka, Yasuo;
Sekibe, Tsutomu;
Nishida, Yoichi;
Ishioka, Toshiyuki;
Michiyama, Junji
A 45nm single-chip application-and-baseband processor using an intermittent operation technique (English)
ISSCC, 156-157 (2009).
9
Infocruise: information navigation presenting a focus facet based on context (English)
ACHI, 45-52 (2008).
10
Kripke incomplete logics containing KTB. (English)
Stud. Log. 85, No. 3, 303-317 (2007).
11
A splitting logic in NExt(KTB). (English)
Stud. Log. 85, No. 3, 381-394 (2007).
12
Analysis of optical processing for recognition of BPSK optical codes using collinear acoustooptic switches for photonic routing network (English)
IEICE Transactions 90-C, No. 2, 334-342 (2007).
13
Design and fabrication of 40 gbps-NRZ SOA-MZI all-optical wavelength converters with submicron-width bulk ingaasp active waveguides (English)
IEICE Transactions 90-C, No. 5, 1118-1123 (2007).
14
Can A narrow field of view explain the extremely small amount of tactile memory during tactile search for change? (English)
WHC, 559-560 (2007).
15
Dental patient robot (English)
IROS, 1273-1278 (2006).
16
C-based design of a real time speech recognition system (English)
ISCAS (2006).
17
Pedestrian navigation system for mobile phones using panoramic landscape images (English)
SAINT, 102-108 (2006).
18
Normal modal logics containing KTB with some finiteness conditions. (English)
Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9‒11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 171-190 (2005).
19
Faithful and unfaithful students in time series learning. (English)
IMA J. Appl. Math. 70, No. 5, 657-665 (2005).
20
Result 1 to 20 of 43 total