Sciweavers

2996 search results - page 67 / 600
» Information Modeling in the Time of the Revolution
Sort
View
FORMATS
2007
Springer
13 years 11 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ADVIS
2004
Springer
13 years 11 months ago
On Families of New Adaptive Compression Algorithms Suitable for Time-Varying Source Data
In this paper, we introduce a new approach to adaptive coding which utilizes Stochastic Learning-based Weak Estimation (SLWE) techniques to adaptively update the probabilities of t...
Luís G. Rueda, B. John Oommen
ILP
2007
Springer
14 years 1 months ago
Using ILP to Construct Features for Information Extraction from Semi-structured Text
Machine-generated documents containing semi-structured text are rapidly forming the bulk of data being stored in an organisation. Given a feature-based representation of such data,...
Ganesh Ramakrishnan, Sachindra Joshi, Sreeram Bala...
IJCSS
2006
67views more  IJCSS 2006»
13 years 7 months ago
Recursive Filter Design for Estimating Time Varying Multijoint Human Arm Viscoelasticity
The time varying human multijoint arm dynamics can be modeled by two factors, simplified musculoskeletal dynamics and the uncertainty factor consisting of measurement noises and m...
Mingcong Deng, Akira Inoue, Hiroaki Gomi, Yoichi H...
RTAS
2005
IEEE
14 years 1 months ago
Optimal Time-Variant Resource Allocation for Internet Servers with Delay
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
Xiliang Zhong, Cheng-Zhong Xu, Minghua Xu, Jianbin...