Sciweavers

2478 search results - page 236 / 496
» Universality in two dimensions
Sort
View
MDM
2009
Springer
115views Communications» more  MDM 2009»
16 years 1 months ago
Design of P2Pnet: An Autonomous P2P Ad-Hoc Group Communication System
This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...
Yao-Nan Lien, Hung-Chin Jang, Tzu-Chieh Tsai
TLCA
2009
Springer
16 years 1 months ago
On the Meaning of Logical Completeness
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
Michele Basaldella, Kazushige Terui
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
16 years 1 months ago
Pedagogy and Overview of a Graduate Program in Digital Investigation Management
Although still a relatively new undergraduate course of study at most colleges and universities, specialized degree programs in computer forensics and digital investigations are n...
Gary C. Kessler, Don Haggerty
ICPADS
2008
IEEE
16 years 1 months ago
The Organization of Intel Cup Undergraduate Embedded System Electronic Design Contest
The Intel Cup Undergraduate Embedded System Electronic Design Contest is an embedded system design invitational contest in China. This contest is held every two years since 2002. ...
Tianzhou Chen, Jolly Wang, Bin Xie, Guozhi Xu
AH
2008
Springer
16 years 29 days ago
Supporting Interaction Preferences and Recognition of Misconceptions with Independent Open Learner Models
Misconceptions have been identified in many subjects. However, there has been less investigation into students' interest in their misconceptions. This paper presents two indep...
Susan Bull, Andrew Mabbott, Peter Gardner, Tim Jac...