7820 search results - page 1158 / 1564 » Formalization of Time and Space |
168
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
244
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
189
click to vote
EKAW
2004
Springer
16 years 8 days ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
209
click to vote
PPSN
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper discusses how preference information of the decision maker can in general be integrated into multiobjective search. The main idea is to first define the opti...
163
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...