3239 search results - page 587 / 648 » A Logical Process Calculus |
95
Voted
IJIT
2004
15 years 2 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
88
Voted
ECIS
2003
15 years 2 months ago
2003
This paper claims that in its current use the term ‘network’ represents no more than a suggestive image of organizing in an age of spectacular context-crossing electronic tran...
111
Voted
TREC
2001
15 years 2 months ago
2001
PiQASso is a Question Answering system based on a combination of modern IR techniques and a series of semantic filters for selecting paragraphs containing a justifiable answer. Se...
104
click to vote
TREC
2001
15 years 2 months ago
2001
CL Research's question-answering system (DIMAP-QA) for TREC-10 only slightly extends its semantic relation triple (logical form) technology in which documents are fully parse...
104
Voted
WISES
2004
15 years 2 months ago
2004
-- Debugging software that runs on highly integrated System-on-Chip devices is complicated because conventional debug tools (like traditional In-Circuit Emulators and Logic Analyze...