873 search results - page 20 / 175 » step 2005 |
105
click to vote
ICDT
2005
ACM
15 years 5 months ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
MDM
2005
Springer
15 years 5 months ago
2005
Springer
Sensor networks are promising unprecedented levels of access to information about the physical world, in real time. Many areas of human activity are starting to see the benefits ...
BMCBI
2005
14 years 11 months ago
2005
Background: In bioinformatics and genomics, there are many applications designed to investigate the common properties for a set of genes. Often, these multi-gene analysis tools at...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
The objective of this work is to recognize all the frontal faces of a character in the closed world of a movie or situation comedy, given a small number of query faces. This is ch...