Sciweavers

2696 search results - page 471 / 540
» Semantic Abstraction and Anaphora
Sort
View
AMW
2010
15 years 7 months ago
Generating XML/GML Schemas from Geographic Conceptual Schemas
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
André C. Hora, Clodoveu A. Davis Jr., Mirel...
FORTE
2010
15 years 7 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
COLING
2008
15 years 7 months ago
Event Frame Extraction Based on a Gene Regulation Corpus
This paper describes the supervised acquisition of semantic event frames based pus of biomedical abstracts, in which the biological process of E. coli gene regulation has been lin...
Yutaka Sasaki, Paul Thompson, Philip Cotter, John ...
DIMVA
2008
15 years 7 months ago
On Race Vulnerabilities in Web Applications
Abstract A web programmer often conceives its application as a sequential entity, thus neglecting the parallel nature of the underlying execution environment. In this environment, ...
Roberto Paleari, Davide Marrone, Danilo Bruschi, M...
EUSFLAT
2007
15 years 7 months ago
Using Generalized Constraints and Protoforms to Deal with Adverbs
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
Andrés Soto, José Angel Olivas, Manu...