Sciweavers

1992 search results - page 158 / 399
» On the (limited) power of non-equivocation
Sort
View
ACL
2006
15 years 8 months ago
A Finite-State Model of Human Sentence Processing
It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the prob...
Jihyun Park, Chris Brew
CASCON
2006
118views Education» more  CASCON 2006»
15 years 8 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
CSREASAM
2006
15 years 8 months ago
A Visual Environment for Characterization of State Changes in Computer Systems
: Traditional state modeling techniques have several limitations. One of these is the reduced ability to model a large number of variables simultaneously. Another limitation is tha...
Gregory Vert, Sergiu M. Dascalu, Frederick C. Harr...
DBSEC
2003
149views Database» more  DBSEC 2003»
15 years 8 months ago
Anti-Tamper Databases: Querying Encrypted Databases
With mobile computing and powerful laptops, databases with sensitive data can be physically retrieved by malicious users who can employ techniques that were not previously thought...
Gultekin Özsoyoglu, David A. Singer, Sun S. C...
WSCG
2004
145views more  WSCG 2004»
15 years 7 months ago
Introducing Sweep Features in Modeling with Subdivision Surfaces
In recent times, subdivision surfaces have been considered a powerful representation for shape design. They have been successfully introduced in character animation software packa...
Chiara Eva Catalano, Franca Giannini, Bianca Falci...