Sciweavers

11973 search results - page 441 / 2395
» Methods for organizational development
Sort
View
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
DATAMINE
2002
147views more  DATAMINE 2002»
15 years 6 months ago
Discretization: An Enabling Technique
Discrete values have important roles in data mining and knowledge discovery. They are about intervals of numbers which are more concise to represent and specify, easier to use and ...
Huan Liu, Farhad Hussain, Chew Lim Tan, Manoranjan...
ISBI
2007
IEEE
16 years 1 months ago
A Novel Tag Removal Technique for Tagged Cardiac Mri and Its Applications
In this paper we present a novel tag removal method for tagged cardiac MR images. This method is based on a 2D bandstop filtering technique, which selectively attenuates the tag ...
Zhen Qian, Rui Huang, Dimitris N. Metaxas, Leon Ax...
SECON
2007
IEEE
16 years 1 months ago
On the Prevalence of Sensor Faults in Real-World Deployments
—Various sensor network measurement studies have reported instances of transient faults in sensor readings. In this work, we seek to answer a simple question: How often are such ...
Abhishek Sharma, Leana Golubchik, Ramesh Govindan
PROFES
2004
Springer
16 years 7 days ago
Effort Estimation Based on Collaborative Filtering
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
Naoki Ohsugi, Masateru Tsunoda, Akito Monden, Ken-...