5863 search results - page 770 / 1173 » On Model-Checking of P Systems |
185
click to vote
EEMMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
166
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
156
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
With regard to environmental decision-making, the field of conceptual modelling is primarily focused on representation and visualisation. As such, the ‘soft’ problem structuri...
174
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
162
click to vote
ICB
2007
Springer
16 years 1 months ago
2007
Springer
Face recognition systems have to deal with the problem that not all variations of all persons can be enrolled. Rather, the variations of most persons must be modeled. Explicit mode...