io-port.net

io-port 05766999 Fearnley, John; 0002, Martin Zimmermann

Playing muller games in a hurry. (English)

Comput. Res. Repos. 2010, Article No. 1006.1410 (2010).

1

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05753128 Lee, Ki-Hoon; Whang, Kyu-Young; Han, Wook-Shin; 0002, Min-Soo Kim

Structural consistency: enabling XML keyword search to eliminate spurious results consistently. (English)

Comput. Res. Repos. 2009, Article No. 0911.4329 (2009).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05751033 0002, Michael Meier; Schmidt, Michael; Lausen, Georg

On chase termination beyond stratification. (English)

Comput. Res. Repos. 2009, Article No. 0906.4228 (2009).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05741901 0002, Mingyu Chen; Fan, Xingzhe; Murthi, Manohar N.; Wickramarathna, T.Dilusha; Premaratne, Kamal

Normalized queueing delay: congestion control jointly utilizing delay and marking. (English)

IEEE/ACM Trans. Netw. 17, No. 2, 618-631 (2009).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05513963 0002, Michael Meier; Schmidt, Michael; Lausen, Georg

Stop the chase. (English)

Comput. Res. Repos. 2009, Article No. 0901.3984 (2009).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05518385 Alam, Sadiq M.; 0002, Mustafizur Rahman; Lim, H.S.

Study of WEDM parameter phenomena for microfabrication. (English)

Int. J. Manuf. Technol. Manag. 13, No. 2-4, 226-240 (2008).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05517946 Loi, Gianfranco; Dominietto, Marco; Manfredda, Irene; Mones, Eleonora; Carriero, Alessandro; Inglese, Eugenio; Krengli, Marco; 0002, Marco Brambilla

Acceptance test of a commercially available software for automatic image registration of computed tomography (CT), magnetic resonance imaging (MRI) and $^{99m}$Tc-methoxyisobutylisonitrile (MIBI) single-photon emission computed tomography (SPECT) brain images. (English)

J. Digit. Imaging 21, No. 3, 329-337 (2008).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05513631 Schmidt, Michael; 0002, Michael Meier; Lausen, Georg

Foundations of SPARQL query optimization. (English)

Comput. Res. Repos. 2008, Article No. 0812.3788 (2008).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05411161 Kim, Yi-Reun; Whang, Kyu-Young; 0002, Min-Soo Kim; Song, Il-Yeol

A logical model and data placement strategies for MEMS storage devices. (English)

Comput. Res. Repos. 2008, Article No. 0807.4580 (2008).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05409454 Erlebach, Thomas; 0002, Michael Hoffmann; Krizanc, Danny; Mihalák, Matús; Raman, Rajeev

Computing minimum spanning trees with uncertainty. (English)

Comput. Res. Repos. 2008, Article No. 0802.2855 (2008).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05421510 Madsen, Anders L.; Jensen, Frank; Kjærulff, Uffe; 0002, Michael Lang

The hugin tool for probabilistic graphical models. (English)

Int. J. Artif. Intell. Tools 14, No. 3, 507-544 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05407766 0002, Moshe Schwartz

Isomorphism of graphs-a polynomial test. (English)

Comput. Res. Repos. 2005, Article No. 0507014 (2005).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05425310 Cockburn, Andy; 0002, Matthew Smith

Hidden messages: Evaluating the efficiency of code elision in program navigation. (English)

Interact. Comput. 15, No. 3, 387-407 (2003).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05416104 Leucker, Martin; Somla, Rafal; 0002, Michael Weber

Parallel model checking for LTL, CTL*, and L$μ^{2}$. (English)

Electron. Notes Theor. Comput. Sci. 89, No. 1 (2003).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05391025 Pizzi, Nicolino J.; Choo, L.P.; Mansfield, James R.; 0002, Michael Jackson; Halliday, W.C.; Mantsch, Henry H.; Somorjai, Ray L.

Neural network classification of infrared spectra of control and alzheimer’s diseased tissue. (English)

Artif. Intell. Med. 7, No. 1, 67-79 (1995).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05443841 0002, Martin Bertram

Data modelling in the large. (English)

ACM SIGMOD Rec. 23, No. 4, 8-12 (1994).

16

PDF XML AMS-TeX TEXT BIBTeX DOI URL