1507 search results - page 131 / 302 » Separating Complexity Classes Using Structural Properties |
JAR
2008
13 years 10 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
Cheminformatic Assisted Image Array (CAIA) is a data mining and visualization tool linking chemical structures to microscope images of cells incubated with prospective bioimaging ...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
Currently most link-related applications treat all links in the same web page to be identical. One link-related application usually requires one certain property of hyperlinks but...
TIT
2008
13 years 10 months ago
2008
In an unreliable packet network setting, we study the performance gains of optimal transmission strategies in the presence and absence of coding capability at the transmitter, wher...