3299 search results - page 329 / 660 » A general mathematics of names |
177
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
179
click to vote
WEBDB
2007
Springer
16 years 25 days ago
2007
Springer
This paper pursues the recently emerging paradigm of searching for entities that are embedded in Web pages. We utilize informationextraction techniques to identify entity candidat...
166
click to vote
APCCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
—The quality of transmission is very important in digital communication. However, in non-deterministic environment or different transmission message signal, bit error rate of PCM...
162
click to vote
GMP
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
164
click to vote
MEMOCODE
2006
IEEE
16 years 22 days ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...