5630 search results - page 221 / 1126 » Computability in Specification |
152
click to vote
HCI
2009
15 years 3 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
103
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. Within OASIS, a set of detailed Use Cases have been developed, after capturing the specific needs of elderly users on the use and acquisition of services for the support ...
195
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
We describe the use of compact support radial basis functions (CSRBFs) for simulation of soft tissue deformation. CSRBFs allow surface and volumetric deformations to be computed i...
134
click to vote
IFIPTCS
2000
15 years 9 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
137
click to vote
ACL
2010
15 years 4 months ago
2010
To date, few attempts have been made to develop and validate methods for automatic evaluation of linguistic quality in text summarization. We present the first systematic assessme...