Sciweavers

2620 search results - page 149 / 524
» Qualities in Possible Worlds
Sort
View
C5
2008
IEEE
16 years 16 days ago
SophieServer: The Future of Reading
Sophie is an easy-to-use authoring tool that enables its users to combine various media into a new kind of book. With SophieServer, an extension to Sophie, it is now possible to s...
Robert Hirschfeld, Michael Haupt, Michael Rüg...
FDL
2008
IEEE
16 years 15 days ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
ICDE
2008
IEEE
164views Database» more  ICDE 2008»
16 years 15 days ago
Modelling traceability in the forestry wood supply chain
—Equivalent of €5 billion of wood raw material is going to waste in Europe. The reason is that information regarding the raw material is not available throughout the system. An...
Antti Sirkka
IROS
2008
IEEE
139views Robotics» more  IROS 2008»
16 years 13 days ago
Estimating landmark locations from geo-referenced photographs
Abstract— The problem of estimating the positions of landmarks using a mobile robot equipped with a camera has intensively been studied in the past. In this paper, we consider a ...
Henrik Kretzschmar, Cyrill Stachniss, Christian Pl...
154
Voted
AGILEDC
2007
IEEE
16 years 12 days ago
Automated Recognition of Test-Driven Development with Zorro
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
Philip M. Johnson, Hongbing Kou