Sciweavers

1449 search results - page 55 / 290
» Finiteness results for sigmoidal
Sort
View
ICDT
2007
ACM
143views Database» more  ICDT 2007»
16 years 10 days ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...
LSSC
2007
Springer
16 years 10 days ago
On Smoothing Surfaces in Voxel Based Finite Element Analysis of Trabecular Bone
Abstract. The (micro-)finite element analysis based on three-dimensional computed tomography (CT) data of human bone takes place on complicated domains composed of often hundreds ...
Peter Arbenz, Cyril Flaig
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
15 years 11 months ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...
ICW
2005
IEEE
130views Communications» more  ICW 2005»
15 years 11 months ago
A Finite-State Markov Chain Model for Statistical Loss Across a RED Queue
Abstract— In this paper, we present an analytical study targeted at statistically capturing the loss behavior of a RED queue. We utilize a finite-state Markov chain model. Start...
Mohit B. Singh, Homayoun Yousefi'zadeh, Hamid Jafa...
ICTAC
2005
Springer
15 years 11 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang