4408 search results - page 611 / 882 » Developing Web Applications from Conceptual Models |
208
click to vote
IJCAI
2003
15 years 8 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
217
click to vote
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
179
click to vote
EXPERT
2006
15 years 6 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
169
click to vote
ENTCS
2008
15 years 5 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
185
Voted
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...