Sciweavers

11234 search results - page 493 / 2247
» A Microsurgery Simulation System
Sort
View
157
Voted
AEI
1998
98views more  AEI 1998»
15 years 6 months ago
Function-directed electrical design analysis
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
Chris J. Price
ACL
2009
15 years 4 months ago
Learning a Compositional Semantic Parser using an Existing Syntactic Parser
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...
Ruifang Ge, Raymond J. Mooney
ICTIR
2009
Springer
15 years 4 months ago
An Analysis of NP-Completeness in Novelty and Diversity Ranking
Abstract. A useful ability for search engines is to be able to rank objects with novelty and diversity: the top k documents retrieved should cover possible interpretations of a que...
Ben Carterette
NFM
2011
254views Formal Methods» more  NFM 2011»
15 years 1 months ago
A Tabular Expression Toolbox for Matlab/Simulink
Abstract. Tabular expressions have been successfully used in developing safety critical systems, however insufficient tool support has hampered their wider adoption. To address thi...
Colin Eles, Mark Lawford
IFIP
2010
Springer
15 years 1 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro