3133 search results - page 298 / 627 » Difference systems of sets and cyclotomy |
217
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
237
click to vote
TOG
2012
13 years 9 months ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
206
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
182
click to vote
AAAI
2012
13 years 9 months ago
2012
Most Twitter search systems generally treat a tweet as a plain text when modeling relevance. However, a series of conventions allows users to tweet in structural ways using combin...
144
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Recombinant protein production is a useful biotechnology to produce a large quantity of highly soluble proteins. Currently, the most widely used production system is t...