The present text discusses the protests of 2013 in Brazil from a transpassed notion time. I suggest that past, and future be taken into account for analysis protests, which are, respectively, marked by specters, conjunctions. Indeed, carry unresolved Brazilian at same time their failure presented conjunctions determine political ideological judgments about terms present. Finally, argue were an ...

BPEL (Business Process Execution Language) is proposed as a standard language to describe Web service fl ows. A fl ow may contain multiple activities that are executed concurrently, and thus removing faults such as deadlocks or violations of application-specifi c properties is not easy. This paper proposes techniques to extract a behavioral specifi cation from the BPEL program and to verity it ...

of time the influence of matter on life and mind will gradually become obliterated and replaced by the influence of mind and its transcendent successors in the great steps of creative evolution." Therefore, "the remote successors of man may be free and independent of matter with infinite possibilities of future progress notwithstanding the complete dissolution of the universe." Pure thought, th...

Data-driven approach for parsing may suffer from data sparsity when entirely unsupervised. External knowledge has been shown to be an effective way to alleviate this problem. Subordinating conjunctions impose important constraints on Chinese syntactic structures. This paper proposes a method to develop a grammar with hierarchical category knowledge of subordinating conjunctions as explicit anno...

Motion and binocular disparity are two features in our environment that share a common correspondence problem. Decades of psychophysical research dedicated to understanding stereopsis suggest that these features interact early in human visual processing to disambiguate depth. Single-unit recordings in the monkey also provide evidence for the joint encoding of motion and disparity across much of...

We introduce the notion of relative trace which is motivated by an observation about the category of vector spaces and linear transformations and builds upon the categorical trace of Joyal, Street, and Verity. Furthermore, we define a new categorical trace based on a trace formula first introduced by J. Bernstein.

We present a method for creating natural language interfaces to databases (NLIDB) that allow for translating natural language queries into SQL. The method is domain independent, i.e., it avoids the tedious process of configuring the NLIDB for a given domain. We automatically generate the domain dictionary for query translation using semantic metadata of the database. Our semantic representation...