2765 search results - page 317 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
174
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
137
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
The lack of standards for Romanization of Thai proper names makes searching activity a challenging task. This is particularly important when searching for people-related documents ...
153
click to vote
HICSS
2003
IEEE
16 years 1 min ago
2003
IEEE
In the context of knowledge-intensive work, making the relevant knowledge available to the people needing it for their work is a key issue. One approach is to capture such knowled...
201
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
163
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...