Sciweavers

7195 search results - page 468 / 1439
» On Computing Power
Sort
View

Publication
220views
15 years 8 months ago
Using Matlab in Labview
The power of Matlab can now be used from within Labview. A labview application can now use a Matlab script directly in the Labview code and exchange data between Labview and matlab...
National Instruments
ACL
1989
15 years 8 months ago
Cooking Up Referring Expressions
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...
Robert Dale
IJCAI
1989
15 years 8 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
ENTCS
2008
134views more  ENTCS 2008»
15 years 7 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantag...
Gerard J. Holzmann
IMC
2010
ACM
15 years 4 months ago
A first look at traffic on smartphones
Using data from 43 users across two platforms, we present a detailed look at smartphone traffic. We find that browsing contributes over half of the traffic, while each of email, me...
Hossein Falaki, Dimitrios Lymberopoulos, Ratul Mah...