Sciweavers

527 search results - page 50 / 106
» Towards a Natural Way of Reasoning
Sort
View
IV
2002
IEEE
95views Visualization» more  IV 2002»
15 years 2 months ago
Visualising Human Dialog
Human dialogue is so complex that definitively analysing patterns of conversation may well be impossible. Within a conversation, all the complexities and ambiguities of natural la...
Annie Tat, M. Sheelagh T. Carpendale
UML
2001
Springer
15 years 2 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre
JALC
2006
95views more  JALC 2006»
14 years 9 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
LOGCOM
2008
81views more  LOGCOM 2008»
14 years 9 months ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
JAISE
2010
192views Algorithms» more  JAISE 2010»
14 years 4 months ago
Activity recognition using temporal evidence theory
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...
Susan McKeever, Juan Ye, Lorcan Coyle, Chris Bleak...