448 search results - page 78 / 90 » Cognitive Vision Systems: From Ideas to Specifications |
IASTEDSEA
2004
14 years 11 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
COMPUTER
1999
14 years 9 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
171
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
100
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Finding the subgraphs of a graph database that are isomorphic to a given query graph has practical applications in several fields, from cheminformatics to image unders...
ALIFE
2004
14 years 10 months ago
2004
In the search for the primary roots of autonomy (a pivotal concept in Varela's comprehensive understanding of living beings), the theory of autopoiesis provided an explicit cr...