10916 search results - page 257 / 2184 » On Constructive Connectives and Systems |
215
click to vote
SEMWEB
2011
Springer
14 years 9 months ago
2011
Springer
In this tool report, we present an overview of the Watson system, a Semantic Web search engine providing various functionalities not only to find and locate ontologies and semanti...
237
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
134
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
166
click to vote
ICDCSW
2005
IEEE
16 years 10 days ago
2005
IEEE
— Search and rescue of people in emergency situations, e.g. lost hikers, stranded climbers, or injured skiers has been difficult due to lack of information about their location ...
180
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The interests in health care have considerably increased these days as the aging population becomes larger. Health care has grown to the one of most active research area...