Sciweavers

3390 search results - page 245 / 678
» Automatic Location of Services
Sort
View
IWUC
2004
15 years 8 months ago
Protecting People on the Move through Virtual Personal Security
Ensuring personal safety for people on the move is becoming a heightened priority in today's uncertain environment. Traditional approaches are no longer adequate in meeting ri...
Dadong Wan, Anatole Gershman
ECAI
2004
Springer
16 years 3 days ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner
SEMWEB
2010
Springer
15 years 4 months ago
Enterprise Data Classification Using Semantic Web Technologies
Organizations today collect and store large amounts of data in various formats and locations. However they are sometimes required to locate all instances of a certain type of data....
David Ben-David, Tamar Domany, Abigail Tarem
MLMI
2007
Springer
16 years 25 days ago
Microphone Array Beamforming Approach to Blind Speech Separation
In this paper, we present a microphone array beamforming approach to blind speech separation. Unlike previous beamforming approaches, our system does not require a-priori knowledge...
Ivan Himawan, Iain McCowan, Mike Lincoln
IGPL
2006
130views more  IGPL 2006»
15 years 6 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...