4372 search results - page 675 / 875 » Algorithmic Theories of Everything |
206
click to vote
ISNN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
170
click to vote
ISW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
162
click to vote
CGI
2006
IEEE
16 years 20 days ago
2006
IEEE
Pen-based user interface has become a hot research field in recent years. Pen gesture plays an important role in Pen-based user interfaces. But it’s difficult for UI designers to...
149
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
176
click to vote
FOCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Given an undirected hypergraph and a subset of vertices S ⊆ V with a specified root vertex r ∈ S, the STEINER ROOTED-ORIENTATION problem is to find an orientation of all the...