13553 search results - page 2607 / 2711 » A Generalized Multi-View Approach |
119
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
137
click to vote
ESANN
2006
15 years 4 months ago
2006
It has been proposed that chaos can serve as a reservoir providing an infinite number of dynamical states [1, 2, 3, 4, 5]. These can be interpreted as different behaviors, search a...
151
Voted
IASTEDSEA
2004
15 years 4 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...
147
click to vote
ACL
2003
15 years 4 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
146
click to vote
ICAI
2004
15 years 4 months ago
2004
In the age of electronic commerce, with low-cost information access, it has been recognized that a bundle search in a combinatorial trade is very valuable for buyers. Optimal trav...