3828 search results - page 425 / 766 » Proof-Based System Engineering Using a Virtual System Model |
140
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
We present an algorithm for pronounanaphora (in English) that uses Expectation Maximization (EM) to learn virtually all of its parameters in an unsupervised fashion. While EM freq...
177
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a demonstration of the intelligent agent-based system ORIENT (Overcoming Refugee Integration with Empathic Novel Technology). We summarise the application domain: educa...
175
click to vote
JIRS
2010
15 years 5 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
166
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
160
click to vote
ECRTS
2005
IEEE
16 years 12 days ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...