5084 search results - page 299 / 1017 » Proving Possibility Properties |
159
click to vote
TARK
2007
Springer
16 years 23 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
143
click to vote
COSIT
2005
Springer
16 years 5 days ago
2005
Springer
Arrows are major components of diagrams, where they are typically used to facilitate the communication of spatial and temporal knowledge. An automated interpretation of arrow diagr...
161
click to vote
ICADL
2005
Springer
16 years 5 days ago
2005
Springer
This paper proposes a method for creating a high quality collection of researchers’ homepages. The proposed method consists of three phases: rough filtering of the possible web p...
162
click to vote
ICARIS
2004
Springer
16 years 1 days ago
2004
Springer
The benefits of negative detection for obscuring information are explored in the context of Artificial Immune Systems (AIS). AIS based on string matching have the potential for a...
185
click to vote
IMR
2004
Springer
16 years 17 hour ago
2004
Springer
This paper presents a technique for the adaptive refinement of tetrahedral meshes. What makes it unique is that no neighbor information is required for the refined mesh to be co...