3804 search results - page 410 / 761 » From Here to There |
174
click to vote
ICDT
2007
ACM
16 years 1 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
155
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
174
click to vote
ISNN
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a comparative study of Artificial Neural Networks (ANN) and Artificial Immune Systems. Artificial Immune Systems (AIS) represent a novel paradigm in the fi...
193
click to vote
JSAI
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Infants acquire spoken language through hearing and imitating utterances mainly from their parents [1,2,3] but never imitate their parents’ voices as they are. What in ...
130
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...