1200 search results - page 98 / 240 » Marked Ancestor Problems |
IMR
2003
Springer
15 years 6 months ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
121
click to vote
C5
2010
IEEE
15 years 5 months ago
2010
IEEE
—Contemporary development environments do not directly and explicitly support developers in having a conversation about the code they write and maintain. This problem is aggravat...
95
Voted
CBMS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes the Patient Record Manager and the Workflow toolset of the wirelessbased e-health system Ward-In-Hand, developed inside an IST European project and currently ...
78
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
98
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— The nonlinear robust stability theory of Georgiou and Smith (IEEE Trans. Auto. Control, 42(9):1200–1229, 1997) is generalized to the case of notions of stability with bias te...