2514 search results - page 436 / 503 » The use of industrial-strength formal methods |
162
click to vote
WIKIS
2006
ACM
16 years 4 days ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
121
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
152
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...
147
click to vote
HT
2005
ACM
15 years 11 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
181
click to vote
KCAP
2005
ACM
15 years 11 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...