2117 search results - page 284 / 424 » Data Modelling in Complex Application Domains |
122
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
142
click to vote
TCS
2008
15 years 4 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...
145
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
In the domain of computer vision, there exists a very wide application for the research of human motion capture. This paper proposes a new approach to do motion capture in video. ...
155
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
133
click to vote
AAAI
1998
15 years 5 months ago
1998
Two of the most important threads of work in knowledge representation today are frame-based representation systems (FRS's) and Bayesian networks (BNs). FRS's provide an ...