504 search results - page 19 / 101 » Modular System Development with Pullbacks |
109
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
123
click to vote
APN
1995
Springer
15 years 6 months ago
1995
Springer
State Space Analysis is one of the most developed analysis methods for Petri Nets. The main problem of state space analysis is the size of the state spaces. Several ways to reduce ...
163
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract Received Signal Strength (RSS) based location systems are potential candidates to enable indoor location aware services due to pervasively available wireless local area ...
124
click to vote
JCISE
2002
15 years 2 months ago
2002
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
111
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...