3082 search results - page 237 / 617 » its 2004 |
155
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
155
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
151
click to vote
SBIA
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents DiZer, an automatic DIscourse analyZER for Brazilian Portuguese. Given a source text, the system automatically produces its corresponding rhetorical analysis, f...
177
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. RDF Graphs are sets of assertions in the form of subjectpredicate-object triples of information resources. Although for simple examples they can be understood intuitively...
156
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Public deployment of the semantic service matchmaker to a UDDI registry for half a year is shown in this paper. UDDI is a standard registry for Web Services, but if we consider it ...