5722 search results - page 117 / 1145 » the future of experimental research |
146
click to vote
DATE
2007
IEEE
16 years 22 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
163
click to vote
CLEF
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes a rather simplistic method of unsupervised morphological analysis of words in an unknown language. All what is needed is a raw text corpus in the given langua...
210
click to vote
IEEESCC
2006
IEEE
16 years 13 days ago
2006
IEEE
Service-oriented computing (SOC) is viewed as the computing paradigm of the near future, allowing for the dynamic interaction of services provided by distributed business partners...
166
click to vote
MM
2006
ACM
16 years 11 days ago
2006
ACM
There is a renewed interest in the 3DTV research primarily due to the advances in low cost 3D display technologies. The two views required for 3DTV can be compressed using standar...
154
click to vote
MM
2006
ACM
16 years 11 days ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...