2765 search results - page 458 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
109
click to vote
ICST
2009
IEEE
14 years 9 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
112
click to vote
JMLR
2011
14 years 6 months ago
2011
A strong inductive bias is essential in unsupervised grammar induction. In this paper, we explore a particular sparsity bias in dependency grammars that encourages a small number ...
128
click to vote
ITCC
2002
IEEE
15 years 4 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
ICWS
2010
IEEE
15 years 23 days ago
2010
IEEE
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizati...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...