1855 search results - page 260 / 371 » A Domain Specific Language for the Development of Collaborat... |
ECTEL
2006
Springer
14 years 25 days ago
2006
Springer
We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a...
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
FM
1999
Springer
14 years 1 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...