2373 search results - page 48 / 475 » A Model of Facial Behaviour |
104
click to vote
FSEN
2009
Springer
15 years 3 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
VVEIS
2007
15 years 1 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
109
click to vote
KDD
2004
ACM
16 years 7 days ago
2004
ACM
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
IFM
1999
Springer
15 years 4 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
ENTCS
2007
14 years 11 months ago
2007
A model characterising strong normalisation for Klop’s extension of λ-calculus is presented. The main technical tools for this result are an inductive definition of strongly n...