4372 search results - page 623 / 875 » Algorithmic Theories of Everything |
168
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
204
click to vote
CVPR
2009
IEEE
16 years 26 days ago
2009
IEEE
We present a new shape-from-distortion framework for recovering specular (reflective/refractive) surfaces. While most existing approaches rely on accurate correspondences between 2...
188
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
186
click to vote
SSS
2007
Springer
16 years 24 days ago
2007
Springer
We consider Cooperative Intrusion Detection System (CIDS) which is a distributed AIS-based (Artificial Immune System) IDS where nodes collaborate over a peer-to-peer overlay netwo...
185
click to vote
DOCENG
2006
ACM
16 years 20 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...