Sciweavers

1652 search results - page 125 / 331
» Integration in Real PCF
Sort
View
ICDAR
2003
IEEE
15 years 9 months ago
Discerning Structure from Freeform Handwritten Notes
This paper presents an integrated approach to parsing textual structure in freeform handwritten notes. Textgraphics classification and text layout analysis are classical problems ...
Michael Shilman, Zile Wei, Sashi Raghupathy, Patri...
139
Voted
MOBICOM
1999
ACM
15 years 9 months ago
Next Century Challenges: Nexus - An Open Global Infrastructure for Spatial-Aware Applications
Due to the lack of a generic platform for location- and spatial-aware systems, many basic services have to be reimplemented in each application that uses spatial-awareness. A coop...
Fritz Hohl, Uwe Kubach, Alexander Leonhardi, Kurt ...
115
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
Software Process Support over the Internet
The MILOS system supports software development processes over the Internet. It integrates process modeling with project planning and enactment. Our flexible workflow engine allows...
Frank Maurer, Giancarlo Succi, Harald Holz, Boris ...
INFOCOM
1998
IEEE
15 years 8 months ago
Demand-based Radio Network Planning of Cellular Mobile Communication Systems
: This paper presents a demand-based engineering method for designing radio networks of cellularmobile communicationsystems. The proposed procedure is based on a forward-engineerin...
Kurt Tutschku
ICALP
1992
Springer
15 years 8 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli