Sciweavers

1995 search results - page 138 / 399
» What's the Problem
Sort
View
CAISE
2006
Springer
15 years 7 months ago
Describing Interoperability: the OoI Ontology
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
Yannick Naudet, Thibaud Latour, Kevin Hausmann, Sv...
ENTCS
2008
115views more  ENTCS 2008»
15 years 4 months ago
Time Separation of Events: An Inverse Method
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
Emmanuelle Encrenaz, Laurent Fribourg
STOC
2009
ACM
146views Algorithms» more  STOC 2009»
16 years 4 months ago
Conditional hardness for satisfiable 3-CSPs
In this paper we study a fundamental open problem in the area of probabilistic checkable proofs: What is the smallest s such that NP naPCP1,s[O(log n), 3]? In the language of har...
Ryan O'Donnell, Yi Wu
IV
2008
IEEE
126views Visualization» more  IV 2008»
15 years 10 months ago
Stencil: A Conceptual Model for Representation and Interaction
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
Joseph A. Cottam, Andrew Lumsdaine
INFOCOM
2009
IEEE
15 years 10 months ago
SDL Constructions of FIFO, LIFO and Absolute Contractors
— Despite all the recent advances in the mathematical theories for constructing optical queues by optical Switches and fiber Delay Lines (SDL), there are still many problems tha...
Cheng-Shang Chang, Jay Cheng, Duan-Shin Lee