Sciweavers

4320 search results - page 290 / 864
» Functional Objects
Sort
View
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
15 years 12 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
HICSS
1994
IEEE
149views Biometrics» more  HICSS 1994»
15 years 10 months ago
Stochastic Problem Solving by Local Computation Based on Self-Organization Paradigm
We are developing a new problem-solving methodology based on a self-organization paradigm. To realize our future goal of self-organizing computational systems, we have to study co...
Yasusi Kanada, Masao Hirokawa
FGCN
2008
IEEE
152views Communications» more  FGCN 2008»
15 years 8 months ago
Extending the UbiMDR Supporting Situation-Aware Access Control
Ubiquitous computing environment requirement needs information sharing of sensors based on sensor network technology, situation-aware and determination functions and other related...
Jeong-Dong Kim, Dongwon Jeong, Doo-Kwon Baik
ECCV
2004
Springer
16 years 1 days ago
Ultrasound Stimulated Vibro-acoustography
ABSTRACT We describe theoretical principles of an imaging modality that uses the acoustic response of an object to a highly localized dynamic radiation force of an ultrasound field...
James F. Greenleaf, Mostafa Fatemi, Marek Belohlav...
SIAMCO
2010
127views more  SIAMCO 2010»
15 years 1 months ago
Tracking with Prescribed Transient Performance for Hysteretic Systems
Tracking of reference signals (assumed bounded with essentially bounded derivative) is considered for a class of single-input, single-output, nonlinear systems, described by a func...
Achim Ilchmann, Hartmut Logemann, Eugene P. Ryan