Sciweavers

31387 search results - page 372 / 6278
» Abstracts
Sort
View
FM
1990
Springer
56views Formal Methods» more  FM 1990»
15 years 11 months ago
Object Orientation and Formal Techniques
Abstract Ole-Johan Dahl Dept. of Informatics, University of Oslo April 9, 1999
Ole-Johan Dahl
163
Voted
ERCIMDL
2006
Springer
140views Education» more  ERCIMDL 2006»
15 years 10 months ago
A Semantics-Based Graph for the Bib-1 Access Points of the Z39.50 Protocol
ined abstract Access Points combined with specific attributes (Attribute Sets)
Michalis Sfakakis, Sarantos Kapidakis
TSD
2000
Springer
15 years 10 months ago
Ensemble of Classifiers for Noise Detection in PoS Tagged Corpora
stic and Automated Analysis of Texts Applied to a Scientific Abstract by Mark Sergot and Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
Harald Berthelsen, Beáta Megyesi
COMPGEOM
2008
ACM
15 years 8 months ago
Testing contractibility in planar rips complexes
toris-)Rips complex of a discrete point-set P is an abstract simplicial complex in
Erin W. Chambers, Jeff Erickson, Pratik Worah
AWPN
2008
268views Algorithms» more  AWPN 2008»
15 years 8 months ago
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment
Abstract Petri nets are a formalism for describing systems where interactions between active components
Daniel Martin, Daniel Wutke, Frank Leymann