Sciweavers

6040 search results - page 401 / 1208
» Generating Instance Models from Meta Models
Sort
View
CN
1998
118views more  CN 1998»
15 years 6 months ago
Predicting Network Traffic for Collaborative Virtual Environments
We introduce a method for predicting the network traffic that will be generated by Collaborative Virtual Environment applications with varying numbers of participants. Statistical...
Chris Greenhalgh, Steve Benford, Adrian Bullock, N...
ACL
2009
15 years 4 months ago
Paraphrase Identification as Probabilistic Quasi-Synchronous Recognition
We present a novel approach to deciding whether two sentences hold a paraphrase relationship. We employ a generative model that generates a paraphrase of a given sentence, and we ...
Dipanjan Das, Noah A. Smith
AB
2007
Springer
16 years 29 days ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...
PVLDB
2008
82views more  PVLDB 2008»
15 years 6 months ago
STBenchmark: towards a benchmark for mapping systems
A fundamental problem in information integration is to precisely specify the relationships, called mappings, between schemas. Designing mappings is a time-consuming process. To al...
Bogdan Alexe, Wang Chiew Tan, Yannis Velegrakis
156
Voted
CAV
2010
Springer
161views Hardware» more  CAV 2010»
15 years 10 months ago
Directed Proof Generation for Machine Code
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda B...