Sciweavers

1925 search results - page 254 / 385
» Theory research at Google
Sort
View
IAT
2006
IEEE
16 years 13 days ago
Storytelling Ontology Model Using RST
Storytelling applications are increasingly being used and researched due to the fact that they are capable of conveying information and experience to users in a more natural and f...
Arturo Nakasone, Mitsuru Ishizuka
ICARCV
2006
IEEE
126views Robotics» more  ICARCV 2006»
16 years 13 days ago
Developments in Snake Robot Modeling and Locomotion
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...
Aksel Andreas Transeth, Kristin Ytterstad Petterse...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 12 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
ICNP
2006
IEEE
16 years 12 days ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
ISBI
2006
IEEE
16 years 12 days ago
x-f SENSE: optimal spatio-temporal sensitivity encoding for dynamic MR imaging
For high quality MR imaging of time-varying objects such as beating heart or brain hemodynamics, we need to reduce signal acquisition time without sacrificing the spatial resolut...
Jinhee Kim, Jong Chul Ye, Jaehung Yoo