656 search results - page 76 / 132 » A Formalization of Transition P Systems |
100
Voted
AO
2007
15 years 18 days ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
101
Voted
MEMBRANE
2009
Springer
15 years 7 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
110
Voted
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...
121
Voted
AAAI
2012
13 years 2 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...