Sciweavers

1269 search results - page 213 / 254
» Pi-Calculus in Logical Form
Sort
View
BIOCOMP
2006
13 years 10 months ago
A Clinical Decision Support System For Managing Flexor Tendon Injuries
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...
Prashant Junankar, Dinesh P. Mital, Syed Haque, Sh...
IADIS
2004
13 years 10 months ago
A Middleware Service for Managing Time and Quality Dependent Context
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
Tasos Kontogiorgis, Dimitrios I. Fotiadis, Apostol...
FECS
2006
159views Education» more  FECS 2006»
13 years 10 months ago
Evolving Mathematical Functions with Genetic Algorithms - A Team Project on Artificial Intelligence
- In contrast to most of the senior level Artificial Intelligence (AI) courses where AI is taught in the jargon of theoretical computer science with crowd of complex matrix algebra...
Zhiguang Xu, Chris Neasbitt, Jared Summers, Bill C...
ACL
2003
13 years 10 months ago
Orthogonal Negation in Vector Spaces for Modelling Word-Meanings and Document Retrieval
Standard IR systems can process queries such as “web NOT internet”, enabling users who are interested in arachnids to avoid documents about computing. The documents retrieved ...
Dominic Widdows
DLOG
2003
13 years 10 months ago
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
Jeff Z. Pan, Ian Horrocks