Sciweavers

2293 search results - page 238 / 459
» Temporal Logic in Information Systems
Sort
View
NIPS
2007
15 years 8 months ago
Modeling Natural Sounds with Modulation Cascade Processes
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (∼1 s); phonemes (...
Richard Turner, Maneesh Sahani
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 4 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
CISIS
2009
IEEE
15 years 11 months ago
The Role of Service Oriented Architecture in Telemedicine Healthcare System
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
Asadullah Shaikh, Muniba Shoukat Memon, Nasrullah ...
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
16 years 1 months ago
Cooperative anchoring in heterogeneous multi-robot systems
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
Kevin LeBlanc, Alessandro Saffiotti
DAWAK
2000
Springer
15 years 11 months ago
Data Mining Support in Database Management Systems
Abstract. The most popular data mining techniques consist in searching databases for frequently occurring patterns, e.g. association rules, sequential patterns. We argue that in co...
Tadeusz Morzy, Marek Wojciechowski, Maciej Zakrzew...