397 search results - page 38 / 80 » Causal Reasoning with Contexts Using Dependent Types |
142
Voted
ECBS
2008
IEEE
15 years 5 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
154
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
119
Voted
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
172
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
As context is acknowledged as an important factor that can affect users’ preferences, many researchers have worked on improving the quality of recommender systems by utilizing ...
140
Voted
MM
2004
ACM
15 years 9 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...