1270 search results - page 203 / 254 » A Domain Specific Language to Generate Web Applications |
98
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
JUCS
2006
15 years 14 days ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
99
Voted
IJIM
2007
15 years 13 days ago
2007
— Nowadays there are different evaluation methods focused in the assessment of the usability of telematic methods. The assessment of 3rd generation web environments evaluates the...
124
click to vote
KDD
2007
ACM
16 years 28 days ago
2007
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
104
click to vote
SIGDOC
2009
ACM
15 years 7 months ago
2009
ACM
Texts are the media content primarily available on Web sites and applications. However, this heavy use of texts creates an accessibility barrier to those who cannot read fluently...