Search Sciweavers | Sciweavers

3408 search results - page 22 / 682

» Logic, language, information and computation

click to vote

ASIAN
2009
Springer

363views Algorithms» more ASIAN 2009»

A Logic for Formal Verification of Quantum Programs

13 years 9 months ago

Download nicosia.is.s.u-tokyo.ac.jp

Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...

Yoshihiko Kakutani

claim paper

Read More »

click to vote

ICPR
2008
IEEE

147views Computer Vision» more ICPR 2008»

Query by table

14 years 10 months ago

Download www.ecse.rpi.edu

Querying any information system requires the knowledge of some formal language, making it inaccessible to computer-na?ve potential users. We propose a new intuitive querying mecha...

George Nagy, Raghav K. Padmanabhan

claim paper

Read More »

click to vote

ICSOC
2004
Springer

179views Applied Computing» more ICSOC 2004»

Hybrid web service composition: business processes meet business rules

14 years 2 months ago

Download www.cs.ubbcluj.ro

Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...

Anis Charfi, Mira Mezini

claim paper

Read More »

click to vote

ACL
2011

192views Computational Linguistics» more ACL 2011»

Creative Language Retrieval: A Robust Hybrid of Information Retrieval and Linguistic Creativity

13 years 11 days ago