Sciweavers

1711 search results - page 312 / 343
» Completing pseudojump operators
Sort
View
COMSIS
2007
80views more  COMSIS 2007»
13 years 7 months ago
"Security of Computer Systems and Networks" Book Preview
This paper presents preview of the new book titled “Security of Computer Systems and Networks” (original in Serbian language “Sigurnost računarskih sistema i mreža”) – ...
Dragan Pleskonjic, Nemanja Macek, Borislav Djordje...
IS
2006
13 years 7 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
JBI
2006
13 years 7 months ago
What's in a character?
Systematic analyses are included as integral parts of bioinformatic analysis. The use of phenetic and phylogenetic trees in many of the newer areas of biology create a need for bi...
Robert DeSalle
EI
2007
94views more  EI 2007»
13 years 7 months ago
Ball appearance improvement in low-resolution soccer videos
Abstract— Multimedia transmissions, especially sports transmissions, are an important share of the services offered by mobile network operators. Due to limited capacity, lossy co...
Martin Wrulich, Olivia Nemethova, Luca Superiori, ...
ENTCS
2007
103views more  ENTCS 2007»
13 years 7 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal