585 search results - page 23 / 117 » Structured Formal Development in Isabelle |
123
click to vote
STORYTELLING
2005
Springer
15 years 5 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
107
click to vote
IIE
2007
14 years 11 months ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
111
click to vote
FMSB
2008
15 years 1 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
ATAL
1997
Springer
15 years 3 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
113
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...