1188 search results - page 200 / 238 » Testing Semantics: Connecting Processes and Process Logics |
112
click to vote
ICIAP
2007
ACM
16 years 2 months ago
2007
ACM
This work is about a novel methodology for window detection in urban environments and its multiple use in vision system applications. The presented method for window detection inc...
146
click to vote
ICASSP
2007
IEEE
15 years 8 months ago
2007
IEEE
Many content-based image retrieval applications suffer from small sample set and high dimensionality problems. Relevance feedback is often used to alleviate those problems. In thi...
109
click to vote
JCP
2007
15 years 1 months ago
2007
– A prototype Internet Research Support System is presented based on earlier work on the modeling of online reading behavior and evaluating the reading process and its outcomes. ...
113
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
109
click to vote
ITICSE
2003
ACM
15 years 7 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...