Sciweavers

674 search results - page 69 / 135
» From Constructibility and Absoluteness to Computability and ...
Sort
View
IEEESCC
2009
IEEE
16 years 28 days ago
Dynamic Service Composition in Ambient Intelligence Environment
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā€...
Yazid Benazzouz, Nicolas Sabouret, Belkacem Chikha...
ENGL
2008
97views more  ENGL 2008»
15 years 6 months ago
Hybrid Surface Reconstruction Technique for Automotive Applications
Reverse engineering has become a viable technique to create a 3D virtual model of an existing physical object. It enables the reconstruction of body surfaces to create a suitable C...
Gregory M. Lecrivain, Ian F. Kennedy, Arezki Slaou...
STOC
2003
ACM
102views Algorithms» more  STOC 2003»
16 years 6 months ago
Some 3CNF properties are hard to test
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
Eli Ben-Sasson, Prahladh Harsha, Sofya Raskhodniko...
GREC
2009
Springer
15 years 9 months ago
Interactive Conversion of Web Tables
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
Raghav Krishna Padmanabhan, Ramana Chakradhar Jand...
MFCS
2005
Springer
15 years 11 months ago
Coloring Sparse Random k-Colorable Graphs in Polynomial Expected Time
Abstract. Feige and Kilian [5] showed that finding reasonable approximative solutions to the coloring problem on graphs is hard. This motivates the quest for algorithms that eithe...
Julia Böttcher