Sciweavers

1791 search results - page 41 / 359
» Two Types of Multiple-Conclusion Systems
Sort
View
IROS
2008
IEEE
91views Robotics» more  IROS 2008»
14 years 2 months ago
Peltier-based freeze-thaw connector for waterborne self-assembly systems
Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
Shuhei Miyashita, Flurin Casanova, Max Lungarella,...
COMPSAC
2009
IEEE
14 years 2 months ago
Integrating System Modeling with Project Management - A Case Study
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
Jonas Helming, Jörn David, Maximilian Koegel,...
WCNC
2008
IEEE
14 years 2 months ago
Modeling an Opportunistic Spectrum Sharing System with a Correlated Arrival Process
— In an opportunistic spectrum sharing (OSS) wireless network there are two types of users: primary users and secondary users. The primary users own the license for the system ba...
Shensheng Tang, Brian L. Mark
HICSS
2006
IEEE
128views Biometrics» more  HICSS 2006»
14 years 1 months ago
Examining the Cognitive Style Effects on the Acceptance of Online Community Weblog Systems
Weblog is increasingly important over time with researchers anxious to learn why millions of Internet users are so eager to post their own diary on the web everyday. This study co...
Will Wai-Kit Ma, Pu Li, Theodore H. K. Clark
LPNMR
2005
Springer
14 years 1 months ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...