15253 search results - page 2506 / 3051 » Integer-Programming Software Systems |
181
click to vote
WINET
2002
15 years 6 months ago
2002
We describe a platform for context-aware computing which enables applications to follow mobile users as they move around a building. The platform is particularly suitable for rich...
230
Voted
AINA
2010
IEEE
15 years 5 months ago
2010
IEEE
āThis paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...
202
click to vote
IJWET
2008
15 years 5 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
164
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
165
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMTābuilding ļ¬exible yet efļ¬cient abstraction/reļ¬nement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23ā37, February 2010. Wolfgang Hab...