Sciweavers

3495 search results - page 425 / 699
» On the random satisfiable process
Sort
View
ICN
2007
Springer
16 years 24 days ago
Energy Efficiency in the Mobile Ad Hoc Networking Approach to Monitoring Farm Animals
—Using Mobile Ad Hoc Networks (MANETs) for monitoring bovine animals potentially offers high increase in the profitability of cattle production. In this paper we propose a formal...
Bartosz Wietrzyk, Milena Radenkovic
IFL
2007
Springer
141views Formal Methods» more  IFL 2007»
16 years 24 days ago
Partial Parsing: Combining Choice with Commitment
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
Malcolm Wallace
CBMS
2006
IEEE
16 years 22 days ago
Real-Time Simulation and Visualization of Subject-Specific 3D Lung Dynamics
In this paper we discuss a framework for modeling the 3D lung dynamics of normal and diseased human subjects and visualizing them using an Augmented Reality (AR) based environment...
Anand P. Santhanam, Cali M. Fidopiastis, Paul Dave...
GLOBECOM
2006
IEEE
16 years 21 days ago
Multi-Stage Investment Decision under Contingent Demand for Networking Planning
Telecommunication companies, such as Internet and cellular service providers, are seeing rapid and uncertain growth of traffic routed through their networks. It has become a chall...
Miguel F. Anjos, Michael Desroches, Anwar Haque, O...
ICDE
2006
IEEE
132views Database» more  ICDE 2006»
16 years 21 days ago
Treatment of Rules in Individual Metadata of Flexible Contents Management
The properties of contents stored in a computer system are very wide while the data volume treated in the system becomes very large. It is important to treat each stored object in...
Kensuke Ohta, Dai Kobayashi, Takashi Kobayashi, Ry...