Sciweavers

4743 search results - page 889 / 949
» The PlusCal Algorithm Language
Sort
View
PAKDD
2004
ACM
97views Data Mining» more  PAKDD 2004»
14 years 2 months ago
Further Applications of a Particle Visualization Framework
Our previous work introduced a 3D particle visualization framework that viewed each data point as being a particle affected by gravitational forces. We showed the use of this tool ...
Ke Yin, Ian Davidson
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
14 years 2 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz
SBIA
2004
Springer
14 years 2 months ago
Towards to Similarity Identification to Help in the Agents' Negotiation
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
Andreia Malucelli, Eugénio C. Oliveira
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 2 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ICTAI
2003
IEEE
14 years 2 months ago
Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser
Many natural language processing approaches at various complexity levels have been reported for extracting biochemical interactions from MEDLINE. While some algorithms using simpl...
Jing Ding, Daniel Berleant, Jun Xu, Andy W. Fulmer