1401 search results - page 149 / 281 » Tool Integration for Reasoned Programming |
103
click to vote
AAAI
2008
15 years 4 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
135
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
147
click to vote
JCP
2007
15 years 2 months ago
2007
—Computer Supported Collaborative Learning (CSCL) tool adoption is slow and challenging when compared to the dissemination of simpler content delivery systems. The lack of techni...
121
click to vote
CAI
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
124
click to vote
FECS
2010
15 years 18 days ago
2010
- With computational tools becoming more integrated into the education experience, the accessibility of college website homepages is becoming increasingly important for several rea...