1188 search results - page 133 / 238 » Testing Semantics: Connecting Processes and Process Logics |
148
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Executing plans by mobile robots, in real world environments, faces the challenging issues of uncertainty and environment dynamics. Thus, execution monitoring is needed to veri...
153
click to vote
MM
2005
ACM
15 years 9 months ago
2005
ACM
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
135
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
For the development of practical semantic applications, ontologies are commonly used with rule extensions. Prominent examples of semantic applications are Semantic Wikis, Semantic...
129
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...
122
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...