Sciweavers

13618 search results - page 2324 / 2724
» The Newton Operating System
Sort
View
PCM
2005
Springer
106views Multimedia» more  PCM 2005»
16 years 1 months ago
Automated Detection of Tumors in Mammograms Using Two Segments for Classification
A spread pattern of a tumor in medical images is an important factor for classification of the tumor. The spread pattern is generally not considered when we use only one segment fo...
Mahmoud R. Hejazi, Yo-Sung Ho
PPDP
2005
Springer
16 years 1 months ago
Program transformation by templates based on term rewriting
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
Yuki Chiba, Takahito Aoto, Yoshihito Toyama
SOCO
2005
Springer
16 years 1 months ago
Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
Johann Oberleitner, Michael Fischer
TGC
2005
Springer
16 years 1 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
TLCA
2005
Springer
16 years 1 months ago
Avoiding Equivariance in Alpha-Prolog
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
Christian Urban, James Cheney
« Prev « First page 2324 / 2724 Last » Next »