11066 search results - page 2048 / 2214 » Linearity in Process Languages |
139
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
123
click to vote
EUROMICRO
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
134
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
134
click to vote
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
146
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...