Sciweavers

4678 search results - page 660 / 936
» Integrated University Information Systems
Sort
View
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
KONVENS
2000
15 years 10 months ago
Processing Self Corrections
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
Jörg Spilker, Martin Klarner, Günther G&...
ATAL
2008
Springer
15 years 8 months ago
Coordination of AGVs in an industrial environment
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
David Herrero Pérez, Humberto Martín...
ECTEL
2008
Springer
15 years 8 months ago
Issues in the Design of an Environment to Support the Learning of Mathematical Generalisation
Abstract. Expressing generality, recognising and analysing patterns and articulating structure is a complex task and one that is invariably problematic for students. Nonetheless, v...
Darren Pearce, Manolis Mavrikis, Eirini Geraniou, ...
ACL
2007
15 years 8 months ago
Measuring Importance and Query Relevance in Topic-focused Multi-document Summarization
The increasing complexity of summarization systems makes it difficult to analyze exactly which modules make a difference in performance. We carried out a principled comparison be...
Surabhi Gupta, Ani Nenkova, Daniel Jurafsky