Sciweavers

552 search results - page 49 / 111
» On the Complexity of Join Predicates
Sort
View
SBACPAD
2004
IEEE
97views Hardware» more  SBACPAD 2004»
13 years 11 months ago
IATO: A Flexible EPIC Simulation Environment
High-performance superscalar processors are designed with the help of complex simulation environment. The simulation infrastructure permits to validate the processor instruction s...
Amaury Darsch, André Seznec
ENTCS
2000
112views more  ENTCS 2000»
13 years 10 months ago
Typed Multiset Rewriting Specifications of Security Protocols
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
Iliano Cervesato
ISMIR
2005
Springer
132views Music» more  ISMIR 2005»
14 years 3 months ago
VOISE: Learning to Segregate Voices in Explicit and Implicit Polyphony
Finding multiple occurrences of themes and patterns in music can be hampered due to polyphonic textures. This is caused by the complexity of music that weaves multiple independent...
Phillip B. Kirlin, Paul E. Utgoff
DLOG
1996
13 years 11 months ago
An Approach to Subsumption in a DL with Implication
Designing a DL system poses the problem of the trade-o between power of expression and complexity. In spite of their rich expressive capacity, the or and not constructors are usua...
Mathieu Latourrette, Michel Simonet
LRE
2007
76views more  LRE 2007»
13 years 10 months ago
Urdu in a parallel grammar development environment
In this paper, we report on the role of the Urdu grammar in the Parallel Grammar (ParGram) project (Butt et al., 1999; Butt et al., 2002). The Urdu grammar was able to take advanta...
Miriam Butt, Tracy Holloway King