Sciweavers

1158 search results - page 152 / 232
» Software is discrete mathematics
Sort
View
SCFBM
2008
119views more  SCFBM 2008»
15 years 5 months ago
Boolean network simulations for life scientists
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
István Albert, Juilee Thakar, Song Li, Ranr...
EMSOFT
2010
Springer
15 years 3 months ago
Load-based schedulability analysis of certifiable mixed-criticality systems
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...
Haohan Li, Sanjoy K. Baruah
ICESS
2007
Springer
16 years 2 days ago
Face Detection on Embedded Systems
Over recent years automated face detection and recognition (FDR) have gained significant attention from the commercial and research sectors. This paper presents an embedded face de...
Abbas Bigdeli, Colin Sim, Morteza Biglari-Abhari, ...
JNCA
2007
77views more  JNCA 2007»
15 years 5 months ago
A web content manipulation technique based on page Fragmentation
Web portals today offer a variety of content and services to their users. This content can be split into various categories and usually content semantically related is placed in t...
Christos Bouras, Giorgos Kounenis, Ioannis Misedak...
TASE
2010
IEEE
15 years 20 days ago
A Collaborative Multiagent Taxi-Dispatch System
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee