21108 search results - page 261 / 4222 » A General Class of Models of |
209
click to vote
ACL
1992
15 years 8 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
178
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
249
click to vote
ADBIS
2004
Springer
16 years 20 days ago
2004
Springer
The richer data models of object relational databases opens many more options for the logical design of a database schema increasing the complexity of logical database design enorm...
229
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
We introduce an approach to accurately detect and segment partially occluded objects in various viewpoints and scales. Our main contribution is a novel framework for combining obj...
200
click to vote
HOTOS
2007
IEEE
15 years 11 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...