77016 search results - page 693 / 15404 » Modeling |
194
click to vote
PADS
2005
ACM
16 years 1 months ago
2005
ACM
Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of ...
175
click to vote
AIME
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a method to choose the threshold for dichotomization of survival outcomes in a structured fashion based on data analysis. The method is illustrated with an appl...
224
click to vote
ASP
2005
Springer
16 years 1 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
214
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
193
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...