4418 search results - page 164 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
146
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...
124
Voted
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Existing index selection tools rely on heuristics to efficiently search within the large space of alternative solutions and to minimize the overhead of using the query optimizer ...
146
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We describe an approach to object and scene retrieval which searches for and localizes all the occurrences of a user outlined object in a video. The object is represented by a set...
150
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
167
Voted
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Research on linear text segmentation has been an on-going focus in NLP for the last decade, and it has great potential for a wide range of applications such as document summarizati...