Sciweavers

5064 search results - page 77 / 1013
» Recent Developments in Gridsolve
Sort
View
COMPSAC
2009
IEEE
14 years 2 months ago
A Perspective on Middleware-Oriented Context-Aware Pervasive Systems
The evolving concepts of mobile computing, context-awareness, and ambient intelligence are increasingly influencing user's experience of services. Therefore, the goal of this...
Zakwan Jaroucheh, Xiaodong Liu, Sally Smith
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
14 years 2 months ago
The adelopod tumbling robot
— The desire for a high mobility-to-size ratio in mobile robots has led to the exploration of many new methods of locomotion, one of which is tumbling. We believe that tumbling h...
Brett Hemes, Nikolaos Papanikolopoulos, Barry O'Br...
LICS
2009
IEEE
14 years 2 months ago
Wreath Products of Forest Algebras, with Applications to Tree Logics
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
Mikolaj Bojanczyk, Howard Straubing, Igor Walukiew...
WILF
2009
Springer
216views Fuzzy Logic» more  WILF 2009»
14 years 2 months ago
Barycentric Algebras and Gene Expression
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
Anna B. Romanowska, Jonathan D. H. Smith
IWCF
2009
Springer
14 years 2 months ago
Using the ENF Criterion for Determining the Time of Recording of Short Digital Audio Recordings
The Electric Network Frequency (ENF) Criterion is a recently developed forensic technique for determining the time of recording of digital audio recordings, by matching the ENF pat...
Maarten Huijbregtse, Zeno Geradts