3013 search results - page 100 / 603 » Context-Oriented Domain Analysis |
115
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
125
Voted
FIMH
2003
Springer
15 years 6 months ago
2003
Springer
We model the process of imaging soft tissues with a 3D ultrasound probe using a linear convolution model, and obtain analytical expressions of both the ultrasound image and its spe...
90
Voted
VECPAR
2000
Springer
15 years 4 months ago
2000
Springer
A dynamic domain decomposition strategy is proposed for the effective parallel implementation of combined finite/discrete element approaches for problems involving multi-fracture a...
98
Voted
CORR
2004
Springer
15 years 16 days ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
81
Voted
AAAI
2006
15 years 2 months ago
2006
Automated domain factoring, and planning methods that utilize them, have long been of interest to planning researchers. Recent work in this area yielded new theoretical insight an...