Sciweavers

199 search results - page 5 / 40
» kais 2006
Sort
View
KI
2006
Springer
14 years 9 months ago
The RoboCup Rescue Team Deutschland1
Andreas Nüchter, Kai Lingemann, Joachim Hertz...
DI
2006
54views more  DI 2006»
14 years 10 months ago
Data hiding in the NTFS file system
Ewa Huebner, Derek Bem, Cheong Kai Wee
IEICET
2007
51views more  IEICET 2007»
14 years 9 months ago
Proof: A Novel DHT-Based Peer-to-Peer Search Engine
Kai-Hsiang Yang, Jan-Ming Ho
LPAR
2005
Springer
15 years 3 months ago
Model Checking Abstract State Machines with Answer Set Programming
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
Calvin Kai Fan Tang, Eugenia Ternovska
RTAS
2006
IEEE
15 years 3 months ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...