10406 search results - page 1768 / 2082 » Using RDF to Model the Structure and Process of Systems |
131
click to vote
IJCAI
1989
15 years 6 months ago
1989
This theory on semi-equivalence r e l a t i o n s is an important and useful tool for i n v e s t i g a t i n g c l a s s i f i c a t i o n , pattern r e c o g n i t i o n , p o l...
167
click to vote
ACL
2010
15 years 3 months ago
2010
In this paper, we study the problem of using an annotated corpus in English for the same natural language processing task in another language. While various machine translation sy...
131
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
166
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
120
click to vote
ECRA
2002
15 years 4 months ago
2002
E-Government reflects current visions for public administrations towards modernization and reorganization. Thereof, online one-stop Government targets the improvement of customer-...